Katalog der Deutschen Nationalbibliothek

Neuigkeiten Servicezeiten in Frankfurt am Main ab 1. Dezember 2025: Montag bis Freitag 9–18 Uhr und Samstag 10–16 Uhr
Service hours in Frankfurt am Main from 1 December 2025: Monday to Friday 9:00-18:00 and Saturday 10:00-16:00
 
Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
Neuigkeiten 24. Dezember 2025 bis 1. Januar 2026: Die Deutsche Nationalbibliothek bleibt an beiden Standorten geschlossen. // 24 December 2025 to 1 January 2026: The German National Library will be closed at both locations.
 
 
 


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

1271 - 1280 von 1280
<< < > >>


Online Ressourcen 1271 PolyAPM - comparative parallel programming with abstract parallel machines
Ellmenreich, Nils, 2004
Online Ressource
Online Ressourcen 1272 Query evaluation techniques for data integration systems
Wiesner, Christian, 2004
Online Ressource
Online Ressourcen 1273 UML-based test specification for communication systems
Ebner, Michael, 2004
Online Ressource
Online Ressourcen 1274 UML-based Test Specification for Communication Systems
Ebner, Michael. - Göttingen : Niedersächsische Staats- und Universitätsbibliothek Göttingen, 2004
Online Ressource
Online Ressourcen 1275 Generische Joinverarbeitung am Beispiel des Similarity-Join
Dittrich, Jens, [2003]
Online Ressource
Online Ressourcen 1276 Methoden- und Werkzeugunterstützung für evolutionäre, objektorientierte Software-Projekte
Sarferaz, Siar, 2003
Online Ressource
Online Ressourcen 1277 Ein Berechnungsmodell für situatives Agieren
Weiser, Thomas, 2000
Online Ressource
Online Ressourcen 1278 Workflow- und Prozeßsynchronisation mit Interaktionsausdrücken und -graphen
Heinlein, Christian, 2000, [Online-Ausg.]
Online Ressource
Online Ressourcen 1279 Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme
Kauer, Stefan, 1999
Online Ressource
Online Ressourcen 1280 Complexity of certificates, heuristics, and counting types, with applications to cryptography and circuit theory
Rothe, Jörg, 1999
Online Ressource


1271 - 1280 von 1280
<< < > >>




Materialarten

Alle MaterialartenOnline Ressourcen (1280)

Kataloge/Sammlungen

Alle Kataloge/SammlungenHochschulschriften (1280)

Standorte

Alle StandorteLeipzig (1280)

E-Mail-IconAdministration