Dental Pathology : A Practical Introduction

On Kolm's Theory of Macrojustice : A Pluridisciplinary Forum of Exchange

Arithmetical Investigations : Representation Theory, Orthogonal Polynomials, and Quantum Interpolations

Synthesis of Heterocycles via Cycloadditions II

The Euro, Inflation and Consumers' Perceptions : Lessons from Italy

Synthesis of Heterocycles via Cycloadditions I

Tools and Criteria for Sustainable Coastal Ecosystem Management : Examples from the Baltic Sea and Other Aquatic Systems

Multiscale Problems in the Life Sciences : From Microscopic to Macroscopic

Andrology : Male Reproductive Health and Dysfunction

Orphan G Protein-Coupled Receptors and Novel Neuropeptides

Bioinformatics and Systems Biology : Collaborative Research and Resources

Photonic Crystals : Towards Nanoscale Photonic Devices

Mixed Finite Elements, Compatibility Conditions, and Applications : Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy, June 26 - July 1, 2006

Usability of Speech Dialog Systems : Listening to the Target Audience

Multimodal User Interfaces : From Signals to Interaction

Mathematics of Fuzziness-Basic Issues

Portfolios of Real Options

Hybrid Metaheuristics : An Emerging Approach to Optimization

European Robotics Symposium 2008

Intelligent Decision and Policy Making Support Systems

FME 2003: Formal Methods : International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings

FME 2002: Formal Methods - Getting IT Right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings

FM 2005: Formal Methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings

Stochastic Algorithms: Foundations and Applications : International Symposium, SAGA 2001 Berlin, Germany, December 13-14, 2001 Proceedings

FM 2014: Formal Methods : 19th International Symposium, Singapore, May 12-16, 2014. Proceedings

Business Modeling and Software Design : 10th International Symposium, BMSD 2020, Berlin, Germany, July 6-8, 2020, Proceedings

Reliable Software Technologies -- Ada-Europe 2013 : 18th International Conference, Berlin, Germany, June 11-15, 2013, Proceedings

Teaching Formal Methods : CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings

Formal Methods and Software Engineering : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings

Integrated Formal Methods : 7th International Conference, IFM 2009, Dusseldorf, Germany, February 16-19, 2009, Proceedings

Software Composition : 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings

FM 2008: Formal Methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings

FM 2006: Formal Methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings

FM 2011: Formal Methods : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings

Functional and Logic Programming : 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001. Proceedings

Quantum Interaction : Third International Symposium, QI 2009, Saarbrucken, Germany, March 25-27, 2009, Proceedings

NASA Formal Methods : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings

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

Mathematical Software - ICMS 2016 : 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings

Reliable Software Technologies - Ada-Europe 2001 : 6th Ada-Europe International Conference on Reliable Software Technologies Leuven, Belgium, May 14-18, 2001 Proceedings