Home Advanced Search

Advanced Search - Page 1

Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Radhia Cousot (auth.), Francesco Logozzo, Doron A. Peled, Lenore D. Zuck (eds.)
Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Radhia Cousot (auth.), Francesco Logozzo, Doron A. Peled, Lenore D. Zuck (eds.)
Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003 NewYork, NY, USA, January 9–11, 2003 Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Andreas Podelski (auth.), Lenore D. Zuck, Paul C. Attie, Agostino Cortesi, Supratik Mukhopadhyay (eds.)
Smart Card Handbook, Third Edition
  • PDF
  • English
  • Year: 2003
  • Author: Wolfgang Rankl, Wolfgang Effing(auth.)
Smart Card Handbook, Fourth Edition
  • PDF
  • English
  • Year: 2010
  • Author: Wolfgang Rankl, Wolfgang Effing(auth.)