This book constitutes the thoroughly refereed post-proceedings of the 15th International Symposium on Logic Based Program ...
Continue reading
In this book control algorithms are represented by the linear graph-schemes of algorithms (GSA), where the number of operator ...
Continue reading
The Workshop on Logic, Language, Information and Computation (WoLLIC) is an annual international forum on inter-disciplinary ...
Continue reading
The 21 revised full papers presented together with the abstracts of 7 tutorials and invited lectures were carefully reviewed ...
Continue reading
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, ...
Continue reading
The book signifies the arrival of a new renaissance in logic, a new revival not only of logic, but of the vision of logic ...
Continue reading
Modern logic has been intimately connected with algebra since its origins in figures such as Boole, De Morgan, and Peirce. ...
Continue reading
This expanded edition of ALogistics Systems Analysis@ includes new - search results and numerous modifications to enhance ...
Continue reading
Prompted and ever diversified by the specifically human interrogative logos, scientific inquiries seek a common system of ...
Continue reading
Situated at the crossroads of nature and culture, physics and consciousness, cosmos and life, history – intimately conjoined ...
Continue reading
The Human Condition-in-the-unity-of-everything-there-is-alive, under whose aegis the present selection of essays falls, offers ...
Continue reading
During its century-long unfolding, spreading in numerous directions, Husserlian phenomenology while loosening inner articulations, ...
Continue reading
This interdisciplinary book probes the subject of extraterrestrial intelligent life, offering scientific and technological ...
Continue reading
This book deals with the differential geometry of manifolds, loop spaces, line bundles and groupoids, and the relations of ...
Continue reading
"Tools alone aren't enough to reduce dynamic and leakage power in complex chip designs - a well-planned methodology is ...
Continue reading
Low-Frequency Noise in Advanced CMOS Devices begins with an introduction to noise, describing the fundamental noise sources ...
Continue reading
The book has been organized to make it easy for astronomers to use, enabling ground-based images and views to be compared ...
Continue reading
In the Lunar and Planetary Webcam User’s Guide Martin Mobberley de-mystifies the jargon of webcams and computer processing, ...
Continue reading
Learning the diagnostic elements of lung pathology requires not only great familiarity with a wide diversity of cases, but ...
Continue reading
Since the discovery of chemokines and of chemokine receptors it has become evident that expression of chemokines at the site ...
Continue reading