( en | de | ru )

 

Disambiguierung von "Baum, Gabriel"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Taking Alloy to the Movies.

, , , , und . FME, Volume 2805 von Lecture Notes in Computer Science, Seite 678-697. Springer, (2003)

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.

Bernhard Baum

The well-tempered thrombin: a systematic crystallographic and calorimetric study on the thermodynamics of serine-protease inhibition. Uni Marburg, (2009)

Sebastian Baum

Optimierung der Pharmakotherapie von geriatrischen Patienten im stationären Bereich durch pharmazeutische Betreuung. Uni Münster, (2009)

Fritz Baum

Erich Baum

Walter Baum

 

Weitere Publikationen von Autoren mit dem selben Namen

Conceptual Layers in an Object Oriented Database. An Unified Model., , , , und . DASFAA, Volume 4 von Advanced Database Research and Development Series, Seite 141-147. World Scientific, (1993)Software Development Contracts., und . FFSE@CSMR, Seite 13-20. Universidade Nova de Lisboa, (2001)Interpretability of First-Order Dynamic Logic in a Relational Calculus., , und . RelMiCS, Volume 2561 von Lecture Notes in Computer Science, Seite 66-80. Springer, (2001)A Logic for Real-Time Systems Specification, Its Algebraic Semantics, and Equational Calculus., , und . AMAST, Volume 1548 von Lecture Notes in Computer Science, Seite 91-105. Springer, (1998)Ginga Middleware and Digital TV in Latin America., und . IT Prof., 14 (4): 59-61 (2012)Variable-Based Analysis for Traceability in QVT-R Model Transformations., , , und . CIbSE, Seite 39. Curran Associates, Inc., (2015)From Specifications to Programs: A Fork-Algebraic Approach to Bridge the Gap., , , und . MFCS, Volume 1113 von Lecture Notes in Computer Science, Seite 180-191. Springer, (1996)Applying MDA and OMG Robotic Specification for Developing Robotic Systems., , , und . SAM, Volume 9959 von Lecture Notes in Computer Science, Seite 51-67. Springer, (2016)Reasoning about the correctness of software development process., und . ICSE, Seite 708. ACM, (2002)Integrating Object-Oriented Modelling Techniques with Formal Specification Techniques., , , , , , , , , und 2 andere Autor(en). German-Argentinian Workshop on Information Technology, Seite 23-30. (1999)