Katalog der Deutschen Nationalbibliothek

Neuigkeiten Vom 24. Dezember 2018 bis 1. Januar 2019 ist die Deutsche Nationalbibliothek an beiden Standorten geschlossen. Die Ausstellungen des Deutschen Buch- und Schriftmuseums der Deutschen Nationalbibliothek in Leipzig sind vom 27. bis 30. Dezember 2018 jeweils von 10 bis 18 Uhr geöffnet. Die Präsentation „Albert Kapr 100“ ist geschlossen.
 
Neuigkeiten The German National Library will be closed from 24 December 2017 to 1 January 2018. The exhibitions of the German Museum of Books and Writing will open from 10:00 to 18:00 on 27 to 30 December 2018. The presentation “Albert Kapr” will be closed.
 
 
 


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

1 - 10 von 150
<< < > >>


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
Artikel 6 Zollinger-Ellison Syndrome and Pheochromocytoma
Enthalten in Hormone and metabolic research Bd. 25, 2008, Nr. 03: 180-183
Online Ressource
Artikel 7 Submucosal Dissection of the Esophagus: A Case Report
Enthalten in Endoscopy Bd. 23, 2008, Nr. 02: 95-97
Online Ressource
Bücher 8 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 9 Cut-simulation in impredicative logics
Benzmüller, Christoph. - Saarbrücken : Univ., Fachrichtung Informatik, 2006
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 10 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


1 - 10 von 150
<< < > >>


E-Mail-IconAdministration