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

Engineering, Poverty, and the Earth

Arduino Microcontroller Processing for Everyone!

Introduction to Embedded Systems : Using ANSI C and the Arduino Development Environment

The Integrated Test Analysis Process for Structural Dynamic Systems

Microcontroller Programming and Interfacing with Texas Instruments MSP430FR2433 and MSP430FR5994 : Part I & II

Fundamentals of Electronics : Book 2 AmplifiersAnalysis and Design

Pragmatic Electrical Engineering : Fundamentals

Designing Asynchronous Circuits using NULL Convention Logic (NCL)

Network Simulation

Engineering and Sustainable Community Development

PSpice for Digital Signal Processing

Pragmatic Circuits : Signals and Filters

Embedded Systems Design with the Texas Instruments MSP432 32-bit Processor

Introduction to Noise-Resilient Computing

Atmel AVR Microcontroller Primer : Programming and Interfacing, Second Edition

Developing Embedded Software using DaVinci and OMAP Technology

Pragmatic Logic

Formal Modeling and Analysis of Timed Systems : 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013, Proceedings

Formal Modeling and Analysis of Timed Systems : Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings

Quantitative Evaluation of Systems : 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings

Formal Modeling and Analysis of Timed Systems : 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings

Formal Modeling and Analysis of Timed Systems : 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings

Formal Modeling and Analysis of Timed Systems : 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings

Formal Modeling and Analysis of Timed Systems : 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings

Formal Modeling and Analysis of Timed Systems : 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings

Formal Modeling and Analysis of Timed Systems : 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings

Formal Modeling and Analysis of Timed Systems : 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings

Formal Modeling and Analysis of Timed Systems : 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings

Formal Modeling and Analysis of Timed Systems : 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems : Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in

Formal Modeling and Analysis of Timed Systems : First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers

Artificial General Intelligence : 7th International Conference, AGI 2014, Quebec City, QC, Canada, August 1-4, 2014, Proceedings

PRIMA 2016: Principles and Practice of Multi-Agent Systems : 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings

Interactive Collaborative Robotics : First International Conference, ICR 2016, Budapest, Hungary, August 24-26, 2016, Proceedings

Medical Imaging and Augmented Reality : 7th International Conference, MIAR 2016, Bern, Switzerland, August 24-26, 2016, Proceedings

Image Analysis and Recognition : 4th International Conference, ICIAR 2007, Montreal, Canada, August 22-24, 2007, Proceedings

Mobile Web and Intelligent Information Systems : 13th International Conference, MobiWIS 2016, Vienna, Austria, August 22-24, 2016, Proceedings