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