Katalog der Deutschen Nationalbibliothek

Ergebnis der Suche nach: dcs=004* or dcs=005* or dcs=006*
im Bestand: Gesamter Bestand

4601 - 4610 von 4620

	4601	Analyzing demand in non-strict functional programming languages Schütz, Marko, 2000
	4602	Beiträge zur statistischen Modellierung und effizienten Dekodierung in der automatischen Spracherkennung Willett, Daniel, 2000
	4603	Case retrieval nets as a model for building flexible information systems Lenz, Mario. - Berlin : Akad. Verl.-Ges. Aka, 2000
	4604	Ein Berechnungsmodell für situatives Agieren Weiser, Thomas, 2000
	4605	Ein nichtdeterministischer call-by-need Lambda-Kalkül mit erratic Choice Kutzner, Arne, 2000
	4606	Model generation for natural language interpretation and analysis Konrad, Karsten, 2000
	4607	Optimierung rückgekoppelter Hyperpermutationsnetzwerke Schwarz, Tilo, 2000
	4608	Analytische Maschinen Chadzelek, Thomas. - München : Utz, Wiss., 1999
	4609	Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme Kauer, Stefan, 1999
	4610	Complexity of certificates, heuristics, and counting types, with applications to cryptography and circuit theory Rothe, Jörg, 1999