Electronic Books

Total Books: 21 - 40 /3546

A Handbook of Sustainable Building Design and Engineering : An Integrated Approach to Energy, Health and Operational Performance / Dejan Mumovic, Mat Santamouris

Equips students with the tools they will need to tackle the challenges of sustainable building design and engineering. The ...

A High-Performance Logical Framework -- All About Maude

This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...

A High-Performance Logical Framework -- All About Maude

This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...

A Mathematical Introduction to Conformal Field Theory

The first part of this book gives a detailed, self-contained and mathematically rigorous exposition of classical conformal ...

A Modern Theory of Factorial Design

Factorial design plays a fundamental role in efficient and economic experimentation with multiple input variables and is ...

A Modern Theory of Factorial Design

Factorial design plays a fundamental role in efficient and economic experimentation with multiple input variables and is ...

A Practical Introduction to PSL

Practical Introduction to PSL is primarily targeted to hardware designers and verification engineers who plan to use PSL. ...

A Practical Programming Model for the Multi-Core Era : 3rd International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007 Proceedings

This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on OpenMP, IWOMP ...

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

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

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

Total Books: 21 - 40 /3546