Katalog der Deutschen Nationalbibliothek

Gesamter Bestand

Musikarchiv

Buchmuseum

Suchformular zurücksetzen

Expertensuche ?

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

Die Webseite der DNB ist aus technischen Gründen aktuell nicht erreichbar. Wir arbeiten an der Lösung.

Ergebnis der Suche nach: dcs=004* or dcs=005* or dcs=006*
im Bestand: Gesamter Bestand

2991 - 3000 von 3254

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

2991 - 3000 von 3254

Alle Materialarten

Alle Kataloge/Sammlungen

Hochschulschriften (2903)

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

Aktionen