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

Web Services and Formal Methods : 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers

Web Services and Formal Methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers

Theory and Applications of Formal Argumentation : Second International Workshop, TAFA 2013, Beijing, China, August 3-5, 2013, Revised Selected Papers

Web Services and Formal Methods : 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers

Web Services and Formal Methods : 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers

Trustworthy Computing and Services : International Conference, ISCTCS 2013, Beijing, China, November 2013, Revised Selected Papers

Graph Structures for Knowledge Representation and Reasoning : Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers

Intelligence Science and Big Data Engineering : 4th International Conference, IScIDE 2013, Beijing, China, July 31 -- August 2, 2013, Revised Selected Papers

Graphics Recognition. Current Trends and Challenges : 10th International Workshop, GREC 2013, Bethlehem, PA, USA, August 20-21, 2013, Revised Selected Papers

Business Process Management Workshops : BPM 2013 International Workshops, Beijing, China, August 26, 2013, Revised Papers

Web Services and Formal Methods : 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007, Proceedings

Web Services and Formal Methods : 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings

Web Services and Formal Methods : Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings

Formal Aspects of Component Software : 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers

Web Services, Formal Methods, and Behavioral Types : 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madri

Trustworthy Computing and Services : International Conference, ISCTCS 2012, Beijing, China, May/June 2012, Revised Selected Papers

Pairing-Based Cryptography -- Pairing 2013 : 6th International Conference, Beijing, China, November 22-24, 2013, Revised Selected Papers

Public Key Infrastructures, Services and Applications : 10th European Workshop, EuroPKI 2013, Egham, UK, September 12-13, 2013, Revised Selected Papers

Trustworthy Computing and Services : International Conference, ISCTCS 2014, Beijing, China, November 28-29, 2014, Revised Selected papers

Advanced Parallel Processing Technologies : 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers