Title: Implementation of Functional Languages: 13th International Workshop, IFL 2001 Stockholm, Sweden, September 24-26, 2001 Selected Papers, Author: Thomas Arts
Title: Extreme Programming and Agile Methods - XP/Agile Universe 2002: Second XP Universe and First Agile Universe Conference Chicago, IL, USA, August 4-7, 2002.Proceedings, Author: Don Wells
Title: Grammatical Inference: Algorithms and Applications: 8th International Colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006, Proceedings, Author: Yasibumi Sakaibara
Title: TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989: Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in A, Author: Josep Diaz
Title: Algebraic Methods: Theory, Tools and Applications, Author: Martin Wirsing
Title: Programming Language Implementation and Logic Programming: 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991. Proceedings, Author: Jan Maluszynski
Title: ECOOP '92. European Conference on Object-Oriented Programming: Utrecht, The Netherlands, June 29 - July 3, 1992. Proceedings, Author: Ole Lehrmann Madsen
Title: Programming Languages and Systems - ESOP '94: 5th European Symposium on Programming, Edinburgh, U.K., April 11 - 13, 1994. Proceedings, Author: Donald Sannella
Title: Closed Object Boundaries from Scattered Points, Author: Remco C. Veltkamp
Title: Modelling and Graphics in Science and Technology, Author: Jose Teixeira
Title: Principles and Practice of Constraint Programming - CP '95: First International Conference, CP '95, Cassis, France, September 19 - 22, 1995. Proceedings, Author: Ugo Montanari
Title: Algorithmic Learning Theory: 6th International Workshop, ALT '95, Fukuoka, Japan, October 18 - 20, 1995. Proceedings, Author: Klaus P. Jantke
Title: Spatial Representation and Motion Planning, Author: Angel P. del Pobil
Title: Advances in Cryptology - CRYPTO '96: 16th Annual International Cryptology Conference, Santa Barbara, California, USA, August 18-22, 1996, Proceedings, Author: Neal Koblitz
Title: Advanced Information Systems Engineering: 11th International Conference, CAiSE'99, Heidelberg, Germany, June 14-18, 1999, Proceedings, Author: Matthias Jarke
Title: Algorithmic Learning Theory: 10th International Conference, ALT '99 Tokyo, Japan, December 6-8, 1999 Proceedings, Author: Osamu Watanabe
Title: Integrated Spatial Databases: Digital Images and GIS: International Workshop ISD'99 Portland, ME, USA, June 14-16, 1999 Selected Papers, Author: Peggy Agouris
Title: Types for Proofs and Programs: International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers, Author: Marino Miculan
Title: Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings, Author: Otmane Ait Mohamed
Title: Programming Languages and Systems: 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS, Braga, Portugal, March 24 - April 1, 2007, Proceedings, Author: Rocco De Nicola

Pagination Links