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=004* or dcs=005* or dcs=006*
im Bestand: Gesamter Bestand

7451 - 7460 von 7970
<< < > >>


Online Ressourcen 7451 Unterstützung des kooperativen Wissenserwerbs durch Hypervideo-Inhalte
Finke, Matthias, [2006]
Online Ressource
Bücher 7452 Usability challenges of PKI
Straub, Tobias, 2006
Vorhanden in Leipzig Vorhanden in Frankfurt
Online Ressourcen 7453 Usability challenges of PKI
Straub, Tobias, 2006
Online Ressource
Bücher 7454 Variational fluid motion estimation with physical priors
Ruhnau, Paul, 2006
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 7455 Verbesserte prozedurale Programmiersprachen
Heinlein, Christian, 2006
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 7456 Vereinheitlichte Spezifikation von Komponenten
Overhage, Sven, 2006
Vorhanden in Leipzig Vorhanden in Frankfurt
Online Ressourcen 7457 Verhaltensinvariante Transformation von Entwurfsmodellen reaktiver Systeme
Wißpeintner, Alexander Karl, 2006
Online Ressource
Bücher 7458 Verhaltensinvariante Transformation von Entwurfsmodellen reaktiver Systeme
Wißpeintner, Alexander Karl, 2006
Vorhanden in Leipzig Vorhanden in Frankfurt
Online Ressourcen 7459 Verification of sequential imperative programs in Isabelle-HOL
Schirmer, Norbert, 2006
Online Ressource
Bücher 7460 Verification of sequential imperative programs in Isabelle-HOL
Schirmer, Norbert, 2006
Vorhanden in Leipzig Vorhanden in Frankfurt


7451 - 7460 von 7970
<< < > >>


E-Mail-IconAdministration