Home Advanced Search

Advanced Search - Page 1

Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Krishnendu Chatterjee, Thomas A. Henzinger (auth.), Ahmed Bouajjani, Wei-Ngan Chin (eds.)
Mathematical Foundations of Computer Science 2013: 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Sam Buss (auth.), Krishnendu Chatterjee, Jirí Sgall (eds.)
Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Rachid Guerraoui, Michał Kapałka (auth.), Ahmed Bouajjani, Oded Maler (eds.)
Networked Systems: Third International Conference, NETYS 2015, Agadir, Morocco, May 13–15, 2015, Revised Selected Papers
  • PDF
  • English
  • Year: 2015
  • Author: Ahmed Bouajjani, Hugues Fauconnier (eds.)
Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Krishnendu Chatterjee, Laurent Doyen (auth.), Christian G. Fermüller, Andrei Voronkov (eds.)
Fundamentals of Computation Theory: 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Ahmed Bouajjani, Peter Habermehl, Yan Jurski, Mihaela Sighireanu (auth.), Erzsébet Csuhaj-Varjú, Zoltán Ésik (eds.)
Model Driven Engineering Languages and Systems: 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30–October 5, 2012. Proceedings
  • DJVU
  • English
  • Year: 2012
  • Author: Thomas A. Henzinger (auth.), Robert B. France, Jürgen Kazmeier, Ruth Breu, Colin Atkinson (eds.)
Video Segmentation and Its Applications
  • PDF
  • English
  • Year: 2011
  • Author: Hongliang Li, King Ngi Ngan (auth.), King Ngi Ngan, Hongliang Li (eds.)
Advanced Video Coding: Principles and Techniques
  • PDF
  • English
  • Year: 1999
  • Author: King N. Ngan, Thomas Meier and Douglas Chai (Eds.)
Handbook of model checking
  • PDF
  • English
  • Year: 2018
  • Author: Bloem, Roderick; Clarke, Edmund M.; Henzinger, Thomas A.; Veith, Helmut et al. (eds.)
search