Katalog der Deutschen Nationalbibliothek


Suchformular zurücksetzen  
 
Expertensuche ?
 
eingeschränkt auf
- Materialarten:  Online Ressourcen
Neuigkeiten Am Donnerstag, 21. März, schließt die Deutsche Nationalbibliothek in Leipzig wegen einer Veranstaltung um 15:30 Uhr für die Benutzung. Die Ausstellungen des Deutschen Buch- und Schriftmuseums sind bis 20 Uhr geöffnet.
 
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 112
<< < > >>


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
Artikel 4 Zollinger-Ellison Syndrome and Pheochromocytoma
Enthalten in Hormone and metabolic research Bd. 25, 2008, Nr. 03: 180-183
Online Ressource
Artikel 5 Submucosal Dissection of the Esophagus: A Case Report
Enthalten in Endoscopy Bd. 23, 2008, Nr. 02: 95-97
Online Ressource
Online Ressourcen 6 A Coloured Version of the Lambda-Calculus
Kohlhase, Michael. - Kaiserslautern : Technische Universität Kaiserslautern, Fachbereich Informatik, 1999
Online Ressource
Online Ressourcen 7 A Combinator-based order-sorted higher-order unification algorithm
Johann, Patricia. - Kaiserslautern : Technische Universität Kaiserslautern, Fachbereich Informatik, 1999
Online Ressource
Online Ressourcen 8 A Guide to UNICOM, an Inductive Theorem Prover Based on Rewriting and Completion Techniques
Gramlich, Bernhard. - Kaiserslautern : Technische Universität Kaiserslautern, Fachbereich Informatik, 1999
Online Ressource
Online Ressourcen 9 A Mechanization of Sorted Higher-Order Logic Based on the Resolution Principle
Kohlhase, Michael. - Kaiserslautern : Technische Universität Kaiserslautern, Fachbereich Informatik, 1999
Online Ressource
Online Ressourcen 10 A Mechanization of Strong Kleene Logic for Partial Functions
Kerber, Manfred. - Kaiserslautern : Technische Universität Kaiserslautern, Fachbereich Informatik, 1999
Online Ressource


1 - 10 von 112
<< < > >>


E-Mail-IconAdministration