Electronic Books

Total Books: 61 - 80 /5761

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 Software-Defined GPS and Galileo Receiver

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

A Visual Atlas for Soil Micromorphologists

This atlas is an up-to-date visual resource on the features and structures observed in soil thin sections, i.e. soil micromorphology.

ADVANCES AND TECHNICAL STANDARDS IN NEUROSURGERY, Vol. 32

This volume of Advances and Technical Standards in Neurosurgery covers some important new developments in functional neurosurgery ...

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

AI 2006: Advances in Artificial Intelligence

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

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 2020: Advances in Artificial Intelligence

This book constitutes the proceedings of the 33rd Australasian Joint Conference on Artificial Intelligence, AI 2020, held ...

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

AI*IA 2007: Artificial Intelligence and Human-Oriented Computing

The book is organized in topical sections on knowledge representation and reasoning, multiagent systems, distributed AIai, ...

AI*IA 2007: Artificial Intelligence and Human-Oriented Computing

The book is organized in topical sections on knowledge representation and reasoning, multiagent systems, distributed AIai, ...

AIU projects evaluation platform عمار ياسر شماع ؛ باسل محمد وئام القوتلي ؛ محمد مؤيد محمد نعيم خولة ؛ إشراف م. اسراء القاسمي

The project is a cloud computing system constructed to provide the service of helping students run their practical projects ...

ANEMONA : A Mulit-agent Methodology for Holonic Manufacturing Systems

ANEMONA is a multi-agent system (MAS) methodology for holonic manufacturing system (HMS) analysis and design, based on HMS ...

ARIS Design Platform

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

Abeta Peptide and Alzheimers Disease

Abeta Peptide and Alzheimer’s Disease summarizes current knowledge of beta-amyloid peptide (Aß) and its role as the major ...

Abnormal Skeletal Phenotypes

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

Academic Flying and the Means of Communication

This book shines a light on how and why academic work became entwined with air travel, and what can be done to change academia’s ...

Accelerator-Driven System at Kyoto University Critical Assembly

This book is a unique compilation of experimental benchmark analyses of the accelerator-driven system (ADS) at the Kyoto ...

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

Accountability for International Humanitarian Law Violations: The Case of Rwanda and East Timor

The main objective of this book is to make available to an informed audience a le gal and policy oriented study on accountability ...

Total Books: 61 - 80 /5761