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