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

1191 - 1200 von 1201
<< < > >>


Online Ressourcen 1191 Query evaluation techniques for data integration systems
Wiesner, Christian, 2004
Online Ressource
Online Ressourcen 1192 Generische Joinverarbeitung am Beispiel des Similarity-Join
Dittrich, Jens, [2003]
Online Ressource
Online Ressourcen 1193 Methoden- und Werkzeugunterstützung für evolutionäre, objektorientierte Software-Projekte
Sarferaz, Siar, 2003
Online Ressource
Online Ressourcen 1194 C++-Referenzkarten
Aachen : M. Henne, 2002
Online Ressource
Online Ressourcen 1195 Coupling distributed Fortran applications using C++ wrappers and the corba sequence type
Slawig, Thomas. - [Potsdam] : [PIK], 2000, [Online-Ausg.]
Online Ressource
Online Ressourcen 1196 Ein Berechnungsmodell für situatives Agieren
Weiser, Thomas, 2000
Online Ressource
Online Ressourcen 1197 Workflow- und Prozeßsynchronisation mit Interaktionsausdrücken und -graphen
Heinlein, Christian, 2000, [Online-Ausg.]
Online Ressource
Online Ressourcen 1198 Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme
Kauer, Stefan, 1999
Online Ressource
Online Ressourcen 1199 Complexity of certificates, heuristics, and counting types, with applications to cryptography and circuit theory
Rothe, Jörg, 1999
Online Ressource
Online Ressourcen 1200 Formal derivation of pointer algorithms
Möller, Bernhard. - Augsburg : Universität Augsburg, 1991
Online Ressource


1191 - 1200 von 1201
<< < > >>




Materialarten

Alle MaterialartenOnline Ressourcen (1201)

Kataloge/Sammlungen

Alle Kataloge/Sammlungen

Standorte

Alle StandorteOnline (frei zugänglich) (1201)

E-Mail-IconAdministration