Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...
Continue readingThis textbook is designed for postgraduate studies in the field of 3D Computer Vision. It also provides a useful reference ...
Continue readingAssessing developments in three-dimensional cloud radiation, this volume treats two main application areas: the impact of ...
Continue readingThe Kuala Lumpur International Conference on Biomedical Engineering (Biomed 2006) was held from 11 to 14 December 2006 at ...
Continue readingThis text provides a comprehensive introduction to the key topics in the history of computing, in an easy-to-follow and concise ...
Continue readingA Comprehensive Guide to Child Custody Evaluations covers these three essential areas to walk readers through the evaluation ...
Continue readingThis is a short, distinctive, modern, and motivated introduction to mathematical logic for senior undergraduate and beginning ...
Continue readingA Dictionary of Biomedicine fills the need to define the specialist language used within an evolving field by offering clear, ...
Continue readingThis popular dictionary, formerly published as the Penguin Dictionary of Electronics, has been extensively revised and updated, ...
Continue readingThis dictionary covers terms used in public health science and practice, including areas such as communicable disease control, ...
Continue readingThe phenomenon of non-random spatial concentrations of firms in one or few related sectors (clusters) is intensively debated ...
Continue readingThis book provides insight on how to interpret capability in ageing – one’s individual ability to perform actions in ...
Continue readingThis book contains the edited version of the invited lectures that were delivered by prominent researchers at UTL. This book ...
Continue readingSystemVerilog language consists of three very specific areas of constructs - design, assertions and testbench. This guide ...
Continue readingA Sea Change in a Changing Sea The oceans, seas and coastal areas encompass over 70% of the earth’s surface. They are a ...
Continue readingPart of the series sponsored by the European Association of Neurosurgical Societies. The Advances section presents fields ...
Continue readingAI 2004 was the seventeenth in the series of annual Australian artificial intelli-gence conferences. This conference is the ...
Continue readingThis volume collects the papers selected for presentation at the IX Congress of the Italian Association for Arti?cial Intelligence ...
Continue readingProbabilistic techniques are increasingly being employed in computer programs and systems because they can increase efficiency ...
Continue readingAcid rain is still with us. Although it is a problem that people have worked diligently to solve, there are still many problem ...
Continue reading