A Roadmap for Formal Property Verification
This book develops the answers to these questions and fits them into a roadmap for formal property verification – a roadmap ...
اقرأ المزيد
A Seat on the Aisle, Please!
In this concise, clearly written, and sympathetic new book, Elizabeth Kavaler suggests that a new approach to UT disorders ...
اقرأ المزيد
A Short Course in Quantum Information Theory : An Approach From Theoretical Physics
This short and concise primer takes the vantage point of theoretical physics and the unity of physics. It sets out to strip ...
اقرأ المزيد
A Space of Their Own: The Archaeology of Nineteenth Century Lunatic Asylums in Britain, South Australia and Tasmania
The history of lunatic asylums – what do we really know about them? Films and television programs have portrayed them as ...
اقرأ المزيد
A Structural Framework for the Pricing of Corporate Securities
This book is the first comprehensive treatment, of structural credit risk models for the simultaneous and consistent pricing ...
اقرأ المزيد
A Twenty-First Century Guide to Aldersonian Marketing Thought
The book has three major themes: glimpses into the kind of interesting character he was, key excerpts from his writings, ...
اقرأ المزيدA vision-based system to early detection of drowning incidents in swimming pools / Ahmad AlKhouli ; Jan Allam ; Tuqa Alkhatib ; Abdulkarim Shahin ; Ahmad Saada
Being one of the leading causes of death; drowning has become a severe problem in the past few years. Our goal from this ...
اقرأ المزيد
AI 2008: Advances in Artificial Intelligence : 21st Australasian Joint Conference on Artificial Intelligence Auckland, New Zealand, December 1-5, 2008. Proceedings
This book constitutes the refereed proceedings of the 21th Australasian Joint Conference on Artificial Intelligence, AI 2008, ...
اقرأ المزيدAI home decorator / Enaam Anjo , Reham Ghazi and Haya Okar ; supervised by Ubai Sandouk and Khloud Al-Jallad انعام خالد انجو ، رهام غازي و هيا اسامة عوكر ؛ إشراف أبي صندوق و خلود الجلاد
Presents the development of “DesignMate”, an innovative AI home decorator application designed to revolutionize interior ...
اقرأ المزيد
ARIS Design Platform
ARIS is ranked as the leading Business Process Modelling tool in the Gartner Quadrant for Business Process Analysis and Optimization. ...
اقرأ المزيد
ARIS Design Platform : Getting Started with BPM
Containing tips, techniques and short cuts gained from practical experience, this book show how to use ARIS in an easy way, ...
اقرأ المزيد
Aalto in Detail : A Catalogue of Components / Céline Dietziker, Lukas Gruntz, David Haney
Celebrates the rich detail in the work of Aino, Elissa, and Alvar Aalto. Every support, railing, and handle is the result ...
اقرأ المزيد
Abnormal Skeletal Phenotypes
This book focuses on the radiographic changes of malformation syndromes and skeletal dysplasias. It is structured such that ...
اقرأ المزيد
Abstract Harmonic Analysis of Continuous Wavelet Transforms
This volume contains a systematic discussion of wavelet-type inversion formulae based on group representations, and their ...
اقرأ المزيد
Abstract State Machines, B and Z : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ...
اقرأ المزيد
Accelerated SQL Server 2008
The expert tuition and approach to rapid learning in Accelerated SQL Server 2008, one of the first SQL Server 2008 books ...
اقرأ المزيد
Access Control Models and Architectures For IoT and Cyber Physical Systems / Maanak Gupta, Smriti Bhatt, Asma Hassan Alshehri, Ravi Sandhu
Presents cybersecurity aspects of ubiquitous and growing IoT and Cyber Physical Systems. It also introduces a range of conceptual, ...
اقرأ المزيدAccess to Medicines and Vaccines : Implementing Flexibilities Under Intellectual Property Law
This book is the outcome of a Global Forum on Innovation, Intellectual Property and Access to Medicines held in December ...
اقرأ المزيد
Accessing Multilingual Information Repositories
The sixth campaign of the Cross Language Evaluation Forum (CLEF) for European languages was held from January to September ...
اقرأ المزيد
Accounting and Statistical Analyses for Sustainable Development Multiple Perspectives and Information-Theoretic Complexity Reduction
In this book Claudia Lemke develops a comprehensive Multi-Level Sustainable Development Index (MLSDI) that is applicable ...
اقرأ المزيد
