1
People, Problems, and Proofs [E-Book] : Essays from Gödel's Lost Letter: 2010 /

Full text 
Favorites
Saved in:
2
Applied Parallel and Scientific Computing [E-Book]: 10th International Conference, PARA 2010, Reykjavík, Iceland, June 6-9, 2010, Revised Selected Papers, Part II /

Full text 
Favorites
Saved in:
3
Applied Parallel and Scientific Computing [E-Book]: 10th International Conference, PARA 2010, Reykjavík, Iceland, June 6-9, 2010, Revised Selected Papers, Part I /

Full text 
Favorites
Saved in:
4
Formal Methods for Components and Objects [E-Book] : 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers /

Full text 
Favorites
Saved in:
5
Principles and Practice of Multi-Agent Systems [E-Book] : 13th International Conference, PRIMA 2010, Kolkata, India, November 12-15, 2010, Revised Selected Papers /

Full text 
Favorites
Saved in:
6
Virtual Colonoscopy and Abdominal Imaging. Computational Challenges and Clinical Opportunities [E-Book] : Second International Workshop, Held in Conjunction with MICCAI 2010, Beijing, China, September 20, 2010, Revised Selected Papers /

Full text 
Favorites
Saved in:
7
AI 2010: Advances in Artificial Intelligence [E-Book] : 23rd Australasian Joint Conference, Adelaide, Australia, December 7-10, 2010. Proceedings /

Full text 
Favorites
Saved in:
8
Analysis of Verbal and Nonverbal Communication and Enactment. The Processing Issues [E-Book] : COST 2102 International Conference, Budapest, Hungary, September 7-10, 2010, Revised Selected Papers /

Full text 
Favorites
Saved in:
9
VLSI 2010 Annual Symposium [E-Book] : Selected papers /

Full text 
Favorites
Saved in:
10
Information Systems Security [E-Book] : 6th International Conference, ICISS 2010, Gandhinagar, India, December 17-19, 2010. Proceedings /

Full text 
Favorites
Saved in:
11
Digital Watermarking [E-Book] : 9th International Workshop, IWDW 2010, Seoul, Korea, October 1-3, 2010, Revised Selected Papers /

Full text 
Favorites
Saved in:
12
Human-Computer Interaction, Tourism and Cultural Heritage [E-Book] : First International Workshop, HCITOCH 2010, Brescello, Italy, September 7-8, 2010. Revised Selected Papers /

Full text 
Favorites
Saved in:
13
Toward Autonomous, Adaptive, and Context-Aware Multimodal Interfaces. Theoretical and Practical Issues [E-Book] : Third COST 2102 International Training School, Caserta, Italy, March 15-19, 2010, Revised Selected Papers /

Full text 
Favorites
Saved in:
14
Computational Intelligence Methods for Bioinformatics and Biostatistics [E-Book] : 7th International Meeting, CIBB 2010, Palermo, Italy, September 16-18, 2010, Revised Selected Papers /

Full text  Full text 
Favorites
Saved in:
15
Information Security and Cryptology [E-Book] : 6th International Conference, Inscrypt 2010, Shanghai, China, October 20-24, 2010, Revised Selected Papers /

Full text 
Favorites
Saved in:
16
Public Key Infrastructures, Services and Applications [E-Book] : 7th European Workshop, EuroPKI 2010, Athens, Greece, September 23-24, 2010. Revised Selected Papers /

Full text  Full text 
Favorites
Saved in:
17
Towards a Service-Based Internet. ServiceWave 2010 Workshops [E-Book] : International Workshops, OCS, EMSOA, SMART, and EDBPM 2010, Ghent, Belgium, December 13-15, 2010, Revised Selected Papers /

Full text 
Favorites
Saved in:
18
Performance Evaluation of Computer and Communication Systems. Milestones and Future Challenges [E-Book] : IFIP WG 6.3/7.3 International Workshop, PERFORM 2010, in Honor of Günter Haring on the Occasion of His Emeritus Celebration, Vienna, Austria, October 14-16, 2010, Revised Selected Papers /

Full text 
Favorites
Saved in:
19
Evaluation of Novel Approaches to Software Engineering [E-Book] : 5th International Conference, ENASE 2010, Athens, Greece, July 22-24, 2010, Revised Selected Papers /

Full text 
Favorites
Saved in:
20
Implementation and Application of Functional Languages [E-Book] : 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers /

Full text 
Favorites
Saved in:

Narrow Search Results