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

Formal Methods: Foundations and Applications : 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings

Formal Methods: Foundations and Applications : 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings

Formal Methods: Foundations and Applications : 17th Brazilian Symposium, SBMF 2014, Maceio, AL, Brazil, September 29--October 1, 2014. Proceedings

Programming Languages : 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings

Formal Methods: Foundations and Applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

Formal Methods: Foundations and Applications : 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings

Formal Methods: Foundations and Applications : 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

Formal Methods: Foundations and Applications : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers

Advances in Bioinformatics and Computational Biology : 9th Brazilian Symposium on Bioinformatics, BSB 2014, Belo Horizonte, Brazil, October 28-30, 2014, Proceedings

Programming Languages : 20th Brazilian Symposium, SBLP 2016, Maringa, Brazil, September 22-23, 2016, Proceedings

Stochastic Algorithms: Foundations and Applications : Second International Symposium, SAGA 2003, Hatfield, UK, September 22-23, 2003, Proceedings

Programming Languages : 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings

Programming Languages : 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012, Proceedings

FME 2003: Formal Methods : International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings

FM 2015: Formal Methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings

Theory and Applications of Satisfiability Testing -- SAT 2015 : 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings

Programming Languages : 17th Brazilian Symposium, SBLP 2013, Brasilia, Brazil, September 29- October 4, 2013, Proceedings

Software Engineering and Formal Methods : 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

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

FM 2012: Formal Methods : 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings