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

Runtime Verification : 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings

Runtime Verification : 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings

Runtime Verification : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings

Security and Trust Management : 11th International Workshop, STM 2015, Vienna, Austria, September 21-22, 2015, Proceedings

Runtime Verification : Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers

Computational Logistics : 6th International Conference, ICCL 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings

Web Reasoning and Rule Systems : 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012, Proceedings

Logic Programming and Nonmonotonic Reasoning : 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001. Proceedings

Collaboration and Technology : 21st International Conference, CRIWG 2015, Yerevan, Armenia, September 22-25, 2015, Proceedings

Runtime Verification : First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

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

Runtime Verification : Second international Conference, RV 2011, San Francisco, USA, September 27-30, 2011, Revised Selected Papers

Business Process Management : 13th International Conference, BPM 2015, Innsbruck, Austria, August 31 -- September 3, 2015, Proceedings

Geographic Information Science : 8th International Conference, GIScience 2014, Vienna Austria, September 24-26, 2014, Proceedings

Business Process Management : 4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006, Proceedings

Service-Oriented Computing - ICSOC 2007 : Fifth International Conference, Vienna, Austria, September 17-20, 2007, Proceedings

Unconventional Computation : 7th International Conference, UC 2008, Vienna, Austria, August 25-28, 2008, Proceedings

Artificial Neural Networks - ICANN 2001 : International Conference Vienna, Austria, August 21-25, 2001 Proceedings

Computer Aided Verification : 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings

Data Warehousing and Knowledge Discovery : 14th International Conference, DaWaK 2012, Vienna, Austria, September 3-6, 2012, Proceedings