Katalog der Deutschen Nationalbibliothek

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

4271 - 4280 von 4904

	4271	Verification of infinite state systems using Presburger arithmetic Schüle, Tobias. - München : Verl. Dr. Hut, 2007, 1. Aufl.
	4272	Verstehen als Geschehen Krüger, Annika. - Hannover-Laatzen : Wehrhahn, 2007, 1. Aufl.
	4273	Verteilende Verfeinerung Wu, Bixia. - Berlin : Logos-Verl., 2007
	4274	Verteilte Nutzungsdatenerfassung und nachgelagerte Weiterverarbeitung der Nutzungsdaten im mobilen Internet Jähnert, Jürgen Matthias. - Stuttgart : Inst. für Kommunikationsnetze und Rechnersysteme, 2007
	4275	Verteilte Zugangskontrolle in offenen Ad-hoc-Netzen Kraft, Daniel. - Karlsruhe : Univ.-Verl. Karlsruhe, 2007
	4276	Virtual humanoids and presence in virtual environments Valvoda, Jakob T., 2007
	4277	Virtuelle private Netzwerke in Theorie und Praxis Kämpfe, Ronny. - Saarbrücken : VDM, Müller, 2007
	4278	Vision based image retrieval (VBIR) Essig, Kai, 2007
	4279	Visulization [Visualization] of complex three-dimensional flow structures Garth, Christoph. - Kaiserslautern : Fachbereich Informatik der Techn. Univ., 2007
	4280	VLSI implementation of a spiking neural network Grübl, Andreas, 2007