Browse Results

Showing 9,151 through 9,175 of 63,454 results
Title Author ISBN Copyright Features Action
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

Refine Search

Showing 9,151 through 9,175 of 63,454 results