Electronic Books

Total Books: 461 - 480 /3600

Automated Technology for Verification and Analysis

This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification ...

Automated Technology for Verification and Analysis : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings

This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification ...

Automated Technology for Vertification and Analysis

The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, The main ...

Automatic Autocorrelation and Spectral Analysis

It takes advantage of greater computing power and robust algorithms to produce enough candidate models to be sure of providing ...

Automatic Differentiation: Applications, Theory, and Implementations

This collection covers the state of the art in automatic differentiation theory and practice. Practitioners and students ...

Automating Business Modelling

Enterprise Modelling (EM) methods are frequently used by entrepreneurs as an analysis tool for describing and redesigning ...

Automotive Software- Connected Services in Mobile Networks

Software development for the automotive domain is currently subject to a silent revolution. On the one hand, software has ...

Autonomic and Trusted Computing : 5th International Conference, ATC 2008, Oslo, Norway, June 23-25, 2008 Proceedings

This book constitutes the refereed procedings of the 5th International Conference on Autonomic and Trusted Computing, ATC ...

Autonomy Oriented Computing

Autonomy Oriented Computing explores the important theoretical and practical issues in AOC, by analyzing methodologies and ...

Axial Flux Permanent Magnet Brushless Machines

Axial Flux Permanent Magnet (AFPM) brushless machines are modern electrical machines with a lot of advantageous merits over ...

Axial Flux Permanent Magnet Brushless Machines

This book deals with the analysis, construction, design, control and applications of AFPM machines. The authors present their ...

Axiom of Choice

AC, the axiom of choice, because of its non-constructive character, is the most controversial mathematical axiom, shunned ...

Azaheterocycles Based on -, ß-Unsaturated Carbonyls

This book is devoted to heterocyclizations of aliphatic and aromatic, -unsaturated carbonyls with various binucleophiles ...

B 2007: Formal Specification and Development in B

These proceedingsrecordthe papers presented at the Seventh InternationalC- ference of B Users (B 2007), held in the city ...

BIM for Design Firms: Data Rich Architecture at Small and Medium Scales / François Lévy, Jeffrey W. Ouellette

Expands on Building Information Modeling, showing its applicability to a range of design-oriented projects. It emphasizes ...

Bargaining Power Effects in Financial Contracting

The aim of this dissertation is to examine bargaining power effects in financial contracting. In particular power effects ...

Barry's Advanced Construction of Buildings, 4th Edition / Stephen Emmitt

Covers the construction of larger-scale buildings (primarily residential, commercial and industrial) constructed with load ...

Barry's Introduction to Construction of Buildings / Stephen Emmitt

Starts by taking an in-depth look at the construction process and general principles of construction. It then offers comprehensive ...

Barry's Introduction to Construction of Buildings, 4th Edition / Stephen Emmitt

Based mainly on domestic and residential buildings—and filled with extensive illustrations throughout—this concise text ...

Basic Fracture Mechanics and its Applications / Ashok Saxena

Presents specific aspects of how fracture mechanics is used to address fatigue crack growth, environment assisted cracking, ...

Total Books: 461 - 480 /3600