101
Logic, Language, and Computation [E-Book] : 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers /
102
Applications of Declarative Programming and Knowledge Management [E-Book] : 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers /
103
Agent and Multi-Agent Systems: Technologies and Applications [E-Book] : Third KES International Symposium, KES-AMSTA 2009, Uppsala, Sweden, June 3-5, 2009. Proceedings /
104
Advances in Grid and Pervasive Computing [E-Book] : 4th International Conference, GPC 2009, Geneva, Switzerland, May 4-8, 2009. Proceedings /
105
Trustworthy Software Development Processes [E-Book] : International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 Proceedings /
106
Hardware and Software: Verification and Testing [E-Book] : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings /
107
Algorithmic Aspects in Information and Management [E-Book] : 5th International Conference, AAIM 2009, San Francisco, CA, USA, June 15-17, 2009. Proceedings /
108
Distributed Applications and Interoperable Systems [E-Book] : 9th IFIP WG 6.1 International Conference, DAIS 2009, Lisbon, Portugal, June 9-11, 2009. Proceedings /
109
Analytical and Stochastic Modeling Techniques and Applications [E-Book] : 16th International Conference, ASMTA 2009, Madrid, Spain, June 9-12, 2009. Proceedings /
110
Logic, Language, Information and Computation [E-Book] : 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings /
111
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 /
112
Bioinspired Applications in Artificial and Natural Computation [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 II /
113
Frontiers in Algorithmics [E-Book] : Third International Workshop, FAW 2009, Hefei, China, June 20-23, 2009. Proceedings /
114
Fuzzy Logic and Applications [E-Book] : 8th International Workshop, WILF 2009 Palermo, Italy, June 9-12, 2009 Proceedings /
115
Hybrid Artificial Intelligence Systems [E-Book] : 4th International Conference, HAIS 2009, Salamanca, Spain, June 10-12, 2009. Proceedings /
116
Architectures for Adaptive Software Systems [E-Book] : 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings /
117
Progress in Cryptology – AFRICACRYPT 2009 [E-Book] : Second International Conference on Cryptology in Africa, Gammarth, Tunisia, June 21-25, 2009. Proceedings /
118
Advances in Self-Organizing Maps [E-Book] : 7th International Workshop, WSOM 2009, St. Augustine, FL, USA, June 8-10, 2009. Proceedings /
119
Theory and Practice of Model Transformations [E-Book] : Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings /
120
Component-Based Software Engineering [E-Book] : 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings /