Compilers & interpreters
Objects And Databases
International Symposium, Sophia Antipolis, France, June 13, 2000 Revised Papers
Editor: Klaus R. Dittrich
Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg (Germany), 2001
Paperback, 209 pages
Rewriting Techniques And Applications / 12Th International Conference, Rta 2001, Utrecht, The Netherlands, May 22-24, 2001 - Proceedings
12Th International Conference, Rta 2001, Utrecht, The Netherlands, May 22-24, 2001. Proceedings
Editor: Aart Middeldorp
Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg (Germany), 2001
Paperback, 375 pages
Static Analysis / International Symposium, Sas 2001, Paris, France, July 16-18, 2001 - Proceedings (8Th)
8Th International Symposium, Sas 2001, Paris, France, July 16-18, 2001. Proceedings
Editor: Patrick Cousot
Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg (Germany), 2001
Paperback, 450 pages
Recent Advances In Parallel Virtual Machine And Message Passing Interface
7Th European Pvm/Mpi Users' Group Meeting Balatonfured, Hungary, September 10-13, 2000 Proceedings
Editor: Jack Dongarra
Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg (Germany), 2000
Paperback, 379 pages
Principles And Practice Of Constraint Programming Cp 2000
6Th International Conference, Cp 2000 Singapore, September 18-21, 2000 Proceedings
Editor: Rina Dechter
Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg (Germany), 2000
Paperback, 568 pages
Semantics, Applications And Implementation Of Program Generation
International Workshop, Saig 2000 Montreal, Canada, September 20, 2000 Proceedings
Editor: Walid Taha
Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg (Germany), 2000
Paperback, 237 pages
Analysis And Visualization Tools For Constraint Programming
Constraint Debugging
Editor: Pierre Deransart
Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg (Germany), 2000
Paperback, 384 pages
Issues In Agent Communication
Editor: Frank Dignum
Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg (Germany), 2000
Paperback, 361 pages








