Katalog der Deutschen Nationalbibliothek

Neuigkeiten

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

 
 
 


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

4601 - 4610 von 4890
<< < > >>


Bücher 4601 Unsupervised duplicate detection using sample non-duplicates
Lehti, Patrick, 2006 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 4602 Usability challenges of PKI
Straub, Tobias, 2006 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 4603 Variational fluid motion estimation with physical priors
Ruhnau, Paul, 2006 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 4604 Verbesserte prozedurale Programmiersprachen
Heinlein, Christian, 2006 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 4605 Vereinheitlichte Spezifikation von Komponenten
Overhage, Sven, 2006 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 4606 Verhaltensinvariante Transformation von Entwurfsmodellen reaktiver Systeme
Wißpeintner, Alexander Karl, 2006 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 4607 Verification of sequential imperative programs in Isabelle-HOL
Schirmer, Norbert, 2006 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 4608 Verified proof carrying code
Wildmoser, Martin, 2006 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 4609 Verifikation von Komponenten-basierten Systemen auf Basis eines erweiterten temporalen Verifikationsverfahrens
Pulvermüller, Elke, 2006 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 4610 Verifying concurrent systems with symbolic execution
Balser, Michael. - Aachen : Shaker, 2006 		Vorhanden in Leipzig Vorhanden in Frankfurt


4601 - 4610 von 4890
<< < > >>




Materialarten

Alle Materialarten > Bücher (4890)

Kataloge/Sammlungen

Alle Kataloge/Sammlungen > Hochschulschriften (4890)

Standorte

Alle Standorte > Frankfurt (4890)

Aktionen

Aktionen


E-Mail-IconAdministration