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 Reasoning and Rule Systems : 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings.

Symbiotic Interaction : 4th International Workshop, Symbiotic 2015, Berlin, Germany, October 7-8, 2015, Proceedings

Rule Technologies: Foundations, Tools, and Applications : 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings

Automated Deduction - CADE-25 : 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings

Protocols for High Speed Networks : 7th IFIP/IEEE International Workshop, PfHSN 2002, Berlin, Germany, April 22-24, 2002. Proceedings

Artificial General Intelligence : 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings

Electronic Participation : 7th IFIP 8.5 International Conference, ePart 2015, Thessaloniki, Greece, August 30 -- September 2, 2015, Proceedings

Formal Grammar : 19th International Conference, Formal Grammar 2014, Tubingen, Germany, August 16-17, 2014. Proceedings

Traffic Monitoring and Analysis : 7th International Workshop, TMA 2015, Barcelona, Spain, April 21-24, 2015. Proceedings

NASA Formal Methods : 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings

Multiple Access Communications : 7th International Workshop, MACOM 2014, Halmstad, Sweden, August 27-28, 2014, Proceedings

Software Engineering for Resilient Systems : 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings

Multiple Classifier Systems : 12th International Workshop, MCS 2015, Gunzburg, Germany, June 29 - July 1, 2015, Proceedings

Systems and Frameworks for Computational Morphology : Third International Workshop, SFCM 2013, Berlin, Germany, September 5, 2013, Proceedings

Algorithmic Number Theory : 7th International Symposium, ANTS-VII, Berlin, Germany, July 23-28, 2006, Proceedings

Descriptional Complexity of Formal Systems : 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings

Model Checking Software : 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings

Machine Learning in Medical Imaging : 6th International Workshop, MLMI 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 5, 2015, Proceedings

Learning Technology for Education in Cloud : 4th International Workshop, LTEC 2015, Maribor, Slovenia, August 24-28, 2015, Proceedings

Reasoning Web. Web Logic Rules : 11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, Tutorial Lectures.