Katalog der Deutschen Nationalbibliothek

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

5761 - 5770 von 6079

	5761	Verified proof carrying code Wildmoser, Martin, 2006
	5762	Verifikation von Komponenten-basierten Systemen auf Basis eines erweiterten temporalen Verifikationsverfahrens Pulvermüller, Elke, 2006
	5763	Verifying concurrent systems with symbolic execution Balser, Michael. - Aachen : Shaker, 2006
	5764	Verlässlichkeit in Campusnetzen Reinecke, Christoph S.. - Berlin : Logos-Verl., 2006
	5765	Verlagsstrategien bei Wissenszeitschriften Heinemann, Pia, 2006
	5766	Versuche zum Lernen artikulierter Objekte aus Bildsequenzen Schäfer, Achim. - Aachen : Shaker, 2006
	5767	Verteilte Ausführung hybrider System-Modelle auf heterogenen Rechnerplattformen Dreier, Rico. - Karlsruhe : FZI, 2006
	5768	Verteilte kooperative Wissensräume Bopp, Thomas, 2006
	5769	Videobasierte Handlungserkennung für die natürliche Mensch-Maschine-Interaktion Hofemann, Nils, 2006
	5770	Videojournalismus Baur, Sandra. - Saarbrücken : VDM, Müller, 2006