Αποτελέσματα για "program analysis"

Αποτελέσματα για "program analysis" Εμφανίζονται 1 - 50 Αποτελέσματα από 238 Laminas_Feed_Writer 2 (https://getlaminas.org) https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22program+analysis%22&type=AllFields&lng=el 238 0 50 Software Engineering Research, Management and Applications Thu, 01 Jan 2015 00:09:10 +0200 https://find.library.upatras.gr/Record/978-3-319-11265-7 https://find.library.upatras.gr/Record/978-3-319-11265-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Computational Intelligence International Joint Conference, IJCCI 2012 Barcelona, Spain, October 5-7, 2012 Revised Selected Papers / Thu, 01 Jan 2015 00:09:10 +0200 https://find.library.upatras.gr/Record/978-3-319-11271-8 https://find.library.upatras.gr/Record/978-3-319-11271-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers / Thu, 01 Jan 2015 00:09:10 +0200 https://find.library.upatras.gr/Record/978-3-319-17822-6 https://find.library.upatras.gr/Record/978-3-319-17822-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Mathematics of Program Construction 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings / Thu, 01 Jan 2015 00:09:10 +0200 https://find.library.upatras.gr/Record/978-3-319-19797-5 https://find.library.upatras.gr/Record/978-3-319-19797-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Correct System Design Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings / Thu, 01 Jan 2015 00:09:10 +0200 https://find.library.upatras.gr/Record/978-3-319-23506-6 https://find.library.upatras.gr/Record/978-3-319-23506-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I / Fri, 01 Jan 2016 00:09:10 +0200 https://find.library.upatras.gr/Record/978-3-319-47166-2 https://find.library.upatras.gr/Record/978-3-319-47166-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II / Fri, 01 Jan 2016 00:09:10 +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 00:09:10 +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 Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings / Fri, 01 Jan 2016 00:09:10 +0200 https://find.library.upatras.gr/Record/978-3-319-33693-0 https://find.library.upatras.gr/Record/978-3-319-33693-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Reliable Software Technologies - Ada-Europe 2002 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002, Proceedings / Tue, 01 Jan 2002 00:09:10 +0200 https://find.library.upatras.gr/Record/978-3-540-48046-4 https://find.library.upatras.gr/Record/978-3-540-48046-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 0 Languages and Compilers for Parallel Computing 10th International Workshop, LCPC'97, Minneapolis, Minnesota, USA, August 7-9, 1997. Proceedings / Thu, 01 Jan 1998 00:09:10 +0200 https://find.library.upatras.gr/Record/978-3-540-69788-6 https://find.library.upatras.gr/Record/978-3-540-69788-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 1998 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 00:09:10 +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 00:09:10 +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 Based Program Synthesis and Transformation 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers / Tue, 01 Jan 2002 00:09:10 +0200 https://find.library.upatras.gr/Record/978-3-540-45607-0 https://find.library.upatras.gr/Record/978-3-540-45607-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 0 Combinatorial Pattern Matching 8th Annual Symposium, CPM 97, Aarhus, Denmark, June/July 1997. Proceedings / Wed, 01 Jan 1997 00:09:10 +0200 https://find.library.upatras.gr/Record/978-3-540-69214-0 https://find.library.upatras.gr/Record/978-3-540-69214-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 1997 0 Logic for Programming, Artificial Intelligence, and Reasoning 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings / Mon, 01 Jan 2001 00:09:10 +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 Compiler Construction 10th International Conference, CC 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 00:09:10 +0200 https://find.library.upatras.gr/Record/978-3-540-45306-2 https://find.library.upatras.gr/Record/978-3-540-45306-2 Wilhelm, Reinhard Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 Wilhelm, Reinhard 0 Functional and Logic Programming 4th Fuji International Symposium, FLOPS'99 Tsukuba, Japan, November 11-13, 1999 Proceedings / Fri, 01 Jan 1999 00:09:10 +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 MICAI 2000: Advances in Artificial Intelligence Mexican International Conference on Artificial Intelligence Acapulco, Mexico, April 11-14, 2000 Proceedings / Sat, 01 Jan 2000 00:09:10 +0200 https://find.library.upatras.gr/Record/978-3-540-45562-2 https://find.library.upatras.gr/Record/978-3-540-45562-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2000 0 Perspectives of System Informatics 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers / Mon, 01 Jan 2001 00:09:10 +0200 https://find.library.upatras.gr/Record/978-3-540-45575-2 https://find.library.upatras.gr/Record/978-3-540-45575-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 0 Programming Languages and Systems 7th European Symposium on Programming, ESOP'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings / Thu, 01 Jan 1998 00:09:10 +0200 https://find.library.upatras.gr/Record/978-3-540-69722-0 https://find.library.upatras.gr/Record/978-3-540-69722-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 1998 0 Functional and Logic Programming 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001. Proceedings / Mon, 01 Jan 2001 00:09:10 +0200 https://find.library.upatras.gr/Record/978-3-540-44716-0 https://find.library.upatras.gr/Record/978-3-540-44716-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 0 Reliable Software Technologies -- Ada-Europe 2003 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings / Wed, 01 Jan 2003 00:09:10 +0200 https://find.library.upatras.gr/Record/978-3-540-44947-8 https://find.library.upatras.gr/Record/978-3-540-44947-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 Model Checking Software 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings / Mon, 01 Jan 2001 00:09:10 +0200 https://find.library.upatras.gr/Record/978-3-540-45139-6 https://find.library.upatras.gr/Record/978-3-540-45139-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 0 Reliable Software Technologies - Ada-Europe 2001 6th Ada-Europe International Conference on Reliable Software Technologies Leuven, Belgium, May 14-18, 2001 Proceedings / Mon, 01 Jan 2001 00:09:10 +0200 https://find.library.upatras.gr/Record/978-3-540-45136-5 https://find.library.upatras.gr/Record/978-3-540-45136-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 0 Computer Performance Evaluation: Modelling Techniques and Tools Modelling Techniques and Tools. 12th International Conference, TOOLS 2002 London, UK, April 14-17, 2002 Proceedings / Tue, 01 Jan 2002 00:09:10 +0200 https://find.library.upatras.gr/Record/978-3-540-46029-9 https://find.library.upatras.gr/Record/978-3-540-46029-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 0 Static Analysis 5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998, Proceedings / Thu, 01 Jan 1998 00:09:10 +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 Languages and Compilers for Parallel Computing 9th International Workshop, LCPC'96, San Jose, California, USA, August 8-10, 1996, Proceedings / Wed, 01 Jan 1997 00:09:10 +0200 https://find.library.upatras.gr/Record/978-3-540-69128-0 https://find.library.upatras.gr/Record/978-3-540-69128-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 1997 0 SPIN Model Checking and Software Verification 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings / Sat, 01 Jan 2000 00:09:10 +0200 https://find.library.upatras.gr/Record/978-3-540-45297-3 https://find.library.upatras.gr/Record/978-3-540-45297-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2000 0 Interacting Code Motion Transformations: Their Impact and Their Complexity Thu, 01 Jan 1998 00:09:10 +0200 https://find.library.upatras.gr/Record/978-3-540-49209-2 https://find.library.upatras.gr/Record/978-3-540-49209-2 Rüthing, Oliver Ηλεκτρονική πηγή Ηλ. βιβλίο 1998 Rüthing, Oliver 0 Logic Based Program Synthesis and Transformation 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers / Mon, 01 Jan 2001 00:09:10 +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 00:09:10 +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 Compiler Construction 11th International Conference, CC 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 00:09:10 +0200 https://find.library.upatras.gr/Record/978-3-540-45937-8 https://find.library.upatras.gr/Record/978-3-540-45937-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 0 Programming Languages and Systems 12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings / Wed, 01 Jan 2003 00:09:10 +0200 https://find.library.upatras.gr/Record/978-3-540-36575-4 https://find.library.upatras.gr/Record/978-3-540-36575-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 Software Engineering - ESEC/FSE '99 7th European Software Engineering Conference Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Toulouse, France, September 6-10, 1999 Proceedings / Fri, 01 Jan 1999 00:09:10 +0200 https://find.library.upatras.gr/Record/978-3-540-48166-9 https://find.library.upatras.gr/Record/978-3-540-48166-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 1999 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 00:09:10 +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 Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016, Proceedings / Fri, 01 Jan 2016 00:09:10 +0200 https://find.library.upatras.gr/Record/978-3-662-49630-5 https://find.library.upatras.gr/Record/978-3-662-49630-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Formal Methods and Software Engineering 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings / Fri, 01 Jan 2016 00:09:10 +0200 https://find.library.upatras.gr/Record/978-3-319-47846-3 https://find.library.upatras.gr/Record/978-3-319-47846-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Programming Languages and Systems 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings / Fri, 01 Jan 2016 00:09:10 +0200 https://find.library.upatras.gr/Record/978-3-319-47958-3 https://find.library.upatras.gr/Record/978-3-319-47958-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Metalevel Architectures and Separation of Crosscutting Concerns Third International Conference, REFLECTION 2001, Kyoto, Japan, September 25-28, 2001 Proceedings / Mon, 01 Jan 2001 00:09:10 +0200 https://find.library.upatras.gr/Record/978-3-540-45429-8 https://find.library.upatras.gr/Record/978-3-540-45429-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 0 Genetic Programming 6th European Conference, EuroGP 2003, Essex, UK, April 14-16, 2003. Proceedings / Wed, 01 Jan 2003 00:09:10 +0200 https://find.library.upatras.gr/Record/978-3-540-36599-0 https://find.library.upatras.gr/Record/978-3-540-36599-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 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 00:09:10 +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 Programs as Data Objects Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings / Mon, 01 Jan 2001 00:09:10 +0200 https://find.library.upatras.gr/Record/978-3-540-44978-2 https://find.library.upatras.gr/Record/978-3-540-44978-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 0 Static Analysis 4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings / Wed, 01 Jan 1997 00:09:10 +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 00:09:10 +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 Software Engineering - ESEC-FSE '97 6th European Software Engineering Conference Held Jointly with the 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Zürich, Switzerland, September 22-25, 1997. Proceedings / Wed, 01 Jan 1997 00:09:10 +0200 https://find.library.upatras.gr/Record/978-3-540-69592-9 https://find.library.upatras.gr/Record/978-3-540-69592-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 1997 0 Static Analysis 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings / Tue, 01 Jan 2002 00:09:10 +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 Fundamental Approaches to Software Engineering 5th International Conference, FASE 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 00:09:10 +0200 https://find.library.upatras.gr/Record/978-3-540-45923-1 https://find.library.upatras.gr/Record/978-3-540-45923-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 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 00:09:10 +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 Logic Program Synthesis and Transformation 7th International Workshop, LOPSTR '97, Leuven, Belgium, July 10-12, 1997 Proceedings / Thu, 01 Jan 1998 00:09:10 +0200 https://find.library.upatras.gr/Record/978-3-540-49674-8 https://find.library.upatras.gr/Record/978-3-540-49674-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 1998 0