Katalog der Deutschen Nationalbibliothek

Expertensuche ?

Servicezeiten in Frankfurt am Main ab 1. Dezember 2025: Montag bis Freitag 9–18 Uhr und Samstag 10–16 Uhr
Service hours in Frankfurt am Main from 1 December 2025: Monday to Friday 9:00-18:00 and Saturday 10:00-16:00

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

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

9571 - 9580 von 10211

	9571	Verifikation von Komponenten-basierten Systemen auf Basis eines erweiterten temporalen Verifikationsverfahrens Pulvermüller, Elke, 2006
	9572	Verifying concurrent systems with symbolic execution Balser, Michael. - Aachen : Shaker, 2006
	9573	Verifying Concurrent Systems with Symbolic Execution Balser, Michael. - Aachen : Shaker, 2006, 1. Auflage
	9574	Verifying concurrent systems with symbolic execution Balser, Michael, [2006]
	9575	Verlässlichkeit in Campusnetzen Reinecke, Christoph S.. - Berlin : Logos-Verl., 2006
	9576	Verlagsstrategien bei Wissenszeitschriften Heinemann, Pia, 2006
	9577	Versuche zum Lernen artikulierter Objekte aus Bildsequenzen Schäfer, Achim. - Aachen : Shaker, 2006
	9578	Versuche zum Lernen artikulierter Objekte aus Bildsequenzen Schäfer, Achim. - Aachen : Shaker, 2006, 1. Auflage
	9579	Verteilte Ausführung hybrider System-Modelle auf heterogenen Rechnerplattformen Dreier, Rico. - Karlsruhe : FZI, 2006
	9580	Verteilte Ausführung hybrider System-Modelle auf heterogenen Rechnerplattformen Dreier, Rico, 2006