Distributed Computing and Artificial Intelligence, Special Sessions, 17th International Conference

Architecture and Interaction : Human Computer Interaction in Space and Place

Biologics for the Treatment of Rheumatoid Arthritis

Black Objects in Supergravity : Proceedings of the INFN-Laboratori Nazionali di Frascati School 2011

Ultra Low Power Transceiver for Wireless Body Area Networks

Conversations About Challenges in Computing

Solder Joint Reliability Assessment : Finite Element Simulation Methodology

Vision Based Systemsfor UAV Applications

Discrete Geometry and Optimization

Green's Kernels and Meso-Scale Approximations in Perforated Domains

Palaeobiology of Middle Paleozoic Marine Brachiopods : A Case Study of Extinct Organisms in Classical Paleontology

Transport and Logistics in a Globalizing World : A Focus on Italy

Compressed Sensing with Side Information on the Feasible Region

Double-Gyroid-Structured Functional Materials : Synthesis and Applications

Clinical Psychology and the Philosophy of Science

Media Rich Instruction : Connecting Curriculum To All Learners

Exciting Interdisciplinary Physics : Quarks and Gluons / Atomic Nuclei / Relativity and Cosmology / Biological Systems

Multimedia Services in Intelligent Environments : Recommendation Services

Classroom-oriented Research : Achievements and Challenges

The Non-Ergodic Nature of Internal Conversion : An Experimental and Theoretical Approach

Automated Deduction - CADE-22 : 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings

Automated Deduction - CADE-21 : 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings

Automated Deduction -- CADE-23 : 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 -- August 5, 2011, Proceedings

Automated Deduction - CADE-16 : 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings

Automated Deduction - CADE-19 : 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings

Automated Deduction - CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings

Automated Deduction - CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings

Automated Deduction - CADE-17 : 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings

7th International Conference on Automated Deduction : Proceedings

Automated Deduction -- CADE-24 : 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings

Automated Deduction - CADE-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Proceedings

Web Reasoning and Rule Systems : 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings.

Artificial General Intelligence : 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings

X-Ray Lasers 2006 : Proceedings of the 10th International Conference, August 20-25, 2006, Berlin, Germany

Formal Ontologies Meet Industry : 7th International Workshop, FOMI 2015, Berlin, Germany, August 5, 2015, Proceedings

Automated Deduction in Geometry : Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings

Symbiotic Interaction : 4th International Workshop, Symbiotic 2015, Berlin, Germany, October 7-8, 2015, Proceedings

Rule Technologies: Foundations, Tools, and Applications : 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings

Combinatorics on Words : 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings

Algebraic Informatics : 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings