Electronic Books

Total Books: 101 - 120 /10086

This book develops the answers to these questions and fits them into a roadmap for formal property verification – a roadmap ...

In this concise, clearly written, and sympathetic new book, Elizabeth Kavaler suggests that a new approach to UT disorders ...

The book gives a streamlined and systematic introduction to strongly continuous semigroups of bounded linear operators on ...

Contains 2,612 entries and over 1,000 illustrations, reproduced from contemporary sources and from drawings by Ronald Escott, ...

This substantially enlarged second edition aims to lead a further stage in the computational revolution in commutative algebra. ...

A Software Process Model Handbook for Incorporating People's Capabilities offers the most advanced approach to date, empirically ...

Satellite navigation receivers are used to receive, process, and decode space-based navigation signals, such as those provided ...

The history of lunatic asylums – what do we really know about them? Films and television programs have portrayed them as ...

Ordinarily, only the interests of shareholders, debtholders, and corporate management are taken into account when analyzing ...

Provides a foundation of the analog and digital design processes in interior architecture, interior design and associated ...

Distributed and communicating objects are becoming ubiquitous. In global, Grid and Peer-to-Peer computing environments, extensive ...

Recent years have seen dramatic progress in shape recognition algorithms applied to ever-growing image databases. They have ...

The book has three major themes: glimpses into the kind of interesting character he was, key excerpts from his writings, ...

The Objective Structured Clinical Examination (OSCE) is a type of examination often used in health sciences. It is designed ...

Being one of the leading causes of death; drowning has become a severe problem in the past few years. Our goal from this ...

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

The 18th Australian Joint Conference on Artificial Intelligence (AI 2005) was held at the University of Technology, Sydney ...

This volume contains the proceedings of the 19th Australian Joint Conference on Artificial Intelligence (AI 2006) held at ...

The book is organized in topical sections on machine learning, neural networks, evolutionary computing, constraint satisfaction, ...

The book is organized in topical sections on machine learning, neural networks, evolutionary computing, constraint satisfaction, ...

Total Books: 101 - 120 /10086