181
Types for Proofs and Programs [E-Book] : International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers /
182
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 /
183
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 /
184
Engineering Societies in the Agents World IX [E-Book] : 9th International Workshop, ESAW 2008, Saint-Etienne, France, September 24-26, 2008, Revised Selected Papers /
185
Advances in Information Security and Assurance [E-Book] : Third International Conference and Workshops, ISA 2009, Seoul, Korea, June 25-27, 2009. Proceedings /
186
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 /
187
Theory and Applications of Satisfiability Testing - SAT 2009 [E-Book] : 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings /
188
Dataspace: The Final Frontier [E-Book] : 26th British National Conference on Databases, BNCOD 26, Birmingham, UK, July 7-9, 2009. Proceedings /
189
Detection of Intrusions and Malware, and Vulnerability Assessment [E-Book] : 6th International Conference, DIMVA 2009, Como, Italy, July 9-10, 2009. Proceedings /
190
Advances in Spatial and Temporal Databases [E-Book] : 11th International Symposium, SSTD 2009 Aalborg, Denmark, July 8-10, 2009 Proceedings /
191
Fast Software Encryption [E-Book] : 15th International Workshop, FSE 2008, Lausanne, Switzerland, February 10-13, 2008, Revised Selected Papers /
192
Visual Data Mining [E-Book] : Theory, Techniques and Tools for Visual Analytics /
193
GeoSensor Networks [E-Book] : Second International Conference, GSN 2006, Boston, MA, USA, October 1-3, 2006, Revised Selected and Invited Papers /
194
Ad-hoc, Mobile and Wireless Networks [E-Book] : 7th International Conference, ADHOC-NOW 2008 Sophia-Antipolis, France, September 10-12, 2008 Proceedings /
195
Reflections on the Teaching of Programming [E-Book] : Methods and Implementations /
196
Large-Scale Scientific Computing [E-Book] : 6th International Conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007. Revised Papers /
197
The Common Component Modeling Example [E-Book] : Comparing Software Component Models /
198
Computational Geometry and Graph Theory [E-Book] : International Conference, KyotoCGGT 2007, Kyoto, Japan, June 11-15, 2007. Revised Selected Papers /
199
Constraint Handling Rules [E-Book] : Current Research Topics /
200
Transactions on Computational Systems Biology X [E-Book] /