Electromagnetic Theory

Smartphone-Based Real-Time Digital Signal Processing, Third Edition

Circuit Analysis Laboratory Workbook

Customizable Computing

Symmetry Problems : The Navier-Stokes Problem

iRODS Primer 2 : Integrated Rule-Oriented Data System

Information Communication

Argumentation Mining

Speech Recognition Algorithms Using Weighted Finite-State Transducers

Disability Interactions : Creating Inclusive Innovations

Fixed-Point Signal Processing

Answering Queries Using Views, Second Edition

On Transactional Concurrency Control

The Reaction Wheel Pendulum

Regenerative Dentistry

Digital Image Processing : An Algorithmic Introduction

The Maximum Consensus Problem : Recent Algorithmic Advances

Automatic Text Simplification

Die-stacking Architecture

Data-Driven Personas

Automated Technology for Verification and Analysis : 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 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 : 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 : 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, 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 : 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, 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 : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, 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

String Processing and Information Retrieval : 23rd International Symposium, SPIRE 2016, Beppu, Japan, October 18-20, 2016, Proceedings

Information-Control Problems in Manufacturing Technology : Proceedings of the IFAC International Symposium, Tokyo, Japan, 17 - 20 October 1977

Algorithms and Computation : 14th International Symposium, ISAAC 2003, Kyoto, Japan, December 15-17, 2003, Proceedings

Foundations of Intelligent Systems : 14th International Symposium, ISMIS 2003, Maebashi City, Japan, October 28-31, 2003, Proceedings

Advances in Intelligent Data Analysis XV : 15th International Symposium, IDA 2016, Stockholm, Sweden, October 13-15, 2016, Proceedings

Algorithmic Learning Theory : 14th International Conference, ALT 2003, Sapporo, Japan, October 17-19, 2003, Proceedings

Intelligent Data Engineering and Automated Learning -- IDEAL 2013 : 14th International Conference, IDEAL 2013, Hefei, China, October 20-23, 2013, Proceedings

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Pa