Electronic Books

Total Books: 61 - 80 /5761

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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