201
Types for Proofs and Programs [E-Book] : International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers /

Full text 
Favorites
Saved in:
202
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 /

Full text 
Favorites
Saved in:
203
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 /

Full text 
Favorites
Saved in:
204
Engineering Societies in the Agents World IX [E-Book] : 9th International Workshop, ESAW 2008, Saint-Etienne, France, September 24-26, 2008, Revised Selected Papers /

Full text 
Favorites
Saved in:
205
Advances in Information Security and Assurance [E-Book] : Third International Conference and Workshops, ISA 2009, Seoul, Korea, June 25-27, 2009. Proceedings /

Full text 
Favorites
Saved in:
206
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 /

Full text 
Favorites
Saved in:
207
Theory and Applications of Satisfiability Testing - SAT 2009 [E-Book] : 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings /

Full text 
Favorites
Saved in:
208
Dataspace: The Final Frontier [E-Book] : 26th British National Conference on Databases, BNCOD 26, Birmingham, UK, July 7-9, 2009. Proceedings /

Full text 
Favorites
Saved in:
209
Detection of Intrusions and Malware, and Vulnerability Assessment [E-Book] : 6th International Conference, DIMVA 2009, Como, Italy, July 9-10, 2009. Proceedings /

Full text 
Favorites
Saved in:
210
Advances in Spatial and Temporal Databases [E-Book] : 11th International Symposium, SSTD 2009 Aalborg, Denmark, July 8-10, 2009 Proceedings /

Full text 
Favorites
Saved in:

Narrow Search Results