Katalog der Deutschen Nationalbibliothek


Suchformular zurücksetzen  
 
Expertensuche ?
 
eingeschränkt auf
- Standorte:  Frankfurt
Neuigkeiten Geänderte Servicezeiten ab 1. März 2019 an der Information in Frankfurt am Main: Montag bis Freitag von 9–12 Uhr und 13–18 Uhr , Samstag von 10–16 Uhr // Changes to service hours as of 1 March 2019 at the Information desk in Frankfurt am Main: Monday to Friday: 9:00–12:00 and 13:00–18:00, Saturday: 10:00–16:00
 
 
 


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

1 - 10 von 151
<< < > >>


Artikel 1 Re-do mitral valve replacement for a bioprosthetic valve with central transvalvular leakage in a patient with ischemic cardiomyopathy: a case report
Enthalten in Journal of artificial organs 2.1.2019: 1-4
Online Ressource
Artikel 2 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 3 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 4 Lectures on Jacques Herbrand as a logician
Bremen : DFKI, 2009
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 5 Quantified multimodal logics in simple type theory
Benzmüller, Christoph. - Bremen : DFKI, 2009
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 6 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 7 Zollinger-Ellison Syndrome and Pheochromocytoma
Enthalten in Hormone and metabolic research Bd. 25, 2008, Nr. 03: 180-183
Online Ressource
Artikel 8 Submucosal Dissection of the Esophagus: A Case Report
Enthalten in Endoscopy Bd. 23, 2008, Nr. 02: 95-97
Online Ressource
Bücher 9 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 10 Cut-simulation in impredicative logics
Benzmüller, Christoph. - Saarbrücken : Univ., Fachrichtung Informatik, 2006
Vorhanden in Leipzig Vorhanden in Frankfurt


1 - 10 von 151
<< < > >>


E-Mail-IconAdministration