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=0*
im Bestand: Gesamter Bestand

5751 - 5760 von 6076
<< < > >>


Bücher 5751 Unter Druck gesetzt
Oddey, Markus. - Eutin : Lumpeter & Lasel, c 2006 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 5752 Usability challenges of PKI
Straub, Tobias, 2006 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 5753 Variational fluid motion estimation with physical priors
Ruhnau, Paul, 2006 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 5754 Verbesserte prozedurale Programmiersprachen
Heinlein, Christian, 2006 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 5755 Vereinheitlichte Spezifikation von Komponenten
Overhage, Sven, 2006 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 5756 Verhaltensinvariante Transformation von Entwurfsmodellen reaktiver Systeme
Wißpeintner, Alexander Karl, 2006 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 5757 Verification of sequential imperative programs in Isabelle-HOL
Schirmer, Norbert, 2006 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 5758 Verified proof carrying code
Wildmoser, Martin, 2006 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 5759 Verifikation von Komponenten-basierten Systemen auf Basis eines erweiterten temporalen Verifikationsverfahrens
Pulvermüller, Elke, 2006 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 5760 Verifying concurrent systems with symbolic execution
Balser, Michael. - Aachen : Shaker, 2006 		Vorhanden in Leipzig Vorhanden in Frankfurt


5751 - 5760 von 6076
<< < > >>




Materialarten

Alle Materialarten > Bücher (6076)

Kataloge/Sammlungen

Alle Kataloge/Sammlungen > Hochschulschriften (6076)

Standorte

Alle Standorte > Leipzig (6076)

Aktionen

Aktionen


E-Mail-IconAdministration