41
Numerical Validation in Current Hardware Architectures [E-Book] : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008. Revised Papers /
42
Agent Computing and Multi-Agent Systems [E-Book] : 10th Pacific Rim International Conference on Multi-Agents, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007. Revised Papers /
43
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [E-Book] : 6th International Conference, CPAIOR 2009 Pittsburgh, PA, USA, May 27-31, 2009 Proceedings /
44
Applied Cryptography and Network Security [E-Book] : 7th International Conference, ACNS 2009, Paris-Rocquencourt, France, June 2-5, 2009. Proceedings /
45
Evolving OpenMP in an Age of Extreme Parallelism [E-Book] : 5th International Workshop on OpenMP, IWOMP 2009 Dresden, Germany, June 3-5, 2009 Proceedings /
46
Combinatorial Optimization and Applications [E-Book] : Third International Conference, COCOA 2009, Huangshan, China, June 10-12, 2009. Proceedings /
47
Scalability of Networks and Services [E-Book] : Third International Conference on Autonomous Infrastructure, Management and Security, AIMS 2009 Enschede, The Netherlands, June 30–July 2, 2009. Proceedings /
48
Model Checking Software [E-Book] : 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings /
49
Theory and Applications of Satisfiability Testing - SAT 2009 [E-Book] : 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings /
50
Web Engineering [E-Book] : 9th International Conference, ICWE 2009 San Sebastián, Spain, June 24-26, 2009 Proceedings /
51
Advances in Image and Video Technology [E-Book] : Third Pacific Rim Symposium, PSIVT 2009, Tokyo, Japan, January 13-16, 2009. Proceedings /
52
Learning and Intelligent Optimization [E-Book] : Second International Conference, LION 2007 II, Trento, Italy, December 8-12, 2007. Selected Papers /
53
Cognitive Vision [E-Book] : 4th International Workshop, ICVW 2008, Santorini, Greece, May 12, 2008, Revised Selected Papers /
54
High Performance Embedded Architectures and Compilers [E-Book] : Fourth International Conference, HiPEAC 2009, Paphos, Cyprus, January 25-28, 2009. Proceedings /
55
Computational Geometry and Graph Theory [E-Book] : International Conference, KyotoCGGT 2007, Kyoto, Japan, June 11-15, 2007. Revised Selected Papers /
56
Large-Scale Scientific Computing [E-Book] : 6th International Conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007. Revised Papers /
57
Focused Access to XML Documents [E-Book] : 6th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2007 Dagstuhl Castle, Germany, December 17-19, 2007. Selected Papers /
58
Engineering Secure Software and Systems [E-Book] : First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedings /
59
Future Internet – FIS 2008 [E-Book] : First Future Internet Symposium, FIS 2008 Vienna, Austria, September 29-30, 2008 Revised Selected Papers /
60
Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics [E-Book] : 7th European Conference, EvoBIO 2009 Tübingen, Germany, April 15-17, 2009 Proceedings /