Home Advanced Search

Advanced Search - Page 1

Wissenschaftliche Veröffentlichungen aus dem Siemens-Konzern: XI. Band Erstes Heft (abgeschlossen am 12. März 1932)
  • PDF
  • German
  • Year: 1932
  • Author: Walter Hähnle (auth.)
Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino
  • PDF
  • English
  • Year: 2007
  • Author: Reiner Hähnle (auth.), Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt (eds.)
Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
  • PDF
  • English
  • Year: 2013
  • Author: Reiner Hähnle (auth.), Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue (eds.)
Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Michael Hennell (auth.), Bernhard Beckert, Reiner Hähnle (eds.)
Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Michael Hennell (auth.), Bernhard Beckert, Reiner Hähnle (eds.)
Wann war Arabien?: Historische Zeiterfahrungen im Kontext einer Forschungsreise (1761-1767)
  • PDF
  • German
  • Year: 2021
  • Author: Mirjam Hähnle
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. 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.)
Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Anders Schack-Nielsen, Carsten Schürmann (auth.), Jürgen Giesl, Reiner Hähnle (eds.)
Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Anders Schack-Nielsen, Carsten Schürmann (auth.), Jürgen Giesl, Reiner Hähnle (eds.)
search