Home Advanced Search

Advanced Search - Page 1

Mathematical Foundations of Computer Science 1996: 21st International Symposium, MFCS'96 Cracow, Poland, September 2–6, 1996 Proceedings
  • PDF
  • English
  • Year: 1996
  • Author: Edmund M. Clarke Jr. (auth.), Wojciech Penczek, Andrzej Szałas (eds.)
Mathematical Foundations of Computer Science 1996: 21st International Symposium, MFCS'96 Cracow, Poland, September 2–6, 1996 Proceedings
  • DJVU
  • English
  • Year: 1996
  • Author: Edmund M. Clarke Jr. (auth.), Wojciech Penczek, Andrzej Szałas (eds.)
Computer-Aided Verification: 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18–21, 1990 Proceedings
  • DJVU
  • English
  • Year: 1991
  • Author: Edmund M. Clarke Jr. (auth.), Edmund M. Clarke, Robert P. Kurshan (eds.)
Transactions on Computational Collective Intelligence XI
  • PDF
  • English
  • Year: 2013
  • Author: Barbara Dunin-Kęplicz, Andrzej Szałas (auth.), Ngoc Thanh Nguyen (eds.)
Rigid Finite Element Method in Analysis of Dynamics of Offshore Structures
  • PDF
  • English
  • Year: 2013
  • Author: Edmund Wittbrodt, Marek Szczotka, Andrzej Maczyński, Stanisław Wojciech (auth.)
Applications and Theory of Petri Nets: 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Gabriel Juhás, Igor Kazlov, Ana Juhásová (auth.), Johan Lilius, Wojciech Penczek (eds.)
Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11–13, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Edmund M. Clarke (auth.), Dragan Bošnački, Stefan Leue (eds.)
25 Years of Model Checking: History, Achievements, Perspectives
  • DJVU
  • English
  • Year: 2008
  • Author: Edmund M. Clarke (auth.), Orna Grumberg, Helmut Veith (eds.)
Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers
  • PDF
  • English
  • Year: 2010
  • Author: Geoff Sutcliffe (auth.), Edmund M. Clarke, Andrei Voronkov (eds.)
25 Years of Model Checking: History, Achievements, Perspectives
  • PDF
  • English
  • Year: 2008
  • Author: Edmund M. Clarke (auth.), Orna Grumberg, Helmut Veith (eds.)
search