1
Model Checking and Artificial Intelligence [E-Book] : 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers /
2
Medical Computer Vision. Recognition Techniques and Applications in Medical Imaging [E-Book] : International MICCAI Workshop, MCV 2010, Beijing, China, September 20, 2010, Revised Selected Papers /
3
Simulating the Mind [E-Book] : A Technical Neuropsychoanalytical Approach /
4
Towards Affordance-Based Robot Control [E-Book] : International Seminar, Dagstuhl Castle, Germany, June 5-9, 2006. Revised Papers /
5
Parallel Problem Solving from Nature - PPSN IX [E-Book] / 9th International Conference, Reykjavik, Iceland, September 9-13, 2006, Proceedings
6
Relational and Kleene-Algebraic Methods in Computer Science [E-Book] : 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 20 /
7
Medical Data Analysis [E-Book] : 4th International Symposium, ISMDA 2003, Berlin, Germany, October 9-10, 2003, Proceedings /
8
Parallel Problem Solving from Nature — PPSN VII [E-Book] : 7th International Conference Granada, Spain, September 7–11, 2002 Proceedings /
9
Artificial Neural Networks — ICANN 2001 [E-Book] : International Conference Vienna, Austria, August 21–25, 2001 Proceedings /
10
Computer Science Logic [E-Book] : 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings /
11
Computational Logic and Proof Theory [E-Book] : 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings /