Home Advanced Search

Advanced Search - Page 1

Mathematical Foundations of Advanced Informatics. Volume 1 Inductive Approaches
  • PDF
  • english
  • Year: 2018
  • Author: Bernhard Steffen, Oliver Rüthing, Michael Huth
Grundlagen der höheren Informatik: Induktives Vorgehen
  • PDF
  • German
  • Year: 2014
  • Author: Bernhard Steffen, Oliver Rüthing, Malte Isberner (auth.)
Secure Communicating Systems: Design, Analysis, and Implementation
  • DJVU
  • English
  • Year: 2001
  • Author: Michael R. A. Huth
Logic in Computer Science: Modelling and Reasoning about Systems, 2nd Edition
  • PDF
  • English
  • Year: 2004
  • Author: Michael Huth, Mark Ryan
Risikomanagement in der Logistik: Konzepte – Instrumente – Anwendungsbeispiele
  • PDF
  • German
  • Year: 2016
  • Author: Michael Huth, Frank Romeike (eds.)
Tools and Algorithms for the Construction and Analysis of Systems. 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences onTheoryandPracticeofSoftware,ETAPS2007 Braga, Portugal, March 24 -April 1, 2007 Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Orna Grumberg, Michael Huth (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