Schäfer, Gert
69  Ergebnisse:
Personensuche X
?
1

Friedrich Engels: Builder of Closed Systems?:

Schäfer, Gert
Science & Society.  62 (1998)  1 - p. 35-47 , 1998
 
?
7

Axiomatic semantics for compiler verification:

, In: Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs,
 
?
8

Completeness and Decidability of de Bruijn Substitution Alg..:

, In: Proceedings of the 2015 Conference on Certified Programs and Proofs,
 
?
9

Transcatheter aortic valve implantation in patients with an..:

Abdel-Wahab, Mohamed ; Zahn, Ralf ; Horack, Martin...
Clinical Research in Cardiology.  101 (2012)  12 - p. 973-981 , 2012
 
?
 
?
13

Effects of Intracoronary Low‐Dose Enalaprilat on Ventricula..:

BONNEMEIER, HENDRIK ; SCHÄFER, ULRICH ; KURZ, THOMAS...
Pacing and Clinical Electrophysiology.  30 (2007)  5 - p. 631-637 , 2007
 
1-15