Electronic Books

Total Books: 1561 - 1580 /2772

Logic, Language, and Computation

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the second ...

Logic-Based Program Synthesis and Transformation

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, ...

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

Logistics Systems: Design and Optimization

In a context of global competition, the optimization of logistics systems is inescapable. LOGISTICS SYSTEMS: Design and ...

Logos of Phenomenology and Phenomenology of the Logos. Book Five

Having established in the ontopoiesis/phenomenology of life the creative function of the human being as the fulcrum of our ...

Longer Life and Healthy Aging

The focus of this book is on theoretical issues and empirical findings related to trends and determinants of healthy aging, ...

Longevity and Frailty

The articles contained in this book are the outcome of a colloquium sponsored by Fondation IPSEN in which interdisciplinary ...

Low Impact Building: Housing using Renewable Materials / Tom Woolley

Guides to the designs, technologies and materials that really make green buildings work will help architects, specifiers ...

Low Power Methodology Manual

"Tools alone aren't enough to reduce dynamic and leakage power in complex chip designs - a well-planned methodology is ...

Low-Cost Country Sourcing

Globalization has induced immense cost pressure in most industries. In combination with the economic downturn after the turn ...

Low-Dose Radiation Effects on Animals and Ecosystems Long-Term Study on the Fukushima Nuclear Accident

This book brings together the works of radiation biologists and ecologists to provide reliable radioecology data and gives ...

L’isomorphisme entre les tours de Lubin-Tate et de Drinfeld = The isomorphism between the Lubin-Tate and Drinfeld towers

This book contains a detailed and complete demonstration of the existence of an equivariate isomorphism between the Lubin-Tate ...

M-Solid Varieties of Algebras

It provides a complete and systematic introduction to the fundamentals of the hyperequational theory of universal algebra, ...

M-Solid Varieties of Algebras

It provides a complete and systematic introduction to the fundamentals of the hyperequational theory of universal algebra, ...

MDCT: A Practical Approach

Computed tomography (CT) is the most rapidly evolving medical imaging technology. This book describes current examination ...

MEGAFLOW - Numerical Flow Simulation for Aircraft Design

This volume contains results of the German CFD initiative MEGAFLOW which combines many of the CFD development activities ...

MICAI 2005: Advances in Artificial Intelligence

Constitutes the refereed proceedings of the 4th Mexican International Conference on Artificial Intelligence, MICAI 2005, ...

MICAI 2006: Advances in Artificial Intelligence

This volume contains the papers presented during the oral session of the 5 Mexican International Conference on Artificial ...

Total Books: 1561 - 1580 /2772