( en | de | ru )

 

Disambiguierung von "Stroetmann, Karl"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Computer-Architektur : Modellierung, Entwicklung und Verifikation mit Verilog

. Oldenbourg, München u.a., (2007)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Karl Stroetmann

Winfried Stroetmann

Irmgard Stroetmann

Isabel Stroetmann

Paul Stroetmann

 

Weitere Publikationen von Autoren mit dem selben Namen

A vision and strategy for the virtual physiological human: 2012 update, , , , , , , , , und 14 andere Autor(en). Interface Focus, (2013)Automated Modular Termination Proofs for Real Prolog Programs., , und . SAS, Volume 1145 von Lecture Notes in Computer Science, Seite 220-237. Springer, (1996)PAN - The Prolog Analyzer., , und . SAS, Volume 1145 von Lecture Notes in Computer Science, Seite 387-388. Springer, (1996)A Declarative Semantics for the Prolog Cut Operator., und . ELP, Volume 1050 von Lecture Notes in Computer Science, Seite 255-271. Springer, (1996)Seduct - A Proof Compiler for First Order Logic.. KORSO Book, Volume 1009 von Lecture Notes in Computer Science, Springer, (1995)A Completeness Result for SLDNF-Resolution.. J. Log. Program., 15 (4): 337-355 (1993)Computer-Architektur : Modellierung, Entwicklung und Verifikation mit Verilog. Oldenbourg, München u.a., (2007)Clinical data governance: Legal and ethical challenges., , und . BHI, Seite 597-600. IEEE, (2014)Model-Driven Paediatric Cardiomyopathy Pathways - A Clinical Impact Assessment., und . ITCH, Volume 234 von Studies in Health Technology and Informatics, Seite 309-314. IOS Press, (2017)Health System Efficiency and eHealth Interoperability - How Much Interoperability Do We Need?. WorldCIST (2), Volume 276 von Advances in Intelligent Systems and Computing, Seite 395-406. Springer, (2014)