Katalog der Deutschen Nationalbibliothek

Neuigkeiten Vom 3. bis 8. September 2018 bleibt der Lesesaal der Deutschen Nationalbibliothek in Frankfurt am Main wegen Umbaumaßnahmen geschlossen. Die Ausstellungen des Deutschen Exilarchivs 1933–1945 sind ebenfalls geschlossen.
 

Ihre Meinung ist gefragt!

Umfrage zur Nutzung der Handbibliotheken in den Lesesälen der Deutschen Nationalbibliothek // 16. Juli bis 18. August 2018

 
 


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