The Answer Machine

Electromagnetic Theory

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

Circuit Analysis Laboratory Workbook

Knowledge Graphs

Customizable Computing

Lung Sounds : An Advanced Signal Processing Perspective

Bioinstrumentation

Genome Refactoring

BioNanotechnology

Symmetry Problems : The Navier-Stokes Problem

Action Programming Languages

Atomically Precise Metal Nanoclusters

iRODS Primer 2 : Integrated Rule-Oriented Data System

Information Communication

Argumentation Mining

Business Processes

Speech Recognition Algorithms Using Weighted Finite-State Transducers

Disability Interactions : Creating Inclusive Innovations

Link Reversal Algorithms

Computer Aided Verification : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings

Intelligent Computer Mathematics : 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings

Reversible Computation : 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings

Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I

Computer Vision Systems : 10th International Conference, ICVS 2015, Copenhagen, Denmark, July 6-9, 2015, Proceedings

Computer Aided Verification : 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings

Advances in Immunopharmacology : Proceedings of the Second International Conference on Immunopharmacology, July 1982, Washington, USA

Social Computing, Behavioral-Cultural Modeling, and Prediction : 8th International Conference, SBP 2015, Washington, DC, USA, March 31-April 3, 2015. Proceedings

Computer Science -- Theory and Applications : 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings

Intelligent Computer Mathematics : 9th International Conference, AISC 2008 15th Symposium, Calculemus 2008 7th International Conference, MKM 2008 Birmingham, UK, July 28 - August 1, 2008, Proceedings

Intelligent Computer Mathematics : 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings

Intelligent Computer Mathematics : 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Grand Bend, Canada, July 6-12, 2009, Proceedings

Intelligent Computer Mathematics : 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011, Proceedings

Logic Programming : 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009, Proceedings

Discovery Science : 4th International Conference, DS 2001, Washington, DC, USA, November 25-28, 2001 Proceedings

Data Integration in the Life Sciences : 11th International Conference, DILS 2015, Los Angeles, CA, USA, July 9-10, 2015, Proceedings

User Modeling 2001 : 8th International Conference, UM 2001, Sonthofen, Germany, July 13-17, 2001. Proceedings

Intelligent Software Methodologies, Tools and Techniques : 14th International Conference, SoMet 2015, Naples, Italy, September 15-17, 2015. Proceedings

Scalable Uncertainty Management : Third International Conference, SUM 2009, Washington, DC, USA, September 28-30, 2009, Proceedings