Katalog der Deutschen Nationalbibliothek

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

37311 - 37320 von 37544

	37311	Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme Kauer, Stefan, 1999
	37312	Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme Kauer, Stefan, 1999
	37313	Case retrieval nets as a model for building flexible information systems Lenz, Mario, 1999
	37314	Complexity of certificates, heuristics, and counting types, with applications to cryptography and circuit theory Rothe, Jörg, 1999
	37315	Complexity of certificates, heuristics, and counting types, with applications to cryptography and circuit theory Rothe, Jörg, 1999
	37316	Computer Science Logic Berlin, Heidelberg : Springer Berlin Heidelberg, 1999
	37317	Das PC-Anwender-Handbuch [Bonn] : Fachverl. für Computerwissen
	37318	Einführung in die Kryptographie Berlin, Heidelberg : Springer Berlin Heidelberg, 1999
	37319	Embedded design Poing : WEKA-Fachmedien
	37320	Entwicklung eines impulskodierenden neuronalen Netzes für die Segmentierung bewegter Szenen Schott, Ulrich, 1999