Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3835)
Constitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, ...
Lee mas
Logica Universalis
The book signifies the arrival of a new renaissance in logic, a new revival not only of logic, but of the vision of logic ...
Lee mas
Logica Universalis : Towards a General Theory of Logic
Modern logic has been intimately connected with algebra since its origins in figures such as Boole, De Morgan, and Peirce. ...
Lee mas
Logics of Specification Languages
The editors and authors are authorities on these specification languages and their application. Dedicated chapters address: ...
Lee mas
MICAI 2008: Advances in Artificial Intelligence :7th Mexican International Conference on Artificial Intelligence, Atizapán de Zaragoza, Mexico, October 27-31, 2008 Proceedings
The 96 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from 363 submissions. ...
Lee mas
Mathematical Foundations of Computer Science 2008 : 33rd International Symposium, MFCS 2008, Toru´n, Poland, August 25-29, 2008. Proceedings
This book constitutes the refereed proceedings of the 33rd International Symposium on Mathematical Foundations of Computer ...
Lee mas
Measure, Integration & Real Analysis
This book welcomes students into the fundamental theory of measure, integration, and real analysis. Focusing on an accessible ...
Lee mas
Media Resistance
his book is about those who dislike, protest, and try to abstain from media, both new and old. It explains why media resistance ...
Lee mas
Microscale Heat Transfer - Fundamentals and Applications
This volume contains an archival record of the NATO Advanced Institute on Microscale Heat Transfer – Fundamental and Applications ...
Lee mas
Mid-infrared Semiconductor Optoelectronics
Mid-infrared Semiconductor Optoelectronics is an overview of the current status and technological development in this rapidly ...
Lee mas
Model Abstraction in Dynamical Systems: Application to Mobile Robot Control
The subject of this book is model abstraction of dynamical systems. The p- mary goal of the work embodied in this book is ...
Lee mas
Model Checking Software (vol. # 3639)
Constitutes the refereed proceedings of the 12th International SPIN workshop on Model Checking Software, SPIN 2005, held ...
Lee mas
Model Checking Software (vol. # 3925)
he name “SPIN” refers both to a workshopon model checking and to a famous model checking tool. The SPIN workshop is an ...
Lee mas
Model-Driven Development of Reliable Automotive Services : Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers
This book constitutes the thoroughly refereed post-workshop proceedings of the Second Automotive Software Workshop, ASWSD ...
Lee mas
Modeling Decisions for Artificial Intelligence : 5th International Conference, MDAI 2008 Sabadell, Spain, October 30-31, 2008. Proceedings
This book constitutes the refereed proceedings of the 5th International Conference on Modeling Decisions for Artificial Intelligence, ...
Lee mas
Modeling in Biopharmaceutics, Pharmacokinetics and Pharmacodynamics
The state of the art in Biopharmaceutics, Pharmacokinetics, and Pharmacodynamics Modeling is presented in this book. It shows ...
Lee mas
Modeling in Biopharmaceutics, Pharmacokinetics and Pharmacodynamics
The state of the art in Biopharmaceutics, Pharmacokinetics, and Pharmacodynamics Modeling is presented in this book. It shows ...
Lee mas
Modern Developments in X-Ray and Neutron Optics
This volume describes modern developments in reflective, refractive and diffractive optics for short wavelength radiation ...
Lee mas
Modern Optical Spectroscopy
This textbook offers clear explanations of the theory of optical spectroscopic phenomena and shows how these ideas are used ...
Lee mas
Molecular Gels
Molecular gels and fibrillar networks – a comprehensive guide to experiment and theory Molecular Gels: Materials with Self-Assembled ...
Lee mas
