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 ...
اقرأ المزيد
