161
Architecture of Computing Systems - ARCS 2010 [E-Book] : 23rd International Conference, Hannover, Germany, February 22-25, 2010. Proceedings /
162
Architecture of Computing Systems - ARCS 2011 [E-Book] : 24th International Conference, Como, Italy, February 24-25, 2011. Proceedings /
163
Argumentation in Multi-Agent Systems [E-Book] : 6th International Workshop, ArgMAS 2009, Budapest, Hungary, May 12, 2009. Revised Selected and Invited Papers /
164
Artifical Evolution [E-Book] : 9th International Conference, Evolution Artificielle, EA, 2009, Strasbourg, France, October 26-28, 2009. Revised Selected Papers /
165
Artificial Intelligence and Cognitive Science [E-Book] : 20th Irish Conference, AICS 2009, Dublin, Ireland, August 19-21, 2009, Revised Selected Papers /
166
Artificial Intelligence in Theory and Practice III [E-Book] : Third IFIP TC 12 International Conference on Artificial Intelligence, IFIP AI 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings /
167
Artificial Intelligence: Theories, Models and Applications [E-Book] : 6th Hellenic Conference on AI, SETN 2010, Athens, Greece, May 4-7, 2010. Proceedings /
168
The Austin Protocol Compiler [E-Book] /
169
Automata, Languages and Programming [E-Book] : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II /
170
Automated Technology for Verification and Analysis [E-Book] : 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings /
171
Automated Technology for Verification and Analysis [E-Book] : Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings /
172
Automated Technology for Verification and Analysis [E-Book] / Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings
173
Automated Technology for Vertification and Analysis [E-Book] / 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings
174
Autonomic and Trusted Computing [E-Book] : 4th International Conference, ATC 2007, Hong Kong, China, July 11-13, 2007. Proceedings /
175
Autonomic and Trusted Computing [E-Book] : 6th International Conference, ATC 2009 Brisbane, Australia, July 7-9, 2009 Proceedings /
176
Autonomic and Trusted Computing [E-Book] : 7th International Conference, ATC 2010, Xi’an, China, October 26-29, 2010. Proceedings /
177
Autonomic and Trusted Computing [E-Book] : 8th International Conference, ATC 2011, Banff, Canada, September 2-4, 2011. Proceedings /
178
Autonomic and Trusted Computing [E-Book] / Third International Conference, ATC 2006, Wuhan, China, September 3-6, 2006
179
Autonomic Communication (vol. # 3457) [E-Book] / First International IFIP Workshop, WAC 2004, Berlin, Germany, October 18-19, 2004, Revised Selected Papers
180
Autonomic Communication (vol. # 3854) [E-Book] / Second International IFIP Workshop, WAC 2005, Athens, Greece, October 2-5, 2005, Revised Selected Papers