Electronic Books

Total Books: 101 - 120 /201

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 ...

Total Books: 101 - 120 /201