Home Advanced Search

Advanced Search - Page 1

Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Christel Baier (auth.), Dominique Méry, Stephan Merz (eds.)
FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Martín Abadi (auth.), Dimitra Giannakopoulou, Dominique Méry (eds.)
Foundations of Software Science and Computation Structures: Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: Christel Baier, Mariëlle Stoelinga (auth.), Jerzy Tiuryn (eds.)
Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
  • PDF
  • English
  • Year: 2015
  • Author: Christel Baier, Cesare Tinelli (eds.)
Foundations of Health Informatics Engineering and Systems: First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: Dominique Méry, Neeraj Kumar Singh (auth.), Zhiming Liu, Alan Wassyng (eds.)
Foundations of Genetic Algorithms: 8th International Workshop, FOGA 2005, Aizu-Wakamatsu City, Japan, January 5 - 9 , 2005, Revised Selected Papers
  • PDF
  • English
  • Year: 2005
  • Author: Wolfgang Lenders, Christel Baier (auth.), Alden H. Wright, Michael D. Vose, Kenneth A. De Jong, Lothar M. Schmitt (eds.)
Freiheit und Sachzwang: Beiträge zu Ehren Helmut Schelskys
  • PDF
  • German
  • Year: 1977
  • Author: Horst Baier (auth.), Horst Baier (eds.)
Formal Systems Specification: The RPC-Memory Specification Case Study
  • DJVU
  • English
  • Year: 1996
  • Author: Manfred Broy, Leslie Lamport (auth.), Manfred Broy, Stephan Merz, Katharina Spies (eds.)
Formal Systems Specification: The RPC-Memory Specification Case Study
  • PDF
  • English
  • Year: 1996
  • Author: Manfred Broy, Leslie Lamport (auth.), Manfred Broy, Stephan Merz, Katharina Spies (eds.)
Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
  • PDF
  • English
  • Year: 2016
  • Author: Jasmin Christian Blanchette, Stephan Merz (eds.)
search