Logic, Language, and Computation
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the second ...
Lire la suite
Logic-Based Program Synthesis and Transformation
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, ...
Lire la suite
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 ...
Lire la suite
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. ...
Lire la suite
Logics of Specification Languages
The editors and authors are authorities on these specification languages and their application. Dedicated chapters address: ...
Lire la suite
Logistics Systems: Design and Optimization
In a context of global competition, the optimization of logistics systems is inescapable. LOGISTICS SYSTEMS: Design and ...
Lire la suite
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 ...
Lire la suite
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, ...
Lire la suite
Longevity and Frailty
The articles contained in this book are the outcome of a colloquium sponsored by Fondation IPSEN in which interdisciplinary ...
Lire la suite
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 ...
Lire la suite
Low Power Methodology Manual
"Tools alone aren't enough to reduce dynamic and leakage power in complex chip designs - a well-planned methodology is ...
Lire la suite
Low-Cost Country Sourcing
Globalization has induced immense cost pressure in most industries. In combination with the economic downturn after the turn ...
Lire la suite
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 ...
Lire la suite
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 ...
Lire la suite
M-Solid Varieties of Algebras
It provides a complete and systematic introduction to the fundamentals of the hyperequational theory of universal algebra, ...
Lire la suite
M-Solid Varieties of Algebras
It provides a complete and systematic introduction to the fundamentals of the hyperequational theory of universal algebra, ...
Lire la suite
MDCT: A Practical Approach
Computed tomography (CT) is the most rapidly evolving medical imaging technology. This book describes current examination ...
Lire la suiteMEGAFLOW - Numerical Flow Simulation for Aircraft Design
This volume contains results of the German CFD initiative MEGAFLOW which combines many of the CFD development activities ...
Lire la suite
MICAI 2005: Advances in Artificial Intelligence
Constitutes the refereed proceedings of the 4th Mexican International Conference on Artificial Intelligence, MICAI 2005, ...
Lire la suite
MICAI 2006: Advances in Artificial Intelligence
This volume contains the papers presented during the oral session of the 5 Mexican International Conference on Artificial ...
Lire la suite
