Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II (Lecture Notes in Computer Science #11562)
2695499
|
Isil Dillig
Serdar Tasiran
|
9783030255435 |
2019 |
Contains images
|
|
Computer Aided Verification: 12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings (Lecture Notes in Computer Science #1855)
4809643
|
E. Allen Emerson
A. Prasad Sistla
|
9783540450474 |
2000 |
|
|
Computer Aided Verification: 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings (Lecture Notes in Computer Science #3576)
4828044
|
Kousha Etessami
Sriram K. Rajamani
|
9783540316862 |
2005 |
|
|
Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings (Lecture Notes in Computer Science #6806)
4716355
|
Ganesh Gopalakrishnan
Shaz Qadeer
|
9783642221101 |
2011 |
|
|
Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings (Lecture Notes in Computer Science #5123)
4808347
|
Aarti Gupta
Sharad Malik
|
9783540705451 |
2008 |
|
|
Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings (Lecture Notes in Computer Science #2725)
4718810
|
Warren A. Hunt
Fabio Somenzi
|
9783540450696 |
2003 |
|
|
Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II (Lecture Notes in Computer Science #9207)
2831597
|
Daniel Kroening
Corina S. Păsăreanu
|
9783319216683 |
2015 |
Contains images
|
|
Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I (Lecture Notes in Computer Science #9206)
2831611
|
Daniel Kroening
Corina S. Păsăreanu
|
9783319216904 |
2015 |
Contains images
|
|
Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II (Lecture Notes in Computer Science #10427)
2248235
|
Rupak Majumdar
Viktor Kunčak
|
9783319633909 |
2017 |
Contains images
|
|
Computer Aided Verification: 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings (Lecture Notes in Computer Science #7358)
4681675
|
Madhusudan Parthasarathy
Sanjit A. Seshia
|
9783642314247 |
2012 |
|
|
Computer Aided Verification: 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings (Lecture Notes in Computer Science #1633)
3276268
|
Doron Peled
Nicolas Halbwachs
|
9783540486831 |
1999 |
|
|
Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II (Lecture Notes in Computer Science #12760)
4211597
|
Alexandra Silva
K. Rustan M. Leino
|
9783030816889 |
2021 |
Contains images
|
|
Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I (Lecture Notes in Computer Science #12759)
4216403
|
Alexandra Silva
K. Rustan M. Leino
|
9783030816858 |
2021 |
Contains images
|
|
Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings (Lecture Notes in Computer Science #6174)
4761221
|
Tayssir Touili
Byron Cook
Paul Jackson
|
9783642142956 |
2010 |
|
|
Computer Algebra: Symbolic and Algebraic Computation (Computing Supplementa #4)
4690258
|
R. Albrecht
|
9783709175514 |
1983 |
|
|
Computer Ethics (The International Library of Essays in Public and Professional Ethics)
5401775
|
John Weckert
|
9781351949811 |
2007 |
Contains images
|
|
Computer Ethics (The International Library of Essays in Public and Professional Ethics)
5401821
|
John Weckert
|
9781351949828 |
2007 |
|
|
Computer Logic: Design Principles and Applications
3865720
|
John Y. Hsu
|
9781461300472 |
2002 |
Contains images
|
|
Computer Processing of Oriental Languages. Beyond the Orient: 21st International Conference, ICCPOL 2006, Singapore, December 17-19, 2006, Proceedings (Lecture Notes in Computer Science #4285)
4818297
|
Kam-Fai Wong
Min Zhang
Yuji Matsumoto
Richard Sproat
|
9783540496687 |
2006 |
|
|
Computer Processing of Oriental Languages. Language Technology for the Knowledge-based Economy: 22nd International Conference, ICCPOL 2009, Hong Kong, March 26-27, 2009. Proceedings (Lecture Notes in Computer Science #5459)
4833741
|
Wenjie Li
Diego Mollá-Aliod
|
9783642008313 |
2009 |
|
|
Computer Safety, Reliability, and Security: SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings (Lecture Notes in Computer Science #9923)
2851005
|
Amund Skavhaug
Jérémie Guiochet
Erwin Schoitsch
Friedemann Bitsch
|
9783319454801 |
2016 |
Contains images
|
|
Computer Science: The Hardware, Software and Heart of It
3867707
|
Edward K. Blum and Alfred V. Aho
|
9781461411680 |
2011 |
Contains images
|
|
Computer Science – Theory and Applications: 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings (Lecture Notes in Computer Science #9691)
2846049
|
Alexander S. Kulikov
Gerhard J. Woeginger
|
9783319341712 |
2016 |
Contains images
|
|
Computer Science – Theory and Applications: 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011. Proceedings (Lecture Notes in Computer Science #6651)
4740328
|
Alexander Kulikov
Nikolay Vereshchagin
|
9783642207129 |
2011 |
|
|
Computer Science Logic: 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings (Lecture Notes in Computer Science #2803)
4629480
|
Matthias Baaz
Johann M. Makowsky
|
9783540452201 |
2003 |
|
|