101
Web Services and Formal Methods [E-Book] : 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers /
102
Agent and Multi-Agent Systems: Technologies and Applications [E-Book] : Third KES International Symposium, KES-AMSTA 2009, Uppsala, Sweden, June 3-5, 2009. Proceedings /
103
Advances in Grid and Pervasive Computing [E-Book] : 4th International Conference, GPC 2009, Geneva, Switzerland, May 4-8, 2009. Proceedings /
104
Trustworthy Software Development Processes [E-Book] : International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 Proceedings /
105
Advances in Artificial Intelligence [E-Book] : 22nd Canadian Conference on Artificial Intelligence, Canadian AI 2009 Kelowna, Canada, May 25-27, 2009 Proceedings /
106
Computational Science – ICCS 2009 [E-Book] : 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part II /
107
Multi-Agent-Based Simulation IX [E-Book] : International Workshop, MAPS 2008, Estoril, Portugal, May 12-13, 2008, Revised Selected Papers /
108
Research in Computational Molecular Biology [E-Book] : 13th Annual International Conference, RECOMB 2009, Tucson, AZ, USA, May 18-21, 2009. Proceedings /
109
Theory and Applications of Models of Computation [E-Book] : 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings /
110
Scale Space and Variational Methods in Computer Vision [E-Book] : Second International Conference, SSVM 2009, Voss, Norway, June 1-5, 2009. Proceedings /
111
Reliable Software Technologies – Ada-Europe 2009 [E-Book] : 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings /
112
Experimental Algorithms [E-Book] : 8th International Symposium, SEA 2009, Dortmund, Germany, June 4-6, 2009. Proceedings /
113
Combinatorial Optimization and Applications [E-Book] : Third International Conference, COCOA 2009, Huangshan, China, June 10-12, 2009. Proceedings /
114
Requirements Engineering: Foundation for Software Quality [E-Book] : 15th International Working Conference, REFSQ 2009 Amsterdam, The Netherlands, June 8-9, 2009 Proceedings /
115
Distributed Computing in Sensor Systems [E-Book] : 5th IEEE International Conference, DCOSS 2009, Marina del Rey, CA, USA, June 8-10, 2009. Proceedings /
116
Formal Techniques for Distributed Systems [E-Book] : Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings /
117
Algorithmic Aspects in Information and Management [E-Book] : 5th International Conference, AAIM 2009, San Francisco, CA, USA, June 15-17, 2009. Proceedings /
118
Analytical and Stochastic Modeling Techniques and Applications [E-Book] : 16th International Conference, ASMTA 2009, Madrid, Spain, June 9-12, 2009. Proceedings /
119
Logic, Language, Information and Computation [E-Book] : 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings /
120
Methods and Models in Artificial and Natural Computation. A Homage to Professor Mira’s Scientific Legacy [E-Book] : Third International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2009, Santiago de Compostela, Spain, June 22-26, 2009, Proceedings, Part I /