Title: Software and Compilers for Embedded Systems: 8th International Workshop, SCOPES 2004, Amsterdam, The Netherlands, September 2-3, 2004, Proceedings / Edition 1, Author: Henk Schepers
Title: Inductive Logic Programming: 14th International Conference, ILP 2004, Porto, Portugal, September 6-8, 2004, Proceedings / Edition 1, Author: Rui Camacho
Title: Approximation, Randomization and Combinatorial Optimization. Algorithms and Techniques: 7th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2004 and 8th International Workshop on Randomization and Computa / Edition 1, Author: Klaus Jansen
Title: Static Analysis: 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings / Edition 1, Author: Roberto Giacobazzi
Title: Planar Graph Drawing, Author: Takao Nishizeki
Title: Data Structures, Algorithms, and Applications in C++ / Edition 1, Author: Sartaj Sahni
Title: Recent Advances In Simulated Evolution And Learning, Author: Kay Chen Tan
Title: Logic in Computer Science: Modelling and Reasoning about Systems / Edition 2, Author: Michael Huth
Title: Experimental and Efficient Algorithms: Third International Workshop, WEA 2004, Angra dos Reis, Brazil, May 25-28, 2004, Proceedings / Edition 1, Author: Celso C. Ribeiro
Title: Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development / Edition 1, Author: Maurice Bruynooghe
Title: Logic Based Program Synthesis and Transformation: 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers / Edition 1, Author: Maurice Bruynooghe
Title: Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings / Edition 1, Author: Dexter Kozen
Title: Domain-Specific Program Generation: International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers / Edition 1, Author: Christian Lengauer
Title: Rewriting Techniques and Applications: 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings / Edition 1, Author: Vincent van Oostrom
Title: Programming Multi-Agent Systems: First International Workshop, PROMAS 2003, Melbourne, Australia, July 15, 2003, Selected Revised and Invited Papers / Edition 1, Author: Mehdi Dastani
Title: Practical Aspects of Declarative Languages: 6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings / Edition 1, Author: Bharat Jayaraman
Title: Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers / Edition 1, Author: Stefano Berardi
Title: Handbook of Learning and Approximate Dynamic Programming / Edition 1, Author: Jennie Si
Title: Rechnen mit DNA: Eine Einführung in Theorie und Praxis / Edition 1, Author: Thomas Hinze
Title: Functional and Logic Programming: 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings / Edition 1, Author: Yukiyoshi Kameyama

Pagination Links