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

4621 - 4630 von 4904
<< < > >>


Bücher 4621 Variational fluid motion estimation with physical priors
Ruhnau, Paul, 2006 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 4622 Verbesserte prozedurale Programmiersprachen
Heinlein, Christian, 2006 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 4623 Vereinheitlichte Spezifikation von Komponenten
Overhage, Sven, 2006 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 4624 Verhaltensinvariante Transformation von Entwurfsmodellen reaktiver Systeme
Wißpeintner, Alexander Karl, 2006 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 4625 Verification of sequential imperative programs in Isabelle-HOL
Schirmer, Norbert, 2006 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 4626 Verified proof carrying code
Wildmoser, Martin, 2006 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 4627 Verifikation von Komponenten-basierten Systemen auf Basis eines erweiterten temporalen Verifikationsverfahrens
Pulvermüller, Elke, 2006 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 4628 Verifying concurrent systems with symbolic execution
Balser, Michael. - Aachen : Shaker, 2006 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 4629 Verlässlichkeit in Campusnetzen
Reinecke, Christoph S.. - Berlin : Logos-Verl., 2006 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 4630 Versuche zum Lernen artikulierter Objekte aus Bildsequenzen
Schäfer, Achim. - Aachen : Shaker, 2006 		Vorhanden in Leipzig Vorhanden in Frankfurt


4621 - 4630 von 4904
<< < > >>




Materialarten

Alle Materialarten > Bücher (4904)

Kataloge/Sammlungen

Alle Kataloge/Sammlungen > Hochschulschriften (4904)

Standorte

Alle Standorte > Leipzig (4904)

Aktionen

Aktionen


E-Mail-IconAdministration