search result

Cover von ECOOP 2003, object-oriented programming
17th European conference, Darmstadt, Germany, July 21 - 25, 2003, proceedings
Search for this author
Year: 2003
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 2743
Media group: MONOGRAPHIE
Cover von A theory of objects
Author: Abadi, Martin; Cardelli, Luca Search for this author
Year: 1996
Publisher: Berlin, Springer
Media group: MONOGRAPHIE
Cover von DNA Computing and Molecular Programming
17th International Conference, Pasadena, CA, USA, September 19 - 23, 2011, Proceedings
Search for this author
Year: 2011
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 6937
Media group: MONOGRAPHIE
Cover von Internet programming languages
workshop : Chicago, IL, USA, May 13, 1998 : proceedings
Search for this author
Year: 1999
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 1686
Media group: MONOGRAPHIE
Cover von Vol. IV.; Transactions on computational systems biology
Search for this author
Year: 2006
Publisher: Berlin, Springer
Volume: Vol. IV.
Series: Lecture notes in bioinformatics : Journal subline / subseries of Lecture notes in computer science; 3939
Media group: MONOGRAPHIE
Cover von The semantic challenge of object-oriented programming
28.06.1998 - 03.07.1998 (98261)
Search for this author
Year: 1999
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl-Seminar-Report; 216
Media group: DAGSTUHL-SEMINAR-REP
Cover von Forward and Backward Bisimulations for Chemical Reaction Networks

Forward and Backward Bisimulations for Chemical Reaction Networks

Year: 2015
Media group: LIPIcs
Cover von Verification over discrete-continuous boundaries
Search for this author
Year: 2010
Publisher: Wadern, LZI
Series: Dagstuhl Seminar Proceedings; 10271
Media group: DAGSTUHL-SEMINAR-PRO
Cover von Continuous Markovian Logic - From Complete Axiomatization to the Metric Space of Formulas

Continuous Markovian Logic - From Complete Axiomatization to the Metric Space of Formulas

Year: 2011
Media group: LIPIcs
OPEN V 11.1.0.0