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 ...
Lee mas
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 ...
Lee mas
Logic, Language, Information and Computation
The Workshop on Logic, Language, Information and Computation (WoLLIC) is an annual international forum on inter-disciplinary ...
Lee mas
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 ...
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
Logistics Systems Analysis
This expanded edition of ALogistics Systems Analysis@ includes new - search results and numerous modifications to enhance ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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, ...
Lee mas
Lonely Minds in the Universe
This interdisciplinary book probes the subject of extraterrestrial intelligent life, offering scientific and technological ...
Lee mas
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 ...
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-Frequency Noise in Advanced MOS Devices
Low-Frequency Noise in Advanced CMOS Devices begins with an introduction to noise, describing the fundamental noise sources ...
Lee mas
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 ...
Lee mas
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, ...
Lee mas
Lung Pathology
Learning the diagnostic elements of lung pathology requires not only great familiarity with a wide diversity of cases, but ...
Lee mas
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 ...
Lee mas
