Katalog der Deutschen Nationalbibliothek

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

19221 - 19230 von 19425

	19221	Security protocols Berlin : Springer, 2004
	19222	Software Process Improvement Berlin, Heidelberg : Springer Berlin Heidelberg, 2004
	19223	String Processing and Information Retrieval Berlin, Heidelberg : Springer Berlin Heidelberg, 2004
	19224	Summaries for while programs with recursion Podelski, Andreas. - Saarbrücken : MPI Informatik, Bibliothek & Dokumentation, 2004
	19225	Teaching Formal Methods Berlin, Heidelberg : Springer Berlin Heidelberg, 2004
	19226	The paradis-net API Malpohl, Guido. - Karlsruhe : Univ., Fak. für Informatik, Bibl., 2004
	19227	[Types for proofs and programs] [Berlin : [Springer], 2004
	19228	Überlegungen zum Dienst als Softwarebauelement Kuhrmann, Marco. - Potsdam : Inst. für Informatik, 2004
	19229	UML Eichenau, Roggensteiner Allee 60 : CEFE, 2004
	19230	UML-based test specification for communication systems Ebner, Michael, 2004