Katalog der Deutschen Nationalbibliothek

Gesamter Bestand

Musikarchiv

Exilsammlungen

Buchmuseum

Suchformular zurücksetzen

Expertensuche ?

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

Dienstag 18. November 2025: Die Lesesäle der Deutschen Nationalbibliothek in Frankfurt am Main öffnen wegen einer Personalversammlung erst ab 13 Uhr. // Tuesday 18 November 2025: The reading rooms of the German National Library in Frankfurt am Main will open at 13:00 due to a staff assembly.

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

3061 - 3070 von 3336

	3061	Usability challenges of PKI Straub, Tobias, 2006
	3062	Verhaltensinvariante Transformation von Entwurfsmodellen reaktiver Systeme Wißpeintner, Alexander Karl, 2006
	3063	Verification of sequential imperative programs in Isabelle-HOL Schirmer, Norbert, 2006
	3064	Verified proof carrying code Wildmoser, Martin, 2006
	3065	Verifying concurrent systems with symbolic execution Balser, Michael, [2006]
	3066	Verteilte Ausführung hybrider System-Modelle auf heterogenen Rechnerplattformen Dreier, Rico, 2006
	3067	Verteilte kooperative Wissensräume Bopp, Thomas, 2006
	3068	Virtual machine support for aspect-oriented programming languages Haupt, Michael, [2006]
	3069	Visuelle Objekterkennung in dynamischen Umgebungen Mayer, Gerd, 2006, [Online-Ausg.]
	3070	Workload modeling for parallel computers Song, Baiyi, [2006]

3061 - 3070 von 3336

Alle Materialarten > Online Ressourcen (3336)

Alle Kataloge/Sammlungen > Hochschulschriften (3336)

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

Aktionen

Administration