Title: Runtime Verification: 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers, Author: Oleg Sokolsky
Title: Early Aspects: Current Challenges and Future Directions: 10th International Workshop, Vancouver, Canada, March 13, 2007, Revised Selected Papers, Author: A. Moreira
Title: Pro Netbeans IDE 6 Rich Client Platform Edition, Author: Adam Myatt
Title: High Performance Embedded Architectures and Compilers: Third International Conference, HiPEAC 2008, Göteborg, Sweden, January 27-29, 2008, Proceedings, Author: Per Stenström
Title: WALCOM: Algorithms and Computation: Second International Workshop, WALCOM 2008, Dhaka, Bangladesh, February 7-8, 2008, Proceedings, Author: Shin-ichi Nakano
Title: Declarative Agent Languages and Technologies V: 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers, Author: Matteo Baldoni
Title: Understanding Planning Tasks: Domain Complexity and Heuristic Decomposition, Author: Malte Helmert
Title: Logic-Based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers, Author: Andy King
Title: Algorithms and Models for the Web-Graph: Fourth International Workshop, WAW 2006, Banff, Canada, November 30 - December 1, 2006, Revised Papers, Author: William Aiello
Title: Evolutionary Computation in Combinatorial Optimization: 8th European Conference, EvoCOP 2008, Naples, Italy, March 26-28, 2008, Proceedings, Author: Jano van Hemert
Title: Programming Languages and Systems: 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings, Author: Sophia Drossopoulou
Title: Functional and Logic Programming: 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings, Author: Jacques Garrigue
Title: Compiler Construction: 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings, Author: Laurie Hendren
Title: Probabilistic Inductive Logic Programming, Author: Luc De Raedt
Title: OpenMP: Eine Einf�hrung in die parallele Programmierung mit C/C++, Author: Simon Hoffmann
Title: Domains and Lambda-Calculi, Author: Roberto M. Amadio
Title: Parameterized and Exact Computation: Third International Workshop, IWPEC 2008, Victoria, Canada, May 14-16, 2008, Proceedings, Author: Martin Grohe
Title: Theory and Applications of Satisfiability Testing - SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings, Author: Hans Kleine Büning
Title: Artificial Evolution: 8th International Conference, Evolution Artificielle, EA 2007 Tours, France, October 29-31, 2007, Revised Selected Papers, Author: Nicolas Monmarché
Title: OpenMP in a New Era of Parallelism: 4th International Workshop, IWOMP 2008 West Lafayette, IN, USA, May 12-14, 2008, Proceedings, Author: Rudi Eigenmann

Pagination Links