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 : 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 : 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, 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 : 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, 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 : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings

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

Programming Languages and Systems : 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings

Hardware and Software: Verification and Testing : 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings

Service-Oriented Computing : 12th International Conference, ICSOC 2014, Paris, France, November 3-6, 2014, Proceedings

Entertainment Computing - ICEC 2014 : 13th International Conference, ICEC 2014, Sydney, Australia, October 1-3, 2014, Proceedings

Hardware and Software: Verification and Testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings

Proceedings of the 12th International Symposium Continuous Surface Mining - Aachen 2014

Advances in Intelligent Data Analysis XIII : 13th International Symposium, IDA 2014, Leuven, Belgium, October 30 -- November 1, 2014. Proceedings

Static Analysis : 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings