[[ This is a content summary only. Visit my website for full links, other content, and more! ]]
Categories
Animal | Application |Art | Artificial Intelligence | Business | Certification | Commerce | Computer - Hardware | Databases | Electronics | Engineering | Grammar | History | Intelligence | Internet | IT - General | Language | Magazine | Medical | Photographic | Networking| Programming | Security | Uncategorized | WWW
Animal | Application |Art | Artificial Intelligence | Business | Certification | Commerce | Computer - Hardware | Databases | Electronics | Engineering | Grammar | History | Intelligence | Internet | IT - General | Language | Magazine | Medical | Photographic | Networking| Programming | Security | Uncategorized | WWW
::The eBooks Web Porch
-
Posted: July 2nd, 2009, 9:20pm CEST
Tags: [edit]
Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings
This book constitutes the refereed proceedings of the 21st...
[[ This is a content summary only. Visit my website for full links, other content, and more! ]]
[[ This is a content summary only. Visit my website for full links, other content, and more! ]]
Full download