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

Automated Technology for Verification and Analysis : 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings

Automated Technology for Verification and Analysis : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings

Automated Technology for Verification and Analysis : 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings

Automated Technology for Verification and Analysis : 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings

Automated Technology for Verification and Analysis : 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings

Automated Technology for Verification and Analysis : 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings

Automated Technology for Verification and Analysis : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings

Automated Technology for Verification and Analysis : 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings

Automated Technology for Verification and Analysis : 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

Automated Technology for Verification and Analysis : 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings

Automated Technology for Verification and Analysis : 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings

Automated Technology for Verification and Analysis : Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings

Distributed Computing : 27th International Symposium, DISC 2013, Jerusalem, Israel, October 14-18, 2013, Proceedings

Advances in Intelligent Data Analysis XII : 12th International Symposium, IDA 2013, London, UK, October 17-19, 2013, Proceedings

Leveraging Applications of Formal Methods, Verification and Validation : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

Advances in Intelligent Data Analysis XI : 11th International Symposium, IDA 2012, Helsinki, Finland, October 25-27, 2012, Proceedings

Sound, Music, and Motion : 10th International Symposium, CMMR 2013, Marseille, France, October 15-18, 2013. Revised Selected Papers

Embedded Systems: Design, Analysis and Verification : 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013, Proceedings

Programming Languages and Systems : 11th International Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013, Proceedings