Electronic Books

Total Books: 1561 - 1580 /2772

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Total Books: 1561 - 1580 /2772