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

24. Dezember 2025 bis 1. Januar 2026: Die Deutsche Nationalbibliothek bleibt an beiden Standorten geschlossen. // 24 December 2025 to 1 January 2026: The German National Library will be closed at both locations.

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

3101 - 3110 von 3376

	3101	Verified proof carrying code Wildmoser, Martin, 2006
	3102	Verifying concurrent systems with symbolic execution Balser, Michael, [2006]
	3103	Verteilte Ausführung hybrider System-Modelle auf heterogenen Rechnerplattformen Dreier, Rico, 2006
	3104	Verteilte kooperative Wissensräume Bopp, Thomas, 2006
	3105	Virtual machine support for aspect-oriented programming languages Haupt, Michael, [2006]
	3106	Visuelle Objekterkennung in dynamischen Umgebungen Mayer, Gerd, 2006, [Online-Ausg.]
	3107	Workload modeling for parallel computers Song, Baiyi, [2006]
	3108	Zeitgenaue Simulation gemischt virtuell-realer Prototypen Eilers, Stefan, 2006
	3109	Zum Einfluß elementarer Sätze der mathematischen Logik bei Alfred Tarski auf die Entstehung der drei Computerkonzepte des Konrad Zuse Alex, Jürgen, 2006
	3110	Zum Pfadverlust bei automatischer Testdatengenerierung mit dem Verkettungsansatz Makowka, Thorsten, 2006