Home Advanced Search

Advanced Search - Page 1

Theoretische Informatik: Eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen
  • PDF
  • German
  • Year: 2002
  • Author: Alexander Asteroth, Christel Baier
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.)
Principles of Model Checking
  • PDF
  • English
  • Year: 2008
  • Author: Christel Baier, Joost-Pieter Katoen
Principles of Model Checking
  • PDF
  • English
  • Year: 2008
  • Author: Christel Baier, Joost-Pieter Katoen
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.)
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.)
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.)
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.)
Principles of Model Checking
  • PDF
  • English
  • Year: 2008
  • Author: Christel Baier, Joost-Pieter Katoen, Kim Guldstrand Larsen
Coordination Models and Languages: 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006. Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Christel Baier, Verena Wolf (auth.), Paolo Ciancarini, Herbert Wiklicky (eds.)
search