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
  • 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.)
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.)
Transactions on Petri Nets and Other Models of Concurrency XII
  • PDF
  • English
  • Year: 2017
  • Author: Maciej Koutny, Jetty Kleijn, Wojciech Penczek (eds.)
Tools for Practical Software Verification: LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures
  • PDF
  • English
  • Year: 2012
  • Author: Edmund M. Clarke, William Klieber (auth.), Bertrand Meyer, Martin Nordio (eds.)
Modification and Blending of Synthetic and Natural Macromolecules
  • PDF
  • English
  • Year: 2004
  • Author: Stanislaw Penczek (auth.), Francesco Ciardelli, Stanislaw Penczek (eds.)
Modification and Blending of Synthetic and Natural Macromolecules
  • PDF
  • English
  • Year: 2004
  • Author: Stanislaw Penczek (auth.), Francesco Ciardelli, Stanislaw Penczek (eds.)
Computer Networks: 20th International Conference, CN 2013, Lwówek Śląski, Poland, June 17-21, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Wojciech Rząsa (auth.), Andrzej Kwiecień, Piotr Gaj, Piotr Stera (eds.)
search