Katalog der Deutschen Nationalbibliothek

Ergebnis der Suche nach: dcs=0*
im Bestand: Gesamter Bestand

4351 - 4360 von 4375

	4351	Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme Kauer, Stefan, 1999
	4352	Case retrieval nets as a model for building flexible information systems Lenz, Mario, 1999
	4353	Complexity of certificates, heuristics, and counting types, with applications to cryptography and circuit theory Rothe, Jörg, 1999
	4354	Empirische Diskursanalyse nach Foucault Fricke, Matthias, 1999
	4355	Gedruckte Literatur zum Thema "Finanzierung der Weiterbildung" [Bonn] : DIE, 1999
	4356	Katalog der deutschsprachigen illustrierten Handschriften des Mittelalters Ott, Norbert H.. - München : Verlag der Bayerischen Akademie der Wissenschaften, 1996
	4357	On some promise classes in structural complexity theory Rothe, Jörg, 1995
	4358	Formal derivation of pointer algorithms Möller, Bernhard. - Augsburg : Universität Augsburg, 1991
	4359	Katalog der deutschsprachigen illustrierten Handschriften des Mittelalters Ott, Norbert H.. - München : Verlag der Bayerischen Akademie der Wissenschaften, 1991
	4360	Mittelalterliche Bibliothekskataloge Deutschlands und der Schweiz München : Verlag der Bayerischen Akademie der Wissenschaften, 1977