121
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:
122
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:
123
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:
124
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:
125
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:
126
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:
127
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:
128
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:
129
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:
130
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:
131
Logic-Based Program Synthesis and Transformation [E-Book] : 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers /

Full text 
Favorites
Saved in:
132
Focused Access to XML Documents [E-Book] : 6th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2007 Dagstuhl Castle, Germany, December 17-19, 2007. Selected Papers /

Full text 
Favorites
Saved in:
133
HCI and Usability for Education and Work [E-Book] : 4th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2008, Graz, Austria, November 20-21, 2008. Proceedings /

Full text 
Favorites
Saved in:
134
Logical Foundations of Computer Science [E-Book] : International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings /

Full text 
Favorites
Saved in:
135
Cognitive Vision [E-Book] : 4th International Workshop, ICVW 2008, Santorini, Greece, May 12, 2008, Revised Selected Papers /

Full text 
Favorites
Saved in:
136
Groupware: Design, Implementation, and Use [E-Book] : 14th International Workshop, CRIWG 2008, Omaha, NE, USA, September 14-18, 2008, Revised Selected Papers /

Full text 
Favorites
Saved in:
137
Advances in Image and Video Technology [E-Book] : Third Pacific Rim Symposium, PSIVT 2009, Tokyo, Japan, January 13-16, 2009. Proceedings /
Huang, Fay
2008

Full text 
Favorites
Saved in:
138
High Performance Embedded Architectures and Compilers [E-Book] : Fourth International Conference, HiPEAC 2009, Paphos, Cyprus, January 25-28, 2009. Proceedings /
Emer, Joel
2009

Full text 
Favorites
Saved in:
139
Computer Performance Evaluation and Benchmarking [E-Book] : SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009. Proceedings /

Full text 
Favorites
Saved in:
140
SOFSEM 2009: Theory and Practice of Computer Science [E-Book] : 35th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 24-30, 2009. Proceedings /

Full text 
Favorites
Saved in:

Narrow Search Results