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

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 : 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings

Formal Modeling and Analysis of Timed Systems : Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, 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 : 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, 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 : 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

Quantitative Evaluation of Systems : 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014, 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 : 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013, Proceedings

Formal Modeling and Analysis of Timed Systems : 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings

Formal Methods for Industrial Critical Systems : 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings

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

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

Computer Safety, Reliability, and Security : 33rd International Conference, SAFECOM 2014, Florence, Italy, September 10-12, 2014. Proceedings

Document Analysis Systems VI : 6th International Workshop, DAS 2004, Florence, Italy, September 8-10, 2004, Proceedings

Formal Concept Analysis : 12th International Conference, ICFCA 2014, Cluj-Napoca, Romania , June 10-13, 2014. Proceedings

Software Engineering and Formal Methods : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings

Internet and Distributed Computing Systems : 7th International Conference, IDCS 2014, Calabria, Italy, September 22-24, 2014, Proceedings