Katalog der Deutschen Nationalbibliothek

Expertensuche ?

Donnerstag, 11. September 2025: Die Deutsche Nationalbibliothek öffnet wegen eines Beschäftigtentreffens an beiden Standorten erst um 15 Uhr. // Thursday, 11 September 2025: The German National Library will not open until 15:00 due to a staff meeting at both locations.

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

2761 - 2770 von 2997

	2761	Verhaltensinvariante Transformation von Entwurfsmodellen reaktiver Systeme Wißpeintner, Alexander Karl, 2006
	2762	Verification of sequential imperative programs in Isabelle-HOL Schirmer, Norbert, 2006
	2763	Verified proof carrying code Wildmoser, Martin, 2006
	2764	Verifying concurrent systems with symbolic execution Balser, Michael, [2006]
	2765	Verteilte Ausführung hybrider System-Modelle auf heterogenen Rechnerplattformen Dreier, Rico, 2006
	2766	Verteilte kooperative Wissensräume Bopp, Thomas, 2006
	2767	Virtual machine support for aspect-oriented programming languages Haupt, Michael, [2006]
	2768	Visuelle Objekterkennung in dynamischen Umgebungen Mayer, Gerd, 2006, [Online-Ausg.]
	2769	Workload modeling for parallel computers Song, Baiyi, [2006]
	2770	Zeitgenaue Simulation gemischt virtuell-realer Prototypen Eilers, Stefan, 2006

2761 - 2770 von 2997

Alle Materialarten

Online Ressourcen (2997)

Alle Kataloge/Sammlungen > Hochschulschriften (2997)

Alle Standorte > Online (frei zugänglich) (2997)

Aktionen

Administration