Katalog der Deutschen Nationalbibliothek

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

7941 - 7950 von 7963

	7941	Ein Berechnungsmodell für situatives Agieren Weiser, Thomas, 2000
	7942	Ein nichtdeterministischer call-by-need Lambda-Kalkül mit erratic Choice Kutzner, Arne, 2000
	7943	Model generation for natural language interpretation and analysis Konrad, Karsten, 2000
	7944	Optimierung rückgekoppelter Hyperpermutationsnetzwerke Schwarz, Tilo, 2000
	7945	Optimierung rückgekoppelter Hyperpermutationsnetzwerke Schwarz, Tilo, 2000
	7946	Workflow- und Prozeßsynchronisation mit Interaktionsausdrücken und -graphen Heinlein, Christian, 2000, [Online-Ausg.]
	7947	Analytische Maschinen Chadzelek, Thomas. - München : Utz, Wiss., 1999
	7948	Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme Kauer, Stefan, 1999
	7949	Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme Kauer, Stefan, 1999
	7950	Case retrieval nets as a model for building flexible information systems Lenz, Mario, 1999