Home Advanced Search

Advanced Search - Page 1

Formal Description Techniques VII: Proceedings of the 7th IFIP WG 6.1 international conference on formal description techniques
  • PDF
  • English
  • Year: 1995
  • Author: Dieter Hogrefe, Stefan Leue (eds.)
Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11–13, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Edmund M. Clarke (auth.), Dragan Bošnački, Stefan Leue (eds.)
Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops Trento, Italy, July 5, 1999 Toulouse, France, September 21 and 24, 1999 Proceedings
  • PDF
  • English
  • Year: 1999
  • Author: John Rushby (auth.), Dennis Dams, Rob Gerth, Stefan Leue, Mieke Massink (eds.)
Scenarios: Models, Transformations and Tools: International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers
  • PDF
  • English
  • Year: 2005
  • Author: Øystein Haugen, Knut Eilif Husa, Ragnhild Kobro Runde, Ketil Stølen (auth.), Stefan Leue, Tarja Johanna Systä (eds.)
Immunology of Infection
  • PDF
  • English
  • Year: 2002
  • Author: Stefan H. E., Kaufmann, Dieter Kabelitz (Eds.)
Umstrittene Vergangenheit: Historische Argumente in der Auseinandersetzung Augustins mit den Donatisten
  • PDF
  • German
  • Year: 2009
  • Author: Arne Hogrefe
Jahrbuch Medienpädagogik 1
  • PDF
  • German
  • Year: 2001
  • Author: Stefan Aufenanger, Renate Schulz-Zander, Dieter Spanhel (auth.), Stefan Aufenanger, Renate Schulz-Zander, Dieter Spanhel (eds.)
Angst wegspielen: Mitspieltheater in der Medienerziehung
  • PDF
  • German
  • Year: 1987
  • Author: Hans-Dieter Kübler, Stefan Kuntz, Christoph B. Melchers (auth.), Stefan Kuntz (eds.)
Auf dem Weg zur kritischen Rechtslehre? Naturrecht, Moralphilosophie und Eigentumstheorie in Kants Naturrecht Feyerabend
  • PDF
  • German
  • Year: 2021
  • Author: Dieter Hüning, Stefan Klingner, und Gianluca Sadun Bordoni (eds.)
Internationalisierung deutscher Unternehmen: Strategien, Instrumente und Konzepte für den Mittelstand
  • PDF
  • German
  • Year: 2009
  • Author: Dieter Puchta, Stefan Röder (auth.), Frank Keuper, Henrik A. Schunk (eds.)
search