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 /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Nieuwenhuis, Robert (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003.
Έκδοση:	1st ed. 2003.
Σειρά:	Lecture Notes in Computer Science, 2706
Θέματα:	Programming languages (Electronic computers). Computer science. Programming Languages, Compilers, Interpreters. Computer Science, general.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

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

Static Analysis 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings /
Έκδοση: (2003)

Rewriting Techniques and Applications 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings /
Έκδοση: (1997)

Abstract State Machines 2003: Advances in Theory and Practice 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings /
Έκδοση: (2003)

CASL Reference Manual The Complete Documentation of the Common Algebraic Specification Language /
Έκδοση: (2004)

Rewriting Techniques and Applications 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001. Proceedings /
Έκδοση: (2001)

Rewriting Techniques and Applications 10th International Conference, RTA'99, Trento, Italy, July 2-4, 1999, Proceedings /
Έκδοση: (1999)

Rewriting Techniques and Applications 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 Proceedings /
Έκδοση: (2000)

Practical Aspects of Declarative Languages 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002. Proceedings /
Έκδοση: (2002)

Rewriting Techniques and Applications 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings /
Έκδοση: (1998)

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

Verification, Model Checking, and Abstract Interpretation Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers /
Έκδοση: (2002)

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

Java APIs, Extensions and Libraries With JavaFX, JDBC, jmod, jlink, Networking, and the Process API /
ανά: Sharan, Kishori, κ.ά.
Έκδοση: (2018)

Typed Lambda Calculi and Applications 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings /
Έκδοση: (2003)

Computing and Software Science State of the Art and Perspectives /
Έκδοση: (2019)

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

CONCUR 2003 - Concurrency Theory 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings /
Έκδοση: (2003)

Practical Aspects of Declarative Languages 5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings /
Έκδοση: (2003)

STACS 97 14th Annual Symposium on Theoretical Aspects of Computer Science, Lübeck, Germany, February 27 - March 1, 1997 Proceedings /
Έκδοση: (1997)

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

Inductive Logic Programming 13th International Conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003, Proceedings /
Έκδοση: (2003)

Practical JSF in Java EE 8 Web Applications in Java for the Enterprise /
ανά: Müller, Michael, κ.ά.
Έκδοση: (2018)

Extreme Programming and Agile Methods - XP/Agile Universe 2003 Third XP and Second Agile Universe Conference, New Orleans, LA, USA, August 10-13, 2003, Proceedings /
Έκδοση: (2003)

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

Mathematical Foundations of Computer Science 2003 28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003, Proceedings /
Έκδοση: (2003)

Practical Android 14 Complete Projects on Advanced Techniques and Approaches /
ανά: Wickham, Mark, κ.ά.
Έκδοση: (2018)

Practical MATLAB With Modeling, Simulation, and Processing Projects /
ανά: Turk, Irfan, κ.ά.
Έκδοση: (2019)

Middleware 2003 ACM/IFIP/USENIX International Middleware Conference, Rio de Janeiro, Brazil, June 16-20, 2003, Proceedings /
Έκδοση: (2003)

Extreme Programming and Agile Processes in Software Engineering 4th International Conference, XP 2003, Genova, Italy, May 25-29, 2003, Proceedings /
Έκδοση: (2003)

UML 2003 -- The Unified Modeling Language, Modeling Languages and Applications 6th International Conference San Francisco, CA, USA, October 20-24, 2003, Proceedings /
Έκδοση: (2003)

Learn Java with Math Using Fun Projects and Games /
ανά: Dai, Ron, κ.ά.
Έκδοση: (2019)

Functional Interfaces in Java Fundamentals and Examples /
ανά: Lecessi, Ralph, κ.ά.
Έκδοση: (2019)

Beginning Spring 5 From Novice to Professional /
ανά: Ottinger, Joseph B., κ.ά.
Έκδοση: (2019)

Python Descriptors Understanding and Using the Descriptor Protocol /
ανά: Zimmerman, Jacob, κ.ά.
Έκδοση: (2018)

Java for Absolute Beginners Learn to Program the Fundamentals the Java 9+ Way /
ανά: Cosmina, Iuliana, κ.ά.
Έκδοση: (2018)

Eclipse TEA Revealed Building Plug-ins and Creating Extensions for Eclipse /
ανά: Duft, Markus, κ.ά.
Έκδοση: (2018)

Reactive Streams in Java Concurrency with RxJava, Reactor, and Akka Streams /
ανά: Davis, Adam L., κ.ά.
Έκδοση: (2019)

Java Design Patterns A Hands-On Experience with Real-World Examples /
ανά: Sarcar, Vaskaran, κ.ά.
Έκδοση: (2019)

Pro JPA 2 in Java EE 8 An In-Depth Guide to Java Persistence APIs /
ανά: Keith, Mike, κ.ά.
Έκδοση: (2018)

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