41
Logic-Based Program Synthesis and Transformation [E-Book] : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers /
42
Advances in Web Mining and Web Usage Analysis [E-Book] : 9th International Workshop on Knowledge Discovery on the Web, WebKDD 2007, and 1st International Workshop on Social Networks Analysis, SNA-KDD 2007, San Jose, CA, USA, August 12-15, 2007. Revised Papers /
43
Computational Intelligence Methods for Bioinformatics and Biostatistics [E-Book] : 5th International Meeting, CIBB 2008 Vietri sul Mare, Italy, October 3-4, 2008 Revised Selected Papers /
44
Computer Aided Verification [E-Book] : 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings /
45
Symbolic and Quantitative Approaches to Reasoning with Uncertainty [E-Book] : 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings /
46
RoboCup 2008: Robot Soccer World Cup XII [E-Book] /
Other Personal Name(s): ...Mitchell, John C....

Full text 
47
Multiple Classifier Systems [E-Book] : 8th International Workshop, MCS 2009, Reykjavik, Iceland, June 10-12, 2009. Proceedings /
48
Organized Adaption in Multi-Agent Systems [E-Book] : First International Workshop, OAMAS 2008, Estoril, Portugal, May 13, 2008. Revised and Invited Papers /
49
Types for Proofs and Programs [E-Book] : International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers /
50
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 /
51
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 /
52
Engineering Societies in the Agents World IX [E-Book] : 9th International Workshop, ESAW 2008, Saint-Etienne, France, September 24-26, 2008, Revised Selected Papers /
53
Advances in Spatial and Temporal Databases [E-Book] : 11th International Symposium, SSTD 2009 Aalborg, Denmark, July 8-10, 2009 Proceedings /
54
Computational Linguistics and Intelligent Text Processing [E-Book] : 10th International Conference, CICLing 2009, Mexico City, Mexico, March 1-7, 2009. Proceedings /
55
Bioinformatics and Computational Biology [E-Book] : First International Conference, BICoB 2009, New Orleans, LA, USA, April 8-10, 2009. Proceedings /
56
Advances in Information Retrieval [E-Book] : 31th European Conference on IR Research, ECIR 2009, Toulouse, France, April 6-9, 2009. Proceedings /
57
Advanced Internet Based Systems and Applications [E-Book] : Second International Conference on Signal-Image Technology and Internet-Based Systems, SITIS 2006, Hammamet, Tunisia, December 17-21, 2006, Revised Selected Papers /
58
The Semantic Web: Research and Applications [E-Book] : 6th European Semantic Web Conference, ESWC 2009 Heraklion, Crete, Greece, May 31–June 4, 2009 Proceedings /
59
Pattern Recognition and Image Analysis [E-Book] : 4th Iberian Conference, IbPRIA 2009 Póvoa de Varzim, Portugal, June 10-12, 2009 Proceedings /
60
Learning and Intelligent Optimization [E-Book] : Second International Conference, LION 2007 II, Trento, Italy, December 8-12, 2007. Selected Papers /