Electronic Books

Total Books: 1 - 20 /1276
25 Years of Model Checking : History, Achievements, Perspectives

Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...

Lee mas
3D Imaging, Analysis and Applications

This textbook is designed for postgraduate studies in the field of 3D Computer Vision. It also provides a useful reference ...

Lee mas
3D Radiative Transfer in Cloudy Atmospheres

Assessing developments in three-dimensional cloud radiation, this volume treats two main application areas: the impact of ...

Lee mas
NoIMG
3rd Kuala Lumpur International Conference on Biomedical Engineering 2006

The Kuala Lumpur International Conference on Biomedical Engineering (Biomed 2006) was held from 11 to 14 December 2006 at ...

Lee mas
A Brief History of Computing

This text provides a comprehensive introduction to the key topics in the history of computing, in an easy-to-follow and concise ...

Lee mas
A Comprehensive Guide to Child Custody Evaluations: Mental Health and Legal Perspectives

A Comprehensive Guide to Child Custody Evaluations covers these three essential areas to walk readers through the evaluation ...

Lee mas
A Course on Mathematical Logic

This is a short, distinctive, modern, and motivated introduction to mathematical logic for senior undergraduate and beginning ...

Lee mas
A Dictionary of Biomedicine / Brian Nation, John Lackie

A Dictionary of Biomedicine fills the need to define the specialist language used within an evolving field by offering clear, ...

Lee mas
A Dictionary of Electronics and Electrical Engineering / Andrew Butterfield, John Szymanski

This popular dictionary, formerly published as the Penguin Dictionary of Electronics, has been extensively revised and updated, ...

Lee mas
A Dictionary of Public Health / Miquel Porta

This dictionary covers terms used in public health science and practice, including areas such as communicable disease control, ...

Lee mas
A Life Cycle for Clusters?

The phenomenon of non-random spatial concentrations of firms in one or few related sectors (clusters) is intensively debated ...

Lee mas
NoIMG
A Multidisciplinary Approach to Capability in Age and Ageing

This book provides insight on how to interpret capability in ageing – one’s individual ability to perform actions in ...

Lee mas
A Portrait of State-of-the-Art Research at the Technical University of Lisbon

This book contains the edited version of the invited lectures that were delivered by prominent researchers at UTL. This book ...

Lee mas
A Practical Guide for SystemVerilog Assertions

SystemVerilog language consists of three very specific areas of constructs - design, assertions and testbench. This guide ...

Lee mas
A Sea Change: The Exclusive Economic Zone and Governance Institutions for Living Marine Resources

A Sea Change in a Changing Sea The oceans, seas and coastal areas encompass over 70% of the earth’s surface. They are a ...

Lee mas
ADVANCES AND TECHNICAL STANDARDS IN NEUROSURGERY, Vol. 31

Part of the series sponsored by the European Association of Neurosurgical Societies. The Advances section presents fields ...

Lee mas
AI 2004: Advances in Artificial Intelligence

AI 2004 was the seventeenth in the series of annual Australian artificial intelli-gence conferences. This conference is the ...

Lee mas
AI*IA 2005: Advances in Artificial Intelligence

This volume collects the papers selected for presentation at the IX Congress of the Italian Association for Arti?cial Intelligence ...

Lee mas
Abstraction, Refinement and Proof for Probabilistic Systems

Probabilistic techniques are increasingly being employed in computer programs and systems because they can increase efficiency ...

Lee mas
Acid Rain - Deposition to Recovery

Acid rain is still with us. Although it is a problem that people have worked diligently to solve, there are still many problem ...

Lee mas
Total Books: 1 - 20 /1276