Compiler Construction 12th International Conference, CC 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings /

Compiler Construction 12th International Conference, CC 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings /

This book constitutes the refereed proceedings of the 12th International Conference on Compiler Construction, CC 2003, held in Warsaw, Poland, in April 2003. The 20 revised full regular papers and one tool demonstration paper presented together with two invited papers were carefully reviewed and se...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Hedin, Görel (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003.
Έκδοση:	1st ed. 2003.
Σειρά:	Lecture Notes in Computer Science, 2622
Θέματα:	Programming languages (Electronic computers). Software engineering. Computer logic. Mathematical logic. Artificial intelligence. Programming Languages, Compilers, Interpreters. Software Engineering. Logics and Meanings of Programs. Mathematical Logic and Formal Languages. Artificial Intelligence.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

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 /
Έκδοση: (2002)

Compiler Construction 7th International Conference, CC'98, Held as part of the European Joint Conferences on the Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998 Proceedings /
Έκδοση: (1998)

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 /
ανά: Wilhelm, Reinhard, κ.ά.
Έκδοση: (2001)

Compiler Construction 8th International Conference, CC'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings /
Έκδοση: (1999)

Principles and Practice of Constraint Programming - CP97 Third International Conference, CP97, Linz, Austria, October 29 - November 1, 1997 /
Έκδοση: (1997)

Principles and Practice of Constraint Programming - CP98 4th International Conference, CP98, Pisa, Italy, October 26-30, 1998, Proceedings /
Έκδοση: (1998)

Principles and Practice of Constraint Programming - CP 2004 10th International Conference, CP 2004, Toronto, Canada, September 27 - October 2004, Proceedings /
Έκδοση: (2004)

Principles and Practice of Constraint Programming - CP 2001 7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings /
Έκδοση: (2001)

Principles and Practice of Constraint Programming - CP 2002 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings /
Έκδοση: (2002)

Principles and Practice of Constraint Programming - CP 2003 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings /
Έκδοση: (2003)

Logic for Programming, Artificial Intelligence, and Reasoning 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings /
Έκδοση: (2003)

Logic-Based Program Synthesis and Transformation 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers /
Έκδοση: (2018)

Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers /
Έκδοση: (2019)

Multi-Agent Systems 16th European Conference, EUMAS 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers /
Έκδοση: (2019)

Theoretical Aspects of Computing - ICTAC 2018 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings /
Έκδοση: (2018)

Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings /
Έκδοση: (2018)

Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings /
Έκδοση: (2018)

Theorem Proving in Higher Order Logics 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings /
Έκδοση: (2003)

Theorem Proving in Higher Order Logics 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings /
Έκδοση: (2000)

Theorem Proving in Higher Order Logics 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings /
Έκδοση: (2001)

Types for Proofs and Programs International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers /
Έκδοση: (2004)

Logical Foundations of Computer Science International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings /
Έκδοση: (2018)

Formal Methods - The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings /
Έκδοση: (2019)

From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday /
Έκδοση: (2019)

Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings /
Έκδοση: (2019)

Automated Deduction - CADE-16 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings /
Έκδοση: (1999)

Logic for Programming, Artificial Intelligence, and Reasoning 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings /
Έκδοση: (2001)

Compiler Construction 9th International Conference, CC 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings /
Έκδοση: (2000)

Automated Deduction - CADE-19 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings /
Έκδοση: (2003)

Types for Proofs and Programs International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers /
Έκδοση: (1998)

Abstraction, Reformulation, and Approximation 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26-29, 2000 Proceedings /
Έκδοση: (2000)

FME 2003: Formal Methods International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings /
Έκδοση: (2003)

Rewriting Techniques and Applications 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 Proceedings /
Έκδοση: (2002)

Scalable Uncertainty Management 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings /
Έκδοση: (2018)

Principles and Practice of Constraint Programming - CP 2000 6th International Conference, CP 2000 Singapore, September 18-21, 2000 Proceedings /
Έκδοση: (2000)

Inductive Logic Programming 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers /
Έκδοση: (2018)

Theorem Proving in Higher Order Logics 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings /
Έκδοση: (1998)

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 /
Έκδοση: (1998)

Automated Reasoning with Analytic Tableaux and Related Methods International Conference, TABLEAUX 2002. Copenhagen, Denmark, July 30 - August 1, 2002. Proceedings /
Έκδοση: (2002)

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 /
Έκδοση: (1997)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών