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 : 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings

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

Formal Methods: Foundations and Applications : 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 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

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

Programming Languages : 17th Brazilian Symposium, SBLP 2013, Brasilia, Brazil, September 29- October 4, 2013, 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 Artificial Intelligence - SBIA 2004 : 17th Brazilian Symposium on Artificial Intelligence, Sao Luis, Maranhao, Brazil, September 29-October 1, 2004, Proceedings

NASA Formal Methods : 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings

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

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014,

Case-Based Reasoning Research and Development : 22nd International Conference, ICCBR 2014, Cork, Ireland, September 29, 2014 - October 1, 2014. Proceedings

Research in Attacks, Intrusions and Defenses : 17th International Symposium, RAID 2014, Gothenburg, Sweden, September 17-19, 2014, Proceedings

Leveraging Applications of Formal Methods, Verification, and Validation : 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Herak

Software Engineering and Formal Methods : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings

Model-Driven Engineering Languages and Systems : 17th International Conference, MODELS 2014, Valencia, Spain, September 283- October 4, 2014. Proceedings

Stabilization, Safety, and Security of Distributed Systems : 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 -- October 1, 2014. Proceedings

Knowledge Engineering and the Semantic Web : 5th International Conference, KESW 2014, Kazan, Russia, September 29--October 1, 2014. Proceedings