Bernhard Steffen

Books by Bernhard Steffen

Total count: 36

• Eine Methode zur Behandlung von potentialtheoretischen Problemen mit freiem Rand mit Hilfe der nichtlinearen Optimierung

  1975-01-01
• Abstrakte Interpretationen beim Optimieren von ProgrammlaufzeitenEin Optimalitätskonzept und seine Anwendung

  1987-01-01
• Optimal Data Flow Analysis via Obserrational Equivalence.

  University of Edinburgh Laboratory forFoundations of Computer Science1989-01-01
• Characteristic Formulae for CCS with Divergence.

  University of Edinburgh, Laboratory for Foundations of Computer Science1989-01-01
• Finite constantsCharacterization of a new decidable set of constants

  University of Edinburgh, Laboratory for Foundations of Computer Science1989-01-01
• 
  Tools and Algorithms for the Construction and Analysis of Systems4th International Conference, TACAS'98, Held as Part of the Joint European Conferences ... (Lecture Notes in Computer Science)1 edition

  Springer1998-03-18
• Correct System DesignRecent Insights and Advances

  Springer London, Limited2003-01-01
• Leveraging Applications of Formal MethodsFirst International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers

  Springer London, Limited2006-01-01
• Leveraging Applications of Formal Methods, Verification and ValidationThird International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings

  Springer London, Limited2008-01-01
• Leveraging Applications of Formal Methods, Verification, and ValidationInternational Workshops, SARS 2011 and MLSC 2011, Held under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers

  Springer2012-01-01
• Grundlagen der Höheren InformatikInduktives Vorgehen

  Springer Vieweg. in Springer Fachmedien Wiesbaden GmbH2013-01-01
• Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I

  Springer Berlin / Heidelberg2014-01-01
• Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II

  Springer Berlin / Heidelberg2014-01-01
• Leveraging Applications of Formal Methods, Verification and Validation : Discussion, Dissemination, Applications7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

  Springer2016-01-01
• Leveraging Applications of Formal Methods, Verification and Validation : Foundational Techniques7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I

  Springer2016-01-01
• 
  Transactions on Foundations for Mastering Change I

  Springer2016-09-30
• 
  SOFSEM 2017 : Theory and Practice of Computer Science43rd International Conference on Current Trends in Theory and Practice of Computer Science, ...

  Springer2017-01-11
• Leveraging Applications of Formal Methods, Verification and Validation. Verification8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

  Springer International Publishing AG2018-01-01
• Karten Von MykenaiAuf Veranlassung des Deutschen Archäologischen Instituts Aufgenommen und Mit Erläuterndem Text

  Creative Media Partners, LLC2018-01-01
• 
  Mathematical Foundations of Advanced Informatics : Volume 1Inductive Approaches

  Springer2018-03-21
and 16 more