61
Logic-Based Program Synthesis and Transformation [E-Book] : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers /
62
Multimodal Signals: Cognitive and Algorithmic Issues [E-Book] : COST Action 2102 and euCognition International School Vietri sul Mare, Italy, April 21-26, 2008 Revised Selected and Invited Papers /
63
Advances in Web Mining and Web Usage Analysis [E-Book] : 9th International Workshop on Knowledge Discovery on the Web, WebKDD 2007, and 1st International Workshop on Social Networks Analysis, SNA-KDD 2007, San Jose, CA, USA, August 12-15, 2007. Revised Papers /
64
Attention in Cognitive Systems [E-Book] : 5th International Workshop on Attention in Cognitive Systems, WAPCV 2008 Fira, Santorini, Greece, May 12, 2008 Revised Selected Papers /
65
Trusted Computing [E-Book] : Second International Conference, Trust 2009, Oxford, UK, April 6-8, 2009, Proceedings. /
66
Programming Languages and Systems [E-Book] : 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings /
67
Fundamental Approaches to Software Engineering [E-Book] : 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings /
68
Foundations of Software Science and Computational Structures [E-Book] : 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings /
69
Hybrid Systems: Computation and Control [E-Book] : 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings /
70
New Frontiers in Artificial Intelligence [E-Book] : JSAI 2008 Conference and Workshops, Asahikawa, Japan, June 11-13, 2008, Revised Selected Papers /
71
Creating Brain-Like Intelligence [E-Book] : From Basic Principles to Complex Intelligent Systems /
72
Formal Theories of Information [E-Book] : From Shannon to Semantic Information Theory and General Concepts of Information /
73
Topics in Cryptology – CT-RSA 2009 [E-Book] : The Cryptographers’ Track at the RSA Conference 2009, San Francisco, CA, USA, April 20-24, 2009. Proceedings /
74
Transactions on Petri Nets and Other Models of Concurrency II [E-Book] : Special Issue on Concurrency in Process-Aware Information Systems /
75
Euro-Par 2008 Workshops - Parallel Processing [E-Book] : VHPC 2008, UNICORE 2008, HPPC 2008, SGS 2008, PROPER 2008, ROIA 2008, and DPA 2008, Las Palmas de Gran Canaria, Spain, August 25-26, 2008, Revised Selected Papers /
76
Journal on Data Semantics XII [E-Book] /
77
Reliable Software Technologies – Ada-Europe 2009 [E-Book] : 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings /
78
Experimental Algorithms [E-Book] : 8th International Symposium, SEA 2009, Dortmund, Germany, June 4-6, 2009. Proceedings /
79
Hybrid Artificial Intelligence Systems [E-Book] : 4th International Conference, HAIS 2009, Salamanca, Spain, June 10-12, 2009. Proceedings /
80
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 /