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

Automated Reasoning : 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings

Automated Reasoning : Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings

Automated Reasoning : First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings

Automated Reasoning : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings

Automated Reasoning : 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings

Automated Reasoning : Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

Automated Reasoning : 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings

Reversible Computation : 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings

Immersive Learning Research Network : Second International Conference, iLRN 2016 Santa Barbara, CA, USA, June 27 - July 1, 2016 Proceedings

Automated Deduction - CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings

Automated Deduction - CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings

Electronic Participation : 8th IFIP WG 8.5 International Conference, ePart 2016, Guimaraes, Portugal, September 5-8, 2016, Proceedings

Computational Processing of the Portuguese Language : 12th International Conference, PROPOR 2016, Tomar, Portugal, July 13-15, 2016, Proceedings

Adaptive and Natural Computing Algorithms : Proceedings of the International Conference in Coimbra, Portugal, 2005

Future Multimedia Networking : Second International Workshop, FMN 2009, Coimbra, Portugal, June 22-23, 2009, Proceedings

Cross-Cultural Design : 8th International Conference, CCD 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings

Automated Deduction in Geometry : 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers

Autonomous and Intelligent Systems : Third International Conference, AIS 2012, Aviero, Portugal, June 25-27, 2012, Proceedings

Graph-Based Representation and Reasoning : 22nd International Conference on Conceptual Structures, ICCS 2016, Annecy, France, July 5-7, 2016, Proceedings

Pattern Recognition : 8th Mexican Conference, MCPR 2016, Guanajuato, Mexico, June 22-25, 2016. Proceedings