Electronic Books

Total Books: 2281 - 2300 /4431

Logic Based Program Synthesis and Transformation (vol. # 3901)

This book constitutes the thoroughly refereed post-proceedings of the 15th International Symposium on Logic Based Program ...

Logic Synthesis for Compositional Microprogram Control Units

In this book control algorithms are represented by the linear graph-schemes of algorithms (GSA), where the number of operator ...

Logic, Language, Information and Computation

The Workshop on Logic, Language, Information and Computation (WoLLIC) is an annual international forum on inter-disciplinary ...

Logic, Language, Information and Computation : 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings

The 21 revised full papers presented together with the abstracts of 7 tutorials and invited lectures were carefully reviewed ...

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

Logistics Systems Analysis

This expanded edition of ALogistics Systems Analysis@ includes new - search results and numerous modifications to enhance ...

Logos of Phenomenology and Phenomenology of The Logos. Book Four

Prompted and ever diversified by the specifically human interrogative logos, scientific inquiries seek a common system of ...

Logos of Phenomenology and Phenomenology of The Logos. Book Three

Situated at the crossroads of nature and culture, physics and consciousness, cosmos and life, history – intimately conjoined ...

Logos of Phenomenology and Phenomenology of The Logos. Book Two

The Human Condition-in-the-unity-of-everything-there-is-alive, under whose aegis the present selection of essays falls, offers ...

Logos of Phenomenology and Phenomenology of the Logos. Book One

During its century-long unfolding, spreading in numerous directions, Husserlian phenomenology while loosening inner articulations, ...

Lonely Minds in the Universe

This interdisciplinary book probes the subject of extraterrestrial intelligent life, offering scientific and technological ...

Loop Spaces, Characteristic Classes and Geometric Quantization

This book deals with the differential geometry of manifolds, loop spaces, line bundles and groupoids, and the relations of ...

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-Frequency Noise in Advanced MOS Devices

Low-Frequency Noise in Advanced CMOS Devices begins with an introduction to noise, describing the fundamental noise sources ...

Lunar Orbiter Photographic Atlas of the Near Side of the Moon

The book has been organized to make it easy for astronomers to use, enabling ground-based images and views to be compared ...

Lunar and Planetary Webcam Users Guide

In the Lunar and Planetary Webcam User’s Guide Martin Mobberley de-mystifies the jargon of webcams and computer processing, ...

Lung Pathology

Learning the diagnostic elements of lung pathology requires not only great familiarity with a wide diversity of cases, but ...

Lymphocyte Trafficking in Health and Disease

Since the discovery of chemokines and of chemokine receptors it has become evident that expression of chemokines at the site ...

Total Books: 2281 - 2300 /4431