Katalog der Deutschen Nationalbibliothek

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

15491 - 15500 von 15638

	15491	Workflow- und Prozeßsynchronisation mit Interaktionsausdrücken und -graphen Heinlein, Christian, 2000, [Online-Ausg.]
	15492	Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme Kauer, Stefan, 1999
	15493	Case retrieval nets as a model for building flexible information systems Lenz, Mario, 1999
	15494	Complexity of certificates, heuristics, and counting types, with applications to cryptography and circuit theory Rothe, Jörg, 1999
	15495	Computer Science Logic Berlin, Heidelberg : Springer Berlin Heidelberg, 1999
	15496	Einführung in die Kryptographie Berlin, Heidelberg : Springer Berlin Heidelberg, 1999
	15497	Programmieren spielend gelernt mit dem Java-Hamster-Modell Wiesbaden : Vieweg+Teubner Verlag, 1999
	15498	Image Processing using Pulse-Coupled Neural Networks London : Springer London, 1998
	15499	Logical aspects of computational linguistics Berlin : Springer, 1998
	15500	Requirements-Engineering systematisch Berlin, Heidelberg : Springer Berlin Heidelberg, 1998

15491 - 15500 von 15638