Katalog der Deutschen Nationalbibliothek

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

4621 - 4630 von 4644

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