Αποτελέσματα για "abstract interpretation"

Αποτελέσματα για "abstract interpretation" Εμφανίζονται 1 - 50 Αποτελέσματα από 140 Laminas_Feed_Writer 2 (https://getlaminas.org) https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22abstract+interpretation%22&type=AllFields&lng=el 140 0 50 Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I / Thu, 01 Jan 2015 16:21:25 +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 Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings / Thu, 01 Jan 2015 16:21:25 +0200 https://find.library.upatras.gr/Record/978-3-319-22102-1 https://find.library.upatras.gr/Record/978-3-319-22102-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Static Analysis 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings / Fri, 01 Jan 2016 16:21:25 +0200 https://find.library.upatras.gr/Record/978-3-662-53413-7 https://find.library.upatras.gr/Record/978-3-662-53413-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Verification, Model Checking, and Abstract Interpretation 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings / Wed, 01 Jan 2003 16:21:25 +0200 https://find.library.upatras.gr/Record/978-3-540-36384-2 https://find.library.upatras.gr/Record/978-3-540-36384-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 Computer Science Logic 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings / Thu, 01 Jan 2004 16:21:25 +0200 https://find.library.upatras.gr/Record/978-3-540-30124-0 https://find.library.upatras.gr/Record/978-3-540-30124-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2004 0 Logic Programming 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001. Proceedings / Mon, 01 Jan 2001 16:21:25 +0200 https://find.library.upatras.gr/Record/978-3-540-45635-3 https://find.library.upatras.gr/Record/978-3-540-45635-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 0 Correct Hardware Design and Verification Methods 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings / Wed, 01 Jan 2003 16:21:25 +0200 https://find.library.upatras.gr/Record/978-3-540-39724-3 https://find.library.upatras.gr/Record/978-3-540-39724-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 Optimal Interprocedural Program Optimization A New Framework and Its Application / Thu, 01 Jan 1998 16:21:25 +0200 https://find.library.upatras.gr/Record/978-3-540-49639-7 https://find.library.upatras.gr/Record/978-3-540-49639-7 Knoop, Jens Ηλεκτρονική πηγή Ηλ. βιβλίο 1998 Knoop, Jens 0 Programming Languages and Systems 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings / Mon, 01 Jan 2001 16:21:25 +0200 https://find.library.upatras.gr/Record/978-3-540-45309-3 https://find.library.upatras.gr/Record/978-3-540-45309-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 0 Logic for Programming and Automated Reasoning 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings / Sat, 01 Jan 2000 16:21:25 +0200 https://find.library.upatras.gr/Record/978-3-540-44404-6 https://find.library.upatras.gr/Record/978-3-540-44404-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2000 0 Logic for Programming, Artificial Intelligence, and Reasoning 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings / Mon, 01 Jan 2001 16:21:25 +0200 https://find.library.upatras.gr/Record/978-3-540-45653-7 https://find.library.upatras.gr/Record/978-3-540-45653-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 0 Functional and Logic Programming 4th Fuji International Symposium, FLOPS'99 Tsukuba, Japan, November 11-13, 1999 Proceedings / Fri, 01 Jan 1999 16:21:25 +0200 https://find.library.upatras.gr/Record/978-3-540-47950-5 https://find.library.upatras.gr/Record/978-3-540-47950-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 1999 0 Programming Languages and Systems First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003, Proceedings / Wed, 01 Jan 2003 16:21:25 +0200 https://find.library.upatras.gr/Record/978-3-540-40018-9 https://find.library.upatras.gr/Record/978-3-540-40018-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 Practical Aspects of Declarative Languages 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002. Proceedings / Tue, 01 Jan 2002 16:21:25 +0200 https://find.library.upatras.gr/Record/978-3-540-45587-5 https://find.library.upatras.gr/Record/978-3-540-45587-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 0 Static Analysis 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings / Fri, 01 Jan 1999 16:21:25 +0200 https://find.library.upatras.gr/Record/978-3-540-48294-9 https://find.library.upatras.gr/Record/978-3-540-48294-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 1999 0 Static Analysis 5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998, Proceedings / Thu, 01 Jan 1998 16:21:25 +0200 https://find.library.upatras.gr/Record/978-3-540-49727-1 https://find.library.upatras.gr/Record/978-3-540-49727-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 1998 0 Database Theory - ICDT '97 6th International Conference, Delphi, Greece, January 8-10, 1997. Proceedings / Wed, 01 Jan 1997 16:21:25 +0200 https://find.library.upatras.gr/Record/978-3-540-49682-3 https://find.library.upatras.gr/Record/978-3-540-49682-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 1997 0 Formal Methods and Software Engineering 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings / Tue, 01 Jan 2002 16:21:25 +0200 https://find.library.upatras.gr/Record/978-3-540-36103-9 https://find.library.upatras.gr/Record/978-3-540-36103-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 0 Logic Based Program Synthesis and Transformation 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers / Mon, 01 Jan 2001 16:21:25 +0200 https://find.library.upatras.gr/Record/978-3-540-45142-6 https://find.library.upatras.gr/Record/978-3-540-45142-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 0 The Essence of Computation Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones / Tue, 01 Jan 2002 16:21:25 +0200 https://find.library.upatras.gr/Record/978-3-540-36377-4 https://find.library.upatras.gr/Record/978-3-540-36377-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 0 Principles and Practice of Declarative Programming International Conference, PPDP'99, Paris, France, September, 29 - October 1, 1999, Proceedings / Fri, 01 Jan 1999 16:21:25 +0200 https://find.library.upatras.gr/Record/978-3-540-48164-5 https://find.library.upatras.gr/Record/978-3-540-48164-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 1999 0 Verification: Theory and Practice Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday / Wed, 01 Jan 2003 16:21:25 +0200 https://find.library.upatras.gr/Record/978-3-540-39910-0 https://find.library.upatras.gr/Record/978-3-540-39910-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 Verification, Model Checking, and Abstract Interpretation Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers / Tue, 01 Jan 2002 16:21:25 +0200 https://find.library.upatras.gr/Record/978-3-540-47813-3 https://find.library.upatras.gr/Record/978-3-540-47813-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 0 Logic-Based Program Synthesis and Transformation 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers / Sat, 01 Jan 2000 16:21:25 +0200 https://find.library.upatras.gr/Record/978-3-540-45148-8 https://find.library.upatras.gr/Record/978-3-540-45148-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 2000 0 Database Programming Languages 8th International Workshop, DBPL 2001, Frascati, Italy, September 8-10, 2001. Revised Papers / Tue, 01 Jan 2002 16:21:25 +0200 https://find.library.upatras.gr/Record/978-3-540-46093-0 https://find.library.upatras.gr/Record/978-3-540-46093-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 0 Foundations of Software Science and Computation Structures 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings / Mon, 01 Jan 2001 16:21:25 +0200 https://find.library.upatras.gr/Record/978-3-540-45315-4 https://find.library.upatras.gr/Record/978-3-540-45315-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 0 Mathematical Foundations of Computer Science 1998 23rd International Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998 / Thu, 01 Jan 1998 16:21:25 +0200 https://find.library.upatras.gr/Record/978-3-540-68532-6 https://find.library.upatras.gr/Record/978-3-540-68532-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 1998 0 Logic Based Program Synthesis and Transformation 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers / Wed, 01 Jan 2003 16:21:25 +0200 https://find.library.upatras.gr/Record/978-3-540-45013-9 https://find.library.upatras.gr/Record/978-3-540-45013-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 Static Analysis 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001. Proceedings / Mon, 01 Jan 2001 16:21:25 +0200 https://find.library.upatras.gr/Record/978-3-540-47764-8 https://find.library.upatras.gr/Record/978-3-540-47764-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 0 Principles of Declarative Programming 10th International Symposium PLILP'98, Held Jointly with the 6th International Conference ALP'98, Pisa, Italy, September 16-18, 1998 Proceedings / Thu, 01 Jan 1998 16:21:25 +0200 https://find.library.upatras.gr/Record/978-3-540-49766-0 https://find.library.upatras.gr/Record/978-3-540-49766-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 1998 0 Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings / Fri, 01 Jan 2016 16:21:25 +0200 https://find.library.upatras.gr/Record/978-3-662-49122-5 https://find.library.upatras.gr/Record/978-3-662-49122-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Programming Languages and Systems 11th European Symposium on Programming, ESOP 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002. Proceedings / Tue, 01 Jan 2002 16:21:25 +0200 https://find.library.upatras.gr/Record/978-3-540-45927-9 https://find.library.upatras.gr/Record/978-3-540-45927-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 0 Static Analysis 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings / Wed, 01 Jan 2003 16:21:25 +0200 https://find.library.upatras.gr/Record/978-3-540-44898-3 https://find.library.upatras.gr/Record/978-3-540-44898-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 Static Analysis 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000, Proceedings / Sat, 01 Jan 2000 16:21:25 +0200 https://find.library.upatras.gr/Record/978-3-540-45099-3 https://find.library.upatras.gr/Record/978-3-540-45099-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2000 0 Embedded Software Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings / Wed, 01 Jan 2003 16:21:25 +0200 https://find.library.upatras.gr/Record/978-3-540-45212-6 https://find.library.upatras.gr/Record/978-3-540-45212-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 Model Checking Software 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings / Tue, 01 Jan 2002 16:21:25 +0200 https://find.library.upatras.gr/Record/978-3-540-46017-6 https://find.library.upatras.gr/Record/978-3-540-46017-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 0 Research Issues in Structured and Semistructured Database Programming 7th International Workshop on Database Programming Languages, DBPL'99 Kinloch Rannoch, UK, September 1-3, 1999 Revised Papers / Sat, 01 Jan 2000 16:21:25 +0200 https://find.library.upatras.gr/Record/978-3-540-44543-2 https://find.library.upatras.gr/Record/978-3-540-44543-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2000 0 Static Analysis 4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings / Wed, 01 Jan 1997 16:21:25 +0200 https://find.library.upatras.gr/Record/978-3-540-69576-9 https://find.library.upatras.gr/Record/978-3-540-69576-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 1997 0 Analysis and Verification of Multiple-Agent Languages 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers / Wed, 01 Jan 1997 16:21:25 +0200 https://find.library.upatras.gr/Record/978-3-540-68052-9 https://find.library.upatras.gr/Record/978-3-540-68052-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 1997 0 Process Algebra and Probabilistic Methods: Performance Modeling and Verification Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings / Tue, 01 Jan 2002 16:21:25 +0200 https://find.library.upatras.gr/Record/978-3-540-45605-6 https://find.library.upatras.gr/Record/978-3-540-45605-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 0 Static Analysis 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings / Tue, 01 Jan 2002 16:21:25 +0200 https://find.library.upatras.gr/Record/978-3-540-45789-3 https://find.library.upatras.gr/Record/978-3-540-45789-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 0 Programming Languages: Implementations, Logics, and Programs 9th International Symposium, PLILP '97, Including a Special Track on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997. Proceedings / Wed, 01 Jan 1997 16:21:25 +0200 https://find.library.upatras.gr/Record/978-3-540-69537-0 https://find.library.upatras.gr/Record/978-3-540-69537-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 1997 0 Implementation of Functional Languages 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Papers / Wed, 01 Jan 2003 16:21:25 +0200 https://find.library.upatras.gr/Record/978-3-540-44854-9 https://find.library.upatras.gr/Record/978-3-540-44854-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 Algebraic Methodology and Software Technology 6th International Conference, AMAST '97, Sydney, Australia, Dezember 13-17, 1997. Proceedings / Wed, 01 Jan 1997 16:21:25 +0200 https://find.library.upatras.gr/Record/978-3-540-69661-2 https://find.library.upatras.gr/Record/978-3-540-69661-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 1997 0 Algebraic Methodology and Software Technology 7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999, Proceedings / Fri, 01 Jan 1999 16:21:25 +0200 https://find.library.upatras.gr/Record/978-3-540-49253-5 https://find.library.upatras.gr/Record/978-3-540-49253-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 1999 0 Informatics 10 Years Back. 10 Years Ahead / Mon, 01 Jan 2001 16:21:25 +0200 https://find.library.upatras.gr/Record/978-3-540-44577-7 https://find.library.upatras.gr/Record/978-3-540-44577-7 Wilhelm, Reinhard Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 Wilhelm, Reinhard 0 Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings / Fri, 01 Jan 2016 16:21:25 +0200 https://find.library.upatras.gr/Record/978-3-319-41591-8 https://find.library.upatras.gr/Record/978-3-319-41591-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings / Fri, 01 Jan 2016 16:21:25 +0200 https://find.library.upatras.gr/Record/978-3-319-33951-1 https://find.library.upatras.gr/Record/978-3-319-33951-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Η (ανα)συγκρότηση της επιστημονικής γνώσης στο σχολείο : κοινωνιογλωσσολογική ανάλυση εκπαιδευτικών πρακτικών Fri, 01 Jan 2016 16:21:25 +0200 https://find.library.upatras.gr/Record/nemertes-10889-9269 https://find.library.upatras.gr/Record/nemertes-10889-9269 Μανιού, Ειρήνη Thesis 2016 Μανιού, Ειρήνη 0 «Από την πραγματικότητα στην αλήθεια» : κριτικές αναπαραστάσεις και υποκριτική στον ανεξάρτητο ελληνικό κινηματογράφο. Μελέτες περίπτωσης 1968–2018 Sat, 01 Jan 2022 16:21:25 +0200 https://find.library.upatras.gr/Record/nemertes-10889-24009 https://find.library.upatras.gr/Record/nemertes-10889-24009 Λυκουργιώτη, Ασπασία 2022 Λυκουργιώτη, Ασπασία 0