1
Modular Ontologies [E-Book] : Concepts, Theories and Techniques for Knowledge Modularization /
2
Formal Methods for Web Services [E-Book] : 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures /
3
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [E-Book] : 6th International Conference, CPAIOR 2009 Pittsburgh, PA, USA, May 27-31, 2009 Proceedings /
4
Computational Science – ICCS 2009 [E-Book] : 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part I /
5
Theory and Applications of Models of Computation [E-Book] : 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings /
6
Object-Oriented Technology. ECOOP 2008 Workshop Reader [E-Book] : ECOOP 2008 Workshops Paphos, Cyprus, July 7-11, 2008 Final Reports /
7
Wired/Wireless Internet Communications [E-Book] : 7th International Conference, WWIC 2009, Enschede, The Netherlands, May 27-29, 2009. Proceedings /
8
Scale Space and Variational Methods in Computer Vision [E-Book] : Second International Conference, SSVM 2009, Voss, Norway, June 1-5, 2009. Proceedings /
9
Computer Vision and Graphics [E-Book] : International Conference, ICCVG 2008 Warsaw, Poland, November 10-12, 2008 Revised Papers /
10
Journal on Data Semantics XII [E-Book] /
Other Personal Name(s): ...Mitchell, John C....

Full text 
11
Reliable Software Technologies – Ada-Europe 2009 [E-Book] : 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings /
12
Experimental Algorithms [E-Book] : 8th International Symposium, SEA 2009, Dortmund, Germany, June 4-6, 2009. Proceedings /
13
Requirements Engineering: Foundation for Software Quality [E-Book] : 15th International Working Conference, REFSQ 2009 Amsterdam, The Netherlands, June 8-9, 2009 Proceedings /
14
Coordination Models and Languages [E-Book] : 11th International Conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings /
15
Transactions on Aspect-Oriented Software Development V [E-Book] /
16
Distributed Computing in Sensor Systems [E-Book] : 5th IEEE International Conference, DCOSS 2009, Marina del Rey, CA, USA, June 8-10, 2009. Proceedings /
17
Algorithmics of Large and Complex Networks [E-Book] : Design, Analysis, and Simulation /
18
Transactions on Computational Science V [E-Book] : Special Issue on Cognitive Knowledge Representation /
19
Formal Techniques for Distributed Systems [E-Book] : Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings /
20
Algorithmic Aspects in Information and Management [E-Book] : 5th International Conference, AAIM 2009, San Francisco, CA, USA, June 15-17, 2009. Proceedings /