81
Practical Aspects of Declarative Languages [E-Book] : 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings /
82
Distributed Computing and Networking [E-Book] : 12th International Conference, ICDCN 2011, Bangalore, India, January 2-5, 2011. Proceedings /
83
Verification, Model Checking, and Abstract Interpretation [E-Book] : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings /
84
Agents for Games and Simulations II [E-Book] : Trends in Techniques, Concepts and Design /
85
Generative and Transformational Techniques in Software Engineering III [E-Book] : International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009. Revised Papers /
86
Transactions on Petri Nets and Other Models of Concurrency IV [E-Book] /
87
Sanskrit Computational Linguistics [E-Book] : 4th International Symposium, New Delhi, India, December 10-12, 2010. Proceedings /
88
Transactions on Computational Science X [E-Book] : Special Issue on Security in Computing, Part I /
89
Real-World Wireless Sensor Networks [E-Book] : 4th International Workshop, REALWSN 2010, Colombo, Sri Lanka, December 16-17, 2010. Proceedings /
90
Logic for Programming, Artificial Intelligence, and Reasoning [E-Book] : 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers /
91
Internet and Network Economics [E-Book] : 6th International Workshop, WINE 2010, Stanford, CA, USA, December 13-17, 2010. Proceedings /
92
Central European Functional Programming School [E-Book] : Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009, Revised Selected Lectures /
93
Principles of Distributed Systems [E-Book] : 14th International Conference, OPODIS 2010, Tozeur, Tunisia, December 14-17, 2010. Proceedings /
94
Towards a Service-Based Internet [E-Book] : Third European Conference, ServiceWave 2010, Ghent, Belgium, December 13-15, 2010. Proceedings /
95
NETWORKING 2011 [E-Book] : 10th International IFIP TC 6 Networking Conference, Valencia, Spain, May 9-13, 2011, Proceedings, Part II /
96
Service-Oriented Perspectives in Design Science Research [E-Book] : 6th International Conference, DESRIST 2011, Milwaukee, WI, USA, May 5-6, 2011. Proceedings /
97
Advances in Grid and Pervasive Computing [E-Book] : 6th International Conference, GPC 2011, Oulu, Finland, May 11-13, 2011. Proceedings /
98
NETWORKING 2011 [E-Book] : 10th International IFIP TC 6 Networking Conference, Valencia, Spain, May 9-13, 2011, Proceedings, Part I /
99
GeoSpatial Semantics [E-Book] : 4th International Conference, GeoS 2011, Brest, France, May 12-13, 2011. Proceedings /
100
NASA Formal Methods [E-Book] : Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings /