Home Advanced Search

Advanced Search - Page 1

Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: David Basin, Cas Cremers (auth.), Anuj Dawar, Helmut Veith (eds.)
Parameterized and Exact Computation: 5th International Symposium, IPEC 2010, Chennai, India, December 13-15, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Anuj Dawar (auth.), Venkatesh Raman, Saket Saurabh (eds.)
Operational Semantics and Verification of Security Protocols
  • PDF
  • English
  • Year: 2012
  • Author: Cas Cremers, Sjouke Mauw (auth.)
How the World Computes: Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Bahareh Afshari, Michael Rathjen (auth.), S. Barry Cooper, Anuj Dawar, Benedikt Löwe (eds.)
Logic Program Synthesis and Transformation — Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94 Pisa, Italy, June 20–21, 1994 Proceedings
  • DJVU
  • English
  • Year: 1994
  • Author: David A. Basin (auth.), Laurent Fribourg, Franco Turini (eds.)
Logic Program Synthesis and Transformation — Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94 Pisa, Italy, June 20–21, 1994 Proceedings
  • PDF
  • English
  • Year: 1994
  • Author: David A. Basin (auth.), Laurent Fribourg, Franco Turini (eds.)
25 Years of Model Checking: History, Achievements, Perspectives
  • PDF
  • English
  • Year: 2008
  • Author: Edmund M. Clarke (auth.), Orna Grumberg, Helmut Veith (eds.)
25 Years of Model Checking: History, Achievements, Perspectives
  • DJVU
  • English
  • Year: 2008
  • Author: Edmund M. Clarke (auth.), Orna Grumberg, Helmut Veith (eds.)
KI-99: Advances in Artificial Intelligence: 23rd Annual German Conference on Artificial Intelligence Bonn, Germany, September 13–15, 1999 Proceedings
  • PDF
  • English
  • Year: 1999
  • Author: Helmut Willke (auth.), Wolfram Burgard, Armin B. Cremers, Thomas Cristaller (eds.)
Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Laura Kovács, Andrei Voronkov (auth.), Natasha Sharygina, Helmut Veith (eds.)
search