Home Advanced Search

Advanced Search - Page 1

Mathematical Foundations of Advanced Informatics. Volume 1 Inductive Approaches
Mathematical Foundations of Advanced Informatics. Volume 1 Inductive Approaches
  • PDF
  • english
  • Year: 2018
  • Author: Bernhard Steffen, Oliver Rüthing, Michael Huth
Die mittelalterliche Universität
Die mittelalterliche Universität
  • PDF
  • German
  • Year: 1973
  • Author: Heinrich Rüthing
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022 Rhodes, Greece, October 22–30, 2022 Proceedings, Part I
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022 Rhodes, Greece, October 22–30, 2022 Proceedings, Part I
  • PDF
  • English
  • Year: 2022
  • Author: Tiziana Margaria, Bernhard Steffen
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II
  • 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
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
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
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: Discussion, Dissemination, Applications
  • EPUB
  • English
  • Author: Tiziana Margaria;Bernhard Steffen
Computing and software science, state of the art and perspectives
Computing and software science, state of the art and perspectives
  • PDF
  • English
  • Year: 2019
  • Author: Steffen, Bernhard.; Woeginger, Gerhard
Computing and Software Science: State of the Art and Perspectives
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. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV
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
search