Rewriting Techniques and Applications 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings /

Rewriting Techniques and Applications 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings /

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Nieuwenhuis, Robert (Editor, http://id.loc.gov/vocabulary/relators/edt)
Format:	Electronic eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003.
Edition:	1st ed. 2003.
Series:	Lecture Notes in Computer Science, 2706
Subjects:	Programming languages (Electronic computers). Computer science. Programming Languages, Compilers, Interpreters. Computer Science, general.
Online Access:	Full Text via HEAL-Link

Similar Items

Rewriting Techniques and Applications 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 Proceedings /
Published: (2002)

Static Analysis 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings /
Published: (2003)

Rewriting Techniques and Applications 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings /
Published: (1997)

Abstract State Machines 2003: Advances in Theory and Practice 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings /
Published: (2003)

Rewriting Techniques and Applications 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 Proceedings /
Published: (2000)

Rewriting Techniques and Applications 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001. Proceedings /
Published: (2001)

Rewriting Techniques and Applications 10th International Conference, RTA'99, Trento, Italy, July 2-4, 1999, Proceedings /
Published: (1999)

Rewriting Techniques and Applications 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings /
Published: (1998)

CASL Reference Manual The Complete Documentation of the Common Algebraic Specification Language /
Published: (2004)

Rewriting Logic and Its Applications 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings /
Published: (2018)

Practical Aspects of Declarative Languages 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002. Proceedings /
Published: (2002)

Formal Methods at the Crossroads. From Panacea to Foundational Support 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers /
Published: (2003)

Verification, Model Checking, and Abstract Interpretation Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers /
Published: (2002)

Typed Lambda Calculi and Applications 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings /
Published: (2003)

Java APIs, Extensions and Libraries With JavaFX, JDBC, jmod, jlink, Networking, and the Process API /
by: Sharan, Kishori, et al.
Published: (2018)

CONCUR 2003 - Concurrency Theory 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings /
Published: (2003)

Practical Aspects of Declarative Languages 5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings /
Published: (2003)

FME 2003: Formal Methods International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings /
Published: (2003)

Computing and Software Science State of the Art and Perspectives /
Published: (2019)

Principles and Practice of Constraint Programming - CP 2003 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings /
Published: (2003)

Practical JSF in Java EE 8 Web Applications in Java for the Enterprise /
by: Müller, Michael, et al.
Published: (2018)

Practical Android 14 Complete Projects on Advanced Techniques and Approaches /
by: Wickham, Mark, et al.
Published: (2018)

Middleware 2003 ACM/IFIP/USENIX International Middleware Conference, Rio de Janeiro, Brazil, June 16-20, 2003, Proceedings /
Published: (2003)

Functional Interfaces in Java Fundamentals and Examples /
by: Lecessi, Ralph, et al.
Published: (2019)

Beginning Spring 5 From Novice to Professional /
by: Ottinger, Joseph B., et al.
Published: (2019)

Python Descriptors Understanding and Using the Descriptor Protocol /
by: Zimmerman, Jacob, et al.
Published: (2018)

Java for Absolute Beginners Learn to Program the Fundamentals the Java 9+ Way /
by: Cosmina, Iuliana, et al.
Published: (2018)

Eclipse TEA Revealed Building Plug-ins and Creating Extensions for Eclipse /
by: Duft, Markus, et al.
Published: (2018)

Reactive Streams in Java Concurrency with RxJava, Reactor, and Akka Streams /
by: Davis, Adam L., et al.
Published: (2019)

Java Design Patterns A Hands-On Experience with Real-World Examples /
by: Sarcar, Vaskaran, et al.
Published: (2019)

Pro JPA 2 in Java EE 8 An In-Depth Guide to Java Persistence APIs /
by: Keith, Mike, et al.
Published: (2018)

Learn to Program with Python 3 A Step-by-Step Guide to Programming /
by: Kalb, Irv, et al.
Published: (2018)

Spring Boot 2 Recipes A Problem-Solution Approach /
by: Deinum, Marten, et al.
Published: (2018)

Java XML and JSON Document Processing for Java SE /
by: Friesen, Jeff, et al.
Published: (2019)

Beginning Jakarta EE Enterprise Edition for Java: From Novice to Professional /
by: Späth, Peter, et al.
Published: (2019)

Pro CDI 2 in Java EE 8 An In-Depth Guide to Context and Dependency Injection /
by: Beernink, Jan, et al.
Published: (2019)

Learning Groovy 3 Java-Based Dynamic Scripting /
by: Davis, Adam L., et al.
Published: (2019)

Java 13 Revealed For Early Adoption and Migration /
by: Sharan, Kishori, et al.
Published: (2019)

Clean Python Elegant Coding in Python /
by: Kapil, Sunil, et al.
Published: (2019)

Introduction to Python for Engineers and Scientists Open Source Solutions for Numerical Computation /
by: Nagar, Sandeep, et al.
Published: (2018)

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