Katalog der Deutschen Nationalbibliothek

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

37201 - 37210 von 37661

	37201	Teaching Formal Methods Berlin, Heidelberg : Springer Berlin Heidelberg, 2004
	37202	The paradis-net API Malpohl, Guido. - Karlsruhe : Univ., Fak. für Informatik, Bibl., 2004
	37203	The role of norms and electronic institutions in multi-agent systems Vázquez-Salceda, Javier. - Basel : Birkhäuser, c 2004
	37204	The Role of Norms and Electronic Institutions in Multi-Agent Systems Basel : Birkhäuser Basel, 2004
	37205	Theorem Proving in Higher Order Logics Berlin, Heidelberg : Springer Berlin Heidelberg, 2004
	37206	Towards real-time novel view synthesis using visual hulls Li, Ming, 2004
	37207	Traffic shaping concepts for advanced traffic engineering Abendroth, Dirk, 2004
	37208	Trellis-based detection for high-speed data communications Haratsch, Erich F., 2004
	37209	[Types for proofs and programs] [Berlin : [Springer], 2004
	37210	Überlegungen zum Dienst als Softwarebauelement Kuhrmann, Marco. - Potsdam : Inst. für Informatik, 2004