Katalog der Deutschen Nationalbibliothek

Neuigkeiten Donnerstag 31. Oktober 2019 (Reformationstag): Die Deutsche Nationalbibliothek in Leipzig ist geschlossen. Die Ausstellungen des Deutschen Buch- und Schriftmuseums im Erweiterungsbau sind von 10 bis 18 Uhr geöffnet. Die Präsentation „Fonts for Freedom“ ist geschlossen. // Thursday 31 October (Reformation Day): The German National Library in Leipzig will be closed. The exhibitions of the German Museum of Books and Writing in the annex will remain opened. The presentation “Fonts for Freedom” will be closed.
 
Neuigkeiten Samstag 26. Oktober 2019: Die Deutsche Nationalbibliothek in Leipzig schließt wegen einer Veranstaltung bereits um 15:30 Uhr. Die Ausstellungen des Deutschen Buch- und Schriftmuseums im Erweiterungsbau sind bis 18:00 Uhr geöffnet, die Präsentation „Fonts for Freedom“ bis 15:30 Uhr. // Saturday 26 October: The German National Library in Leipzig will close due to an event at 15:30. The exhibitions of the German Museum of Books and Writing in the annex shall remain open until 18:00, the presentation “Fonts for Freedom” until 15:30.
 
 
 


Ergebnis der Suche nach: betRef=110084497
im Bestand: Gesamter Bestand

1 - 9 von 9
<< < > >>


Bücher 1 Hybrid multiagent systems with timed synchronization-specification and model checking
Koblenz : Inst. für Informatik, 2007
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 2 Automated reasoning
Berlin : Springer, 2006
Vorhanden in Leipzig Vorhanden in Frankfurt
Online Ressourcen 3 Automated reasoning
Berlin : Springer, 2006
Online Ressource
Bücher 4 Advances in artificial intelligence
Berlin : Springer, 2005
Vorhanden in Leipzig Vorhanden in Frankfurt
Online Ressourcen 5 Advances in artificial intelligence
Berlin : Springer, 2005
Online Ressource
Bücher 6 Deduction
Saarbrücken : Geschäftsstelle Schloss Dagstuhl, Univ. des Saarlandes, 2000
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 7 Abstracts of the Workshop "Massively Parallel Inference Systems"
Workshop on Massively Parallel Inference Systems (1990 : Dagstuhl). - München : SFB 342, 1991
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 8 Workshop Verification, Construction, and Synthesis of Programs
Workshop Verification, Construction and Synthesis of Programs (1989 : Karlsruhe). - Karlsruhe : Inst. for Logic, Complexity and Deductive Systems, 1989
Vorhanden in Frankfurt
Bücher 9 Wissen - Wissensrepräsentation
Neubiberg : Univ. d. Bundeswehr München, Fak. für Informatik, 1986
Vorhanden in Frankfurt


1 - 9 von 9
<< < > >>


E-Mail-IconAdministration