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