Browse Results

Showing 9,651 through 9,675 of 55,858 results
Title Author ISBN Copyright Features Action
Computer Aided Systems Theory – EUROCAST 2005: 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers (Lecture Notes in Computer Science #3643) 4690468 Roberto Moreno-Díaz Franz Pichler Alexis Quesada Arencibia 9783540318293 2005
Computer Aided Systems Theory - EUROCAST 2001: A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 19-23, 2001. Revised Papers (Lecture Notes in Computer Science #2178) 4751089 Roberto Moreno-Diaz Bruno Buchberger Jose-Luis Freire 9783540456544 2001
Computer Aided Systems Theory - EUROCAST 2003: 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003, Revised Selected Papers (Lecture Notes in Computer Science #2809) 4610942 Robeto Moreno Diaz Franz Pichler 9783540452102 2003
Computer Aided Systems Theory - EUROCAST'99: A Selection of Papers from the 7th International Workshop on Computer Aided Systems Theory Vienna, Austria, September 29 - October 2, 1999 Proceedings (Lecture Notes in Computer Science #1798) 4690186 Franz Pichler Roberto Moreno-Diaz Peter Kopacek 9783540449317 2000
Computer-Aided Transit Scheduling: Proceedings of the Sixth International Workshop on Computer-Aided Scheduling of Public Transport (Lecture Notes in Economics and Mathematical Systems #430) 4759909 Joachim R. Daduna Isabel Branco Jose M. P. Paixao 9783642577628 1995
Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings (Lecture Notes in Computer Science #3114) 4821977 Rajeev Alur Doron A. Peled 9783540278139 2004
Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings (Lecture Notes in Computer Science #4144) 4813646 Thomas Ball Robert B. Jones 9783540374114 2006
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

Refine Search

Showing 9,651 through 9,675 of 55,858 results