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