Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3835)
Constitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, ...
اقرأ المزيد
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 ...
اقرأ المزيد
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. ...
اقرأ المزيد
Logics of Specification Languages
The editors and authors are authorities on these specification languages and their application. Dedicated chapters address: ...
اقرأ المزيد
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. ...
اقرأ المزيد
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 ...
اقرأ المزيد
Measure, Integration & Real Analysis
This book welcomes students into the fundamental theory of measure, integration, and real analysis. Focusing on an accessible ...
اقرأ المزيد
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 ...
اقرأ المزيد
Microscale Heat Transfer - Fundamentals and Applications
This volume contains an archival record of the NATO Advanced Institute on Microscale Heat Transfer – Fundamental and Applications ...
اقرأ المزيد
Mid-infrared Semiconductor Optoelectronics
Mid-infrared Semiconductor Optoelectronics is an overview of the current status and technological development in this rapidly ...
اقرأ المزيد
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 ...
اقرأ المزيد
Model Checking Software (vol. # 3639)
Constitutes the refereed proceedings of the 12th International SPIN workshop on Model Checking Software, SPIN 2005, held ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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, ...
اقرأ المزيد
Modeling in Biopharmaceutics, Pharmacokinetics and Pharmacodynamics
The state of the art in Biopharmaceutics, Pharmacokinetics, and Pharmacodynamics Modeling is presented in this book. It shows ...
اقرأ المزيد
Modeling in Biopharmaceutics, Pharmacokinetics and Pharmacodynamics
The state of the art in Biopharmaceutics, Pharmacokinetics, and Pharmacodynamics Modeling is presented in this book. It shows ...
اقرأ المزيد
Modern Developments in X-Ray and Neutron Optics
This volume describes modern developments in reflective, refractive and diffractive optics for short wavelength radiation ...
اقرأ المزيد
Modern Optical Spectroscopy
This textbook offers clear explanations of the theory of optical spectroscopic phenomena and shows how these ideas are used ...
اقرأ المزيد
Molecular Gels
Molecular gels and fibrillar networks – a comprehensive guide to experiment and theory Molecular Gels: Materials with Self-Assembled ...
اقرأ المزيد
