Electronic Books

Total Books: 41 - 60 /4870

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 ...

This short and concise primer takes the vantage point of theoretical physics and the unity of physics. It sets out to strip ...

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

This book is the first comprehensive treatment, of structural credit risk models for the simultaneous and consistent pricing ...

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

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

This book constitutes the refereed proceedings of the 21th Australasian Joint Conference on Artificial Intelligence, AI 2008, ...

Presents the development of “DesignMate”, an innovative AI home decorator application designed to revolutionize interior ...

ARIS is ranked as the leading Business Process Modelling tool in the Gartner Quadrant for Business Process Analysis and Optimization. ...

Containing tips, techniques and short cuts gained from practical experience, this book show how to use ARIS in an easy way, ...

Celebrates the rich detail in the work of Aino, Elissa, and Alvar Aalto. Every support, railing, and handle is the result ...

This book focuses on the radiographic changes of malformation syndromes and skeletal dysplasias. It is structured such that ...

This volume contains a systematic discussion of wavelet-type inversion formulae based on group representations, and their ...

This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ...

The expert tuition and approach to rapid learning in Accelerated SQL Server 2008, one of the first SQL Server 2008 books ...

Presents cybersecurity aspects of ubiquitous and growing IoT and Cyber Physical Systems. It also introduces a range of conceptual, ...

This book is the outcome of a Global Forum on Innovation, Intellectual Property and Access to Medicines held in December ...

The sixth campaign of the Cross Language Evaluation Forum (CLEF) for European languages was held from January to September ...

In this book Claudia Lemke develops a comprehensive Multi-Level Sustainable Development Index (MLSDI) that is applicable ...

Total Books: 41 - 60 /4870