Electronic Books

Total Books: 101 - 120 /201

Constitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, ...

The book signifies the arrival of a new renaissance in logic, a new revival not only of logic, but of the vision of logic ...

Modern logic has been intimately connected with algebra since its origins in figures such as Boole, De Morgan, and Peirce. ...

The editors and authors are authorities on these specification languages and their application. Dedicated chapters address: ...

The 96 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from 363 submissions. ...

This book constitutes the refereed proceedings of the 33rd International Symposium on Mathematical Foundations of Computer ...

This book welcomes students into the fundamental theory of measure, integration, and real analysis. Focusing on an accessible ...

his book is about those who dislike, protest, and try to abstain from media, both new and old. It explains why media resistance ...

This volume contains an archival record of the NATO Advanced Institute on Microscale Heat Transfer – Fundamental and Applications ...

Mid-infrared Semiconductor Optoelectronics is an overview of the current status and technological development in this rapidly ...

The subject of this book is model abstraction of dynamical systems. The p- mary goal of the work embodied in this book is ...

Constitutes the refereed proceedings of the 12th International SPIN workshop on Model Checking Software, SPIN 2005, held ...

he name “SPIN” refers both to a workshopon model checking and to a famous model checking tool. The SPIN workshop is an ...

This book constitutes the thoroughly refereed post-workshop proceedings of the Second Automotive Software Workshop, ASWSD ...

This book constitutes the refereed proceedings of the 5th International Conference on Modeling Decisions for Artificial Intelligence, ...

The state of the art in Biopharmaceutics, Pharmacokinetics, and Pharmacodynamics Modeling is presented in this book. It shows ...

The state of the art in Biopharmaceutics, Pharmacokinetics, and Pharmacodynamics Modeling is presented in this book. It shows ...

This volume describes modern developments in reflective, refractive and diffractive optics for short wavelength radiation ...

This textbook offers clear explanations of the theory of optical spectroscopic phenomena and shows how these ideas are used ...

Molecular gels and fibrillar networks – a comprehensive guide to experiment and theory Molecular Gels: Materials with Self-Assembled ...

Total Books: 101 - 120 /201