Katalog der Deutschen Nationalbibliothek

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

4371 - 4380 von 4645

	4371	Verifikation von Komponenten-basierten Systemen auf Basis eines erweiterten temporalen Verifikationsverfahrens Pulvermüller, Elke, 2006
	4372	Verifying concurrent systems with symbolic execution Balser, Michael. - Aachen : Shaker, 2006
	4373	Verlässlichkeit in Campusnetzen Reinecke, Christoph S.. - Berlin : Logos-Verl., 2006
	4374	Versuche zum Lernen artikulierter Objekte aus Bildsequenzen Schäfer, Achim. - Aachen : Shaker, 2006
	4375	Verteilte Ausführung hybrider System-Modelle auf heterogenen Rechnerplattformen Dreier, Rico. - Karlsruhe : FZI, 2006
	4376	Verteilte kooperative Wissensräume Bopp, Thomas, 2006
	4377	Videobasierte Handlungserkennung für die natürliche Mensch-Maschine-Interaktion Hofemann, Nils, 2006
	4378	Visuelle Objekterkennung in dynamischen Umgebungen Mayer, Gerd, 2006
	4379	Webbasierte (Skill-)Wissensdatenbank Handler, Robert. - Saarbrücken : VDM, Müller, c 2006
	4380	Webliteralität Dieter, Jörg, 2006