Katalog der Deutschen Nationalbibliothek

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

43801 - 43810 von 44429

	43801	Summaries for while programs with recursion Podelski, Andreas. - Saarbrücken : MPI Informatik, Bibliothek & Dokumentation, 2004
	43802	Teaching Formal Methods Berlin, Heidelberg : Springer Berlin Heidelberg, 2004
	43803	The paradis-net API Malpohl, Guido. - Karlsruhe : Univ., Fak. für Informatik, Bibl., 2004
	43804	The role of norms and electronic institutions in multi-agent systems Vázquez-Salceda, Javier. - Basel : Birkhäuser, c 2004
	43805	The Role of Norms and Electronic Institutions in Multi-Agent Systems Basel : Birkhäuser Basel, 2004
	43806	Theorem Proving in Higher Order Logics Berlin, Heidelberg : Springer Berlin Heidelberg, 2004
	43807	Towards otherland Kassel : Kassel Univ. Press, 2004
	43808	Towards real-time novel view synthesis using visual hulls Li, Ming, 2004
	43809	Traffic shaping concepts for advanced traffic engineering Abendroth, Dirk, 2004
	43810	Trellis-based detection for high-speed data communications Haratsch, Erich F., 2004