Katalog der Deutschen Nationalbibliothek

Neuigkeiten Am Montag, 25. Juni, öffnet die Deutsche Nationalbibliothek in Frankfurt am Main wegen einer Personalversammlung erst ab 13 Uhr für die Benutzung. Die Ausstellung des Deutschen Exilarchivs ist von 9 bis 21:30 Uhr geöffnet.
 
Neuigkeiten Am Dienstag, 26. Juni, öffnet die Deutsche Nationalbibliothek in Leipzig wegen einer Personalversammlung erst ab 12 Uhr für die Benutzung. Die Ausstellungen des Deutschen Buch- und Schriftmuseums sind von 10 bis 18 Uhr geöffnet.
 

Helfen Sie uns, noch besser zu werden!
Wir entwickeln unseren Katalog weiter. Dabei sind wir auf Ihre Unterstützung angewiesen. Ihre Rückmeldung hilft uns, Ihre Wünsche bei der Weiterentwicklung unserer Dienste einzubeziehen. Teilen Sie uns mit, was Ihnen an unserem Angebot gefällt, was wir besser machen können und was Sie vermissen.
Senden Sie uns Ihre Anregungen und Kritik über das Kontaktformular.

 
 


Ergebnis der Suche nach: "SEKI" and "Report"
im Bestand: Gesamter Bestand

1 - 10 von 144
<< < > >>


Artikel 1 Sternum-splitting anterior approach following posterior decompression and fusion in patients with massive ossification of the posterior longitudinal ligament in the upper thoracic spine: report of 2 cases and literature review
In: European spine journal 31.7.2017: 1-7
Online Ressource
Artikel 2 Negative magnetic resonance imaging in femoral neck stress fracture with joint effusion: a case report
In: Skeletal radiology 28.3.2016: 1-4
Online Ressource
Bücher 3 Lectures on Jacques Herbrand as a logician
Bremen : DFKI, 2009
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 4 Quantified multimodal logics in simple type theory
Benzmüller, Christoph. - Bremen : DFKI, 2009
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 5 Automating access control logics in simple type theory with LEO-II
Benzmüller, Christoph. - Saarbrücken : Univ. des Saarlandes, Fachrichtung Informatik, 2008
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 6 Consistency of recursive definitions via shallow confluence of non-orthogonal non-terminating conditional term rewriting systems with any kind of extra variables
Wirth, Claus-Peter. - Saarbrücken : Univ., Fachrichtung Informatik, 2006
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 7 Cut-simulation in impredicative logics
Benzmüller, Christoph. - Saarbrücken : Univ., Fachrichtung Informatik, 2006
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 8 Hilbert's epsilon as an operator of indefinite committed choice
Wirth, Claus-Peter. - Saarbrücken : Univ., Fachrichtung Informatik, 2006
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 9 A calculus independent proof data structure
Dietrich, Dominik. - Saarbrücken : Univ., Fachrichtung Informatik, 2005
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 10 A dialogue manager for the DIALOG demonstrator
Buckley, Mark. - Saarbrücken : Univ., Fachrichtung Informatik, 2004
Vorhanden in Leipzig Vorhanden in Frankfurt


1 - 10 von 144
<< < > >>


E-Mail-IconAdministration