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

Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS

Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS

Tools and Algorithms for the Construction and Analysis of Systems : 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS

Tools and Algorithms for the Construction and Analysis of Systems : 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS

Tools and Algorithms for the Construction and Analysis of Systems : 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS

Tools and Algorithms for the Construction and Analysis of Systems : 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS

Tools and Algorithms for the Construction and Analysis of Systems : 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS

Tools and Algorithms for the Construction and Analysis of Systems : 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS

Tools and Algorithms for the Construction and Analysis of Systems : 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS

Tools and Algorithms for the Construction and Analysis of Systems : 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS

Tools and Algorithms for the Construction and Analysis of Systems : 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS

Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS

Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS

Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS

Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS

Tools and Algorithms for the Construction and Analysis of Systems : 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 20

Tools and Algorithms for the Construction and Analysis of Systems : 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2

Tools and Algorithms for the Construction and Analysis of Systems : 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 20

Tools and Algorithms for the Construction and Analysis of Systems : 8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2

Tools and Algorithms for the Construction and Analysis of Systems : 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2