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

2941 - 2950 von 2956
<< < > >>


Bücher 2941 Lokalitätsoptimierung für Speicherhierarchien und Programmiermodelle des parallelen und verteilten Rechnens
Leopold, Claudia, 2002
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 2942 Multimedia-Delivery für personalisierbare E-Services
Wagner, Matthias. - Norderstedt : Books on Demand GmbH, c 2002
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 2943 Parallelism constraints in underspecified semantics
Erk, Katrin. - Saarbrücken : German Research Center for Artificial Intelligence, 2002
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 2944 Adaptive Suchverfahren
Schulz, Frank. - Aachen : Shaker, 2000, Als Ms. gedr.
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 2945 Analyzing demand in non-strict functional programming languages
Schütz, Marko, 2000
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 2946 Ein Berechnungsmodell für situatives Agieren
Weiser, Thomas, 2000
Vorhanden in Leipzig Vorhanden in Frankfurt
Online Ressourcen 2947 Ein Berechnungsmodell für situatives Agieren
Weiser, Thomas, 2000
Online Ressource
Bücher 2948 Ein nichtdeterministischer call-by-need Lambda-Kalkül mit erratic Choice
Kutzner, Arne, 2000
Vorhanden in Leipzig Vorhanden in Frankfurt
Online Ressourcen 2949 Workflow- und Prozeßsynchronisation mit Interaktionsausdrücken und -graphen
Heinlein, Christian, 2000, [Online-Ausg.]
Online Ressource
Bücher 2950 Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme
Kauer, Stefan, 1999
Vorhanden in Leipzig Vorhanden in Frankfurt


2941 - 2950 von 2956
<< < > >>


E-Mail-IconAdministration