|
Verification, Model Checking, and Abstract Interpretation
|
Ranjit JhalaDavid Schmidt |
Springer |
_ |
2011 |
|
|
Verification, Model Checking, and Abstract Interpretation
|
Gilles BartheManuel Hermenegildo |
Springer |
_ |
2010 |
|
|
Verification, Model Checking, and Abstract Interpretation
|
E. Allen EmersonKedar S. Namjoshi |
Springer |
_ |
2006 |
|
|
Verification: Theory and Practice
|
Nachum Dershowitz |
Springer |
_ |
2003 |
|
|
Verified Software: Theories, Tools, Experiments
|
Bertrand MeyerJim Woodcock |
Springer |
_ |
2008 |
|
|
Verified Software: Theories, Tools, Experiments
|
Rajeev JoshiPeter M�llerAndreas Podelski |
Springer |
9783642277054 |
2012 |
|
|
Verified Software: Theories, Tools, Experiments
|
Natarajan ShankarJim Woodcock |
Springer |
_ |
2008 |
|
|
Verified Software: Theories, Tools, Experiments
|
Gary T. LeavensPeter O�HearnSriram K. Rajamani |
Springer |
_ |
2010 |
|
|
Verifying Concurrent Processes Using Temporal Logic
|
Brent T. Hailpern |
Springer |
_ |
1982 |
|
|
VHDL-2008
|
Peter J. Ashenden and Jim Lewis |
Elsevier |
9780123742490 |
2008 |
|
|
Video Over IP (Second Edition)
|
Wes Simpson |
Elsevier |
9780240810843 |
2008 |
|
|
Video Processing and Computational Video
|
Daniel CremersMarcus MagnorMartin R. OswaldLihi Zelnik-Manor |
Springer |
_ |
2011 |
|
|
View Synthesis Using Stereo Vision
|
Daniel Scharstein |
Springer |
_ |
1999 |
|
|
Viral Genome Replication
|
Kevin D. RaneyMatthias GotteCraig E. Cameron |
Springer |
9780387894560 |
2009 |
|
|
Viral Proteases and Antiviral Protease Inhibitor Therapy
|
Uwe LendeckelNigel M. Hooper |
Springer |
9789048123483 |
2009 |
|
|
Virtual and Mixed Reality
|
Randall Shumaker |
Springer |
9783642027710 |
2009 |
|
|
Virtual and Mixed Reality - New Trends
|
Randall Shumaker |
Springer |
_ |
2011 |
|
|
Virtual and Mixed Reality - Systems and Applications
|
Randall Shumaker |
Springer |
_ |
2011 |
|
|
Virtual Colonoscopy and Abdominal Imaging. Computational Challenges and Clinical Opportunities
|
Hiroyuki YoshidaWenli Cai |
Springer |
_ |
2011 |
|
|
Virtual Reality
|
Randall Shumaker |
Springer |
_ |
2007 |
|
|
Virtual Storytelling Using Virtual Reality Technologies for Storytelling
|
Olivier BaletG�rard SubsolPatrice Torguet |
Springer |
_ |
2001 |
|
|
Virtual Storytelling. Using Virtual Reality Technologies for Storytelling
|
Marc CavazzaSt�phane Donikian |
Springer |
_ |
2007 |
|
|
Virtual Storytelling. Using Virtual Reality Technologies for Storytelling
|
G�rard Subsol |
Springer |
_ |
2005 |
|
|
Virtual Storytelling. Using Virtual RealityTechnologies for Storytelling
|
Olivier BaletG�rard SubsolPatrice Torguet |
Springer |
_ |
2003 |
|
|
Virtual Systems and Multimedia
|
Theodor G. WyeldSarah KenderdineMichael Docherty |
Springer |
_ |
2008 |
|