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 ...
Weiterlesen
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 ...
Weiterlesen
Logic, Language, Information and Computation
The Workshop on Logic, Language, Information and Computation (WoLLIC) is an annual international forum on inter-disciplinary ...
Weiterlesen
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 ...
Weiterlesen
Logic-Based Program Synthesis and Transformation
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, ...
Weiterlesen
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 ...
Weiterlesen
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. ...
Weiterlesen
Logistics Systems Analysis
This expanded edition of ALogistics Systems Analysis@ includes new - search results and numerous modifications to enhance ...
Weiterlesen
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 ...
Weiterlesen
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 ...
Weiterlesen
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 ...
Weiterlesen
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, ...
Weiterlesen
Lonely Minds in the Universe
This interdisciplinary book probes the subject of extraterrestrial intelligent life, offering scientific and technological ...
Weiterlesen
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 ...
Weiterlesen
Low Power Methodology Manual
"Tools alone aren't enough to reduce dynamic and leakage power in complex chip designs - a well-planned methodology is ...
Weiterlesen
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 ...
Weiterlesen
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 ...
Weiterlesen
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, ...
Weiterlesen
Lung Pathology
Learning the diagnostic elements of lung pathology requires not only great familiarity with a wide diversity of cases, but ...
Weiterlesen
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 ...
Weiterlesen
