Αποτελέσματα για "Computer Aided Verification"

Αποτελέσματα για "Computer Aided Verification" Εμφανίζονται 1 - 48 Αποτελέσματα από 48 Laminas_Feed_Writer 2 (https://getlaminas.org) https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22Computer+Aided+Verification%22&type=AllFields&lng=el 48 0 50 Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II / Thu, 01 Jan 2015 15:27:32 +0200 https://find.library.upatras.gr/Record/978-3-319-21668-3 https://find.library.upatras.gr/Record/978-3-319-21668-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I / Thu, 01 Jan 2015 15:27:32 +0200 https://find.library.upatras.gr/Record/978-3-319-21690-4 https://find.library.upatras.gr/Record/978-3-319-21690-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II / Fri, 01 Jan 2016 15:27:32 +0200 https://find.library.upatras.gr/Record/978-3-319-41540-6 https://find.library.upatras.gr/Record/978-3-319-41540-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I / Fri, 01 Jan 2016 15:27:32 +0200 https://find.library.upatras.gr/Record/978-3-319-41528-4 https://find.library.upatras.gr/Record/978-3-319-41528-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Computer Aided Verification 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings / Tue, 01 Jan 2002 15:27:32 +0200 https://find.library.upatras.gr/Record/978-3-540-45657-5 https://find.library.upatras.gr/Record/978-3-540-45657-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 0 Computer Aided Verification 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings / Mon, 01 Jan 2001 15:27:32 +0200 https://find.library.upatras.gr/Record/978-3-540-44585-2 https://find.library.upatras.gr/Record/978-3-540-44585-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 0 Computer Aided Verification 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings / Fri, 01 Jan 1999 15:27:32 +0200 https://find.library.upatras.gr/Record/978-3-540-48683-1 https://find.library.upatras.gr/Record/978-3-540-48683-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 1999 0 Computer Aided Verification 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings / Wed, 01 Jan 2003 15:27:32 +0200 https://find.library.upatras.gr/Record/978-3-540-45069-6 https://find.library.upatras.gr/Record/978-3-540-45069-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 Computer Aided Verification 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings / Thu, 01 Jan 1998 15:27:32 +0200 https://find.library.upatras.gr/Record/978-3-540-69339-0 https://find.library.upatras.gr/Record/978-3-540-69339-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 1998 0 Computer Aided Verification 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings / Wed, 01 Jan 1997 15:27:32 +0200 https://find.library.upatras.gr/Record/978-3-540-69195-2 https://find.library.upatras.gr/Record/978-3-540-69195-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 1997 0 Computer Aided Verification 12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings / Sat, 01 Jan 2000 15:27:32 +0200 https://find.library.upatras.gr/Record/978-3-540-45047-4 https://find.library.upatras.gr/Record/978-3-540-45047-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2000 0 2020_Book_ComputerAidedVerification.pdf Wed, 01 Jan 2020 15:27:32 +0200 https://find.library.upatras.gr/Record/oapen-20.500.12657-41295 https://find.library.upatras.gr/Record/oapen-20.500.12657-41295 2020 0 978-3-031-13188-2.pdf Sat, 01 Jan 2022 15:27:32 +0200 https://find.library.upatras.gr/Record/oapen-20.500.12657-57931 https://find.library.upatras.gr/Record/oapen-20.500.12657-57931 2022 0 Computer Aided Verification 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings / Thu, 01 Jan 2004 15:27:32 +0200 https://find.library.upatras.gr/Record/978-3-540-27813-9 https://find.library.upatras.gr/Record/978-3-540-27813-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2004 0 978-3-030-81685-8.pdf Fri, 01 Jan 2021 15:27:32 +0200 https://find.library.upatras.gr/Record/oapen-20.500.12657-50428 https://find.library.upatras.gr/Record/oapen-20.500.12657-50428 2021 0 978-3-030-81688-9.pdf Fri, 01 Jan 2021 15:27:32 +0200 https://find.library.upatras.gr/Record/oapen-20.500.12657-50429 https://find.library.upatras.gr/Record/oapen-20.500.12657-50429 2021 0 978-3-031-13185-1.pdf Sat, 01 Jan 2022 15:27:32 +0200 https://find.library.upatras.gr/Record/oapen-20.500.12657-57930 https://find.library.upatras.gr/Record/oapen-20.500.12657-57930 2022 0 Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers / Sun, 01 Jan 2017 15:27:32 +0200 https://find.library.upatras.gr/Record/978-3-319-54292-8 https://find.library.upatras.gr/Record/978-3-319-54292-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 2017 0 25 Years of Model Checking History, Achievements, Perspectives / Tue, 01 Jan 2008 15:27:32 +0200 https://find.library.upatras.gr/Record/978-3-540-69850-0 https://find.library.upatras.gr/Record/978-3-540-69850-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2008 0 Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings / Tue, 01 Jan 2008 15:27:32 +0200 https://find.library.upatras.gr/Record/978-3-540-70545-1 https://find.library.upatras.gr/Record/978-3-540-70545-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 2008 0 Computer Aided Verification 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings / Sun, 01 Jan 2006 15:27:32 +0200 https://find.library.upatras.gr/Record/978-3-540-37411-4 https://find.library.upatras.gr/Record/978-3-540-37411-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2006 0 Computer Aided Verification 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings / Sat, 01 Jan 2011 15:27:32 +0200 https://find.library.upatras.gr/Record/978-3-642-22110-1 https://find.library.upatras.gr/Record/978-3-642-22110-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 2011 0 Implementation and Application of Automata 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011. Proceedings / Sat, 01 Jan 2011 15:27:32 +0200 https://find.library.upatras.gr/Record/978-3-642-22256-6 https://find.library.upatras.gr/Record/978-3-642-22256-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2011 0 Computer Aided Verification 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings / Thu, 01 Jan 2009 15:27:32 +0200 https://find.library.upatras.gr/Record/978-3-642-02658-4 https://find.library.upatras.gr/Record/978-3-642-02658-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2009 0 Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II / Sun, 01 Jan 2017 15:27:32 +0200 https://find.library.upatras.gr/Record/978-3-319-63390-9 https://find.library.upatras.gr/Record/978-3-319-63390-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2017 0 Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I / Sun, 01 Jan 2017 15:27:32 +0200 https://find.library.upatras.gr/Record/978-3-319-63387-9 https://find.library.upatras.gr/Record/978-3-319-63387-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2017 0 Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings / Fri, 01 Jan 2010 15:27:32 +0200 https://find.library.upatras.gr/Record/978-3-642-14295-6 https://find.library.upatras.gr/Record/978-3-642-14295-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2010 0 Implementation and Application of Automata 19th International Conference, CIAA 2014, Giessen, Germany, July 30 – August 2, 2014. Proceedings / Wed, 01 Jan 2014 15:27:32 +0200 https://find.library.upatras.gr/Record/978-3-319-08846-4 https://find.library.upatras.gr/Record/978-3-319-08846-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2014 0 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 / Wed, 01 Jan 2014 15:27:32 +0200 https://find.library.upatras.gr/Record/978-3-319-08867-9 https://find.library.upatras.gr/Record/978-3-319-08867-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2014 0 Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers / Wed, 01 Jan 2014 15:27:32 +0200 https://find.library.upatras.gr/Record/978-3-319-12154-3 https://find.library.upatras.gr/Record/978-3-319-12154-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2014 0 Computer Aided Verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings / Sat, 01 Jan 2005 15:27:32 +0200 https://find.library.upatras.gr/Record/978-3-540-31686-2 https://find.library.upatras.gr/Record/978-3-540-31686-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2005 0 Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings / Mon, 01 Jan 2007 15:27:32 +0200 https://find.library.upatras.gr/Record/978-3-540-73368-3 https://find.library.upatras.gr/Record/978-3-540-73368-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2007 0 Formal Methods for Industrial Critical Systems 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers / Tue, 01 Jan 2008 15:27:32 +0200 https://find.library.upatras.gr/Record/978-3-540-79707-4 https://find.library.upatras.gr/Record/978-3-540-79707-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2008 0 Numerical Software Verification 12th International Workshop, NSV 2019, New York City, NY, USA, July 13-14, 2019, Proceedings / Tue, 01 Jan 2019 15:27:32 +0200 https://find.library.upatras.gr/Record/978-3-030-28423-7 https://find.library.upatras.gr/Record/978-3-030-28423-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 2019 0 2020_Book_ComputerAidedVerification.pdf Wed, 01 Jan 2020 15:27:32 +0200 https://find.library.upatras.gr/Record/oapen-20.500.12657-41296 https://find.library.upatras.gr/Record/oapen-20.500.12657-41296 2020 0 Handbook of Model Checking Mon, 01 Jan 2018 15:27:32 +0200 https://find.library.upatras.gr/Record/978-3-319-10575-8 https://find.library.upatras.gr/Record/978-3-319-10575-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 2018 0 Implementation and Application of Automata 15th International Conference, CIAA 2010, Winnipeg, MB, Canada, August 12-15, 2010. Revised Selected Papers / Sat, 01 Jan 2011 15:27:32 +0200 https://find.library.upatras.gr/Record/978-3-642-18098-9 https://find.library.upatras.gr/Record/978-3-642-18098-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2011 0 Computer Aided Verification 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings / Sun, 01 Jan 2012 15:27:32 +0200 https://find.library.upatras.gr/Record/978-3-642-31424-7 https://find.library.upatras.gr/Record/978-3-642-31424-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 2012 0 Computer Aided Verification 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings / Tue, 01 Jan 2013 15:27:32 +0200 https://find.library.upatras.gr/Record/978-3-642-39799-8 https://find.library.upatras.gr/Record/978-3-642-39799-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 2013 0 978-3-031-37703-7.pdf Sun, 01 Jan 2023 15:27:32 +0200 https://find.library.upatras.gr/Record/oapen-20.500.12657-75410 https://find.library.upatras.gr/Record/oapen-20.500.12657-75410 2023 0 1006838.pdf Wed, 01 Jan 2020 15:27:32 +0200 https://find.library.upatras.gr/Record/oapen-20.500.12657-23317 https://find.library.upatras.gr/Record/oapen-20.500.12657-23317 2020 0 1006830.pdf Wed, 01 Jan 2020 15:27:32 +0200 https://find.library.upatras.gr/Record/oapen-20.500.12657-23325 https://find.library.upatras.gr/Record/oapen-20.500.12657-23325 2020 0 1006831.pdf Wed, 01 Jan 2020 15:27:32 +0200 https://find.library.upatras.gr/Record/oapen-20.500.12657-23324 https://find.library.upatras.gr/Record/oapen-20.500.12657-23324 2020 0 978-3-031-37706-8.pdf Sun, 01 Jan 2023 15:27:32 +0200 https://find.library.upatras.gr/Record/oapen-20.500.12657-75412 https://find.library.upatras.gr/Record/oapen-20.500.12657-75412 2023 0 978-3-031-37709-9.pdf Sun, 01 Jan 2023 15:27:32 +0200 https://find.library.upatras.gr/Record/oapen-20.500.12657-75413 https://find.library.upatras.gr/Record/oapen-20.500.12657-75413 2023 0 1006839.pdf Wed, 01 Jan 2020 15:27:32 +0200 https://find.library.upatras.gr/Record/oapen-20.500.12657-23316 https://find.library.upatras.gr/Record/oapen-20.500.12657-23316 2020 0 Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings Fri, 01 Jan 2010 15:27:32 +0200 https://find.library.upatras.gr/Record/68347 https://find.library.upatras.gr/Record/68347 Touili, Tayssir Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο 2010 Touili, Tayssir 0 Computer-aided verification Proceedings.2nd International Conference, CAV'90 New Brunswick,NJ, June 18-21,1990 Tue, 01 Jan 1991 15:27:32 +0200 https://find.library.upatras.gr/Record/89613 https://find.library.upatras.gr/Record/89613 Βιβλίο 1991 0