Katalog der Deutschen Nationalbibliothek

Neuigkeiten Donnerstag, 11. September 2025: Die Deutsche Nationalbibliothek öffnet wegen eines Beschäftigtentreffens an beiden Standorten erst um 15 Uhr. // Thursday, 11 September 2025: The German National Library will not open until 15:00 due to a staff meeting at both locations.
 
 
 


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

4071 - 4080 von 4452
<< < > >>


Online Ressourcen 4071 Unsupervised duplicate detection using sample non-duplicates
Lehti, Patrick, 2006
Online Ressource
Online Ressourcen 4072 Unterstützung des kooperativen Wissenserwerbs durch Hypervideo-Inhalte
Finke, Matthias, [2006]
Online Ressource
Online Ressourcen 4073 Untersuchungen zur sprachübergreifenden, bilingualen Suche mit Hilfe der Konzeptnetz-Technologie der SENTRAX-Engine
Suriya Na Nhongkai, 2006
Online Ressource
Online Ressourcen 4074 Usability challenges of PKI
Straub, Tobias, 2006
Online Ressource
Online Ressourcen 4075 Verhaltensinvariante Transformation von Entwurfsmodellen reaktiver Systeme
Wißpeintner, Alexander Karl, 2006
Online Ressource
Online Ressourcen 4076 Verification of sequential imperative programs in Isabelle-HOL
Schirmer, Norbert, 2006
Online Ressource
Online Ressourcen 4077 Verified proof carrying code
Wildmoser, Martin, 2006
Online Ressource
Online Ressourcen 4078 Verifying concurrent systems with symbolic execution
Balser, Michael, [2006]
Online Ressource
Online Ressourcen 4079 Verteilte Ausführung hybrider System-Modelle auf heterogenen Rechnerplattformen
Dreier, Rico, 2006
Online Ressource
Online Ressourcen 4080 Verteilte kooperative Wissensräume
Bopp, Thomas, 2006
Online Ressource


4071 - 4080 von 4452
<< < > >>


E-Mail-IconAdministration