201
Organized Adaption in Multi-Agent Systems [E-Book] : First International Workshop, OAMAS 2008, Estoril, Portugal, May 13, 2008. Revised and Invited Papers /
202
Types for Proofs and Programs [E-Book] : International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers /
203
Bio-Inspired Systems: Computational and Ambient Intelligence [E-Book] : 10th International Work-Conference on Artificial Neural Networks, IWANN 2009, Salamanca, Spain, June 10-12, 2009. Proceedings, Part I /
204
Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living [E-Book] : 10th International Work-Conference on Artificial Neural Networks, IWANN 2009 Workshops, Salamanca, Spain, June 10-12, 2009. Proceedings, Part II /
205
Engineering Societies in the Agents World IX [E-Book] : 9th International Workshop, ESAW 2008, Saint-Etienne, France, September 24-26, 2008, Revised Selected Papers /
206
Advances in Information Security and Assurance [E-Book] : Third International Conference and Workshops, ISA 2009, Seoul, Korea, June 25-27, 2009. Proceedings /
207
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 /
208
Theory and Applications of Satisfiability Testing - SAT 2009 [E-Book] : 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings /
209
Dataspace: The Final Frontier [E-Book] : 26th British National Conference on Databases, BNCOD 26, Birmingham, UK, July 7-9, 2009. Proceedings /
210
Detection of Intrusions and Malware, and Vulnerability Assessment [E-Book] : 6th International Conference, DIMVA 2009, Como, Italy, July 9-10, 2009. Proceedings /
211
Advances in Spatial and Temporal Databases [E-Book] : 11th International Symposium, SSTD 2009 Aalborg, Denmark, July 8-10, 2009 Proceedings /