Browse Results

Showing 9,176 through 9,200 of 63,700 results
Title Author ISBN Copyright Features Action
Computer Aided Verification: 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings (Lecture Notes in Computer Science #2102) 4828462 Gerard Berry Hubert Comon Alain Finkel 9783540445852 2001
Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings (Lecture Notes in Computer Science #8559) 2811166 Armin Biere Roderick Bloem 9783319088679 2014
Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings (Lecture Notes in Computer Science #5643) 4773049 Ahmed Bouajjani Oded Maler 9783642026584 2009
Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings (Lecture Notes in Computer Science #2404) 4589945 Ed Brinksma Kim G. Larsen 9783540456575 2002
Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I (Lecture Notes in Computer Science #9779) 2848204 Swarat Chaudhuri Azadeh Farzan 9783319415284 2016 Contains images
Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II (Lecture Notes in Computer Science #9780) 2848208 Swarat Chaudhuri Azadeh Farzan 9783319415406 2016 Contains images
Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II (Lecture Notes in Computer Science #10982) 2266812 Hana Chockler Georg Weissenbacher 9783319961422 2018 Contains images
Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I (Lecture Notes in Computer Science #10981) 2266818 Hana Chockler Georg Weissenbacher 9783319961453 2018 Contains images
Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings (Lecture Notes in Computer Science #4590) 4663927 Werner Damm Holger Hermanns 9783540733683 2007
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

Refine Search

Showing 9,176 through 9,200 of 63,700 results