Katalog der Deutschen Nationalbibliothek

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

37211 - 37220 von 37673

	37211	Struktureller Bias in neuronalen Netzen mittels Clifford-Algebren Banarer, Vladimir, 2004
	37212	Summaries for while programs with recursion Podelski, Andreas. - Saarbrücken : MPI Informatik, Bibliothek & Dokumentation, 2004
	37213	Teaching Formal Methods Berlin, Heidelberg : Springer Berlin Heidelberg, 2004
	37214	The paradis-net API Malpohl, Guido. - Karlsruhe : Univ., Fak. für Informatik, Bibl., 2004
	37215	The role of norms and electronic institutions in multi-agent systems Vázquez-Salceda, Javier. - Basel : Birkhäuser, c 2004
	37216	The Role of Norms and Electronic Institutions in Multi-Agent Systems Basel : Birkhäuser Basel, 2004
	37217	Theorem Proving in Higher Order Logics Berlin, Heidelberg : Springer Berlin Heidelberg, 2004
	37218	Towards real-time novel view synthesis using visual hulls Li, Ming, 2004
	37219	Traffic shaping concepts for advanced traffic engineering Abendroth, Dirk, 2004
	37220	Trellis-based detection for high-speed data communications Haratsch, Erich F., 2004