Home Advanced Search

Advanced Search - Page 1

Grundlagen der höheren Informatik: Induktives Vorgehen
  • PDF
  • German
  • Year: 2014
  • Author: Bernhard Steffen, Oliver Rüthing, Malte Isberner (auth.)
Mathematical Foundations of Advanced Informatics. Volume 1 Inductive Approaches
  • PDF
  • english
  • Year: 2018
  • Author: Bernhard Steffen, Oliver Rüthing, Michael Huth
Denkmal und Energie: PRAXIS
  • PDF
  • German
  • Year: 2012
  • Author: Bernhard Weller, Marc-Steffen Fahrion, Sven Jakubetz (auth.)
Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Manfred Broy (auth.), Tiziana Margaria, Bernhard Steffen (eds.)
Methoden wissensbasierter Systeme: Grundlagen, Algorithmen, Anwendungen
  • PDF
  • German
  • Year: 2008
  • Author: Christoph Beierle, Gabriele Kern-Isberner (auth.)
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I
  • PDF
  • English
  • Year: 2012
  • Author: Reiner Hähnle, Ina Schaefer (auth.), Tiziana Margaria, Bernhard Steffen (eds.)
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV
  • PDF
  • English
  • Year: 2018
  • Author: Tiziana Margaria, Bernhard Steffen
Computing and Software Science: State of the Art and Perspectives
  • PDF
  • English
  • Year: 2019
  • Author: Bernhard Steffen, Gerhard Woeginger
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I
  • PDF
  • English
  • Year: 2020
  • Author: Tiziana Margaria, Bernhard Steffen
Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III
  • PDF
  • English
  • Year: 2020
  • Author: Tiziana Margaria, Bernhard Steffen
search