Katalog der Deutschen Nationalbibliothek

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

19881 - 19890 von 20187

	19881	Theorem Proving in Higher Order Logics Berlin, Heidelberg : Springer Berlin Heidelberg, 2004
	19882	Towards otherland Kassel : Kassel Univ. Press, 2004
	19883	[Types for proofs and programs] [Berlin : [Springer], 2004
	19884	UML-based test specification for communication systems Ebner, Michael, 2004
	19885	URN-Vergabe in der Schweizerischen Landesbibliothek Bättig, Yvonne. - [Leipzig : [Dt. Nationalbibliothek], 2004
	19886	URN-Workflow-Unterstützung mit OPUS Schomburg, Silke. - [Leipzig : [Dt. Nationalbibliothek], [2004]
	19887	URNs im Kontext Langzeitarchivierung [Leipzig : Die Dt. Bibliothek, 2004
	19888	Visual C++ - Windows-Programmierung mit den MFC Budszuhn, Frank. - München : Pearson Deutschland, 2004
	19889	Windows XP Home SP2 - Magnum Lackerbauer, Ingo. - München : Pearson Deutschland, 2004
	19890	Windows XP Professional Tricks SP2 - Magnum Born, Günter. - München : Pearson Deutschland, 2004

19881 - 19890 von 20187