Electronic Books

Total Books: 141 - 158 /158
Static Analysis (vol. # 3672)

"This volume contains the papers accepted for presentation at the 12th International Static Analysis Symposium (SAS 2005) ...

Weiterlesen
Static Analysis : 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings

The book addresses all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, ...

Weiterlesen
Stochastic Ageing and Dependence for Reliability

Ageing and dependence are two important characteristics in reliability and survival analysis, and they affect significantly ...

Weiterlesen
Substructuring Method for Civil Structural Health Monitoring / Shun Weng , Hongping Zhu , Yong Xia

Investigates the substructuring technology in structural health monitoring (SHM) to improve the accuracy and efficiency of ...

Weiterlesen
The Anatomical Basis of Dentistry / Bernard Liebgott

Includes full-color coverage of the regions of the head and neck that relate to applied anatomy for the clinical practice ...

Weiterlesen
The Architecture of Persistence : Designing for Future Use / David Fannon, Michelle Laboy, Peter Wiederspahn

Why do some buildings last for generations as beloved and useful places, while others do not? How can designers today create ...

Weiterlesen
The Future of Software Quality Assurance

This book, published to mark the 15th anniversary of the International Software Quality Institute (iSQI), is intended to ...

Weiterlesen
NoIMG
The Maintenance Management Framework

The Maintenance Management Framework describes and reviews the concept, process and framework of modern maintenance management ...

Weiterlesen
Theory and Practice of Model Transformations : First International Conference, ICMT 2008, Zürich, Switzerland, July 1-2, 2008 Proceedings

This book includes different issues related with: process and engineering of model transformations; model transformations ...

Weiterlesen
Third-Party Liability of Classification Societies

Classification societies are charged with the technical supervision of maritime shipping to enhance the safety of life and ...

Weiterlesen
Understanding Planning Tasks : Domain Complexity and Heuristic Decomposition

Action planning has always played a central role in Artificial Intelligence. Given a description of the current situation, ...

Weiterlesen
Variable Domain-specific Software Languages with DjDSL

This book details the conceptual foundations, design and implementation of the domain-specific language (DSL) development ...

Weiterlesen
Verification, Model Checking, and Abstract Interpretation

This volume contains the papers presented at VMCAI 2007: Verification, Model Checking and Abstract Interpretation held January ...

Weiterlesen
Verification, Model Checking, and Abstract Interpretation : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings

The book feature current research from the communities of verification, program certification, model checking, debugging ...

Weiterlesen
Visualizing the Structure of Science

Vargas-Quesada and Moya-Anegón propose a methodology for visualizing large scientific domains. They create science maps, ...

Weiterlesen
Wayfinding : people, signs, and architecture / Paul Arthur; Romedi Passini

Coined the terms 'signage' and 'wayfinding', the use of pictograms, words, colours, and architecture to help people find ...

Weiterlesen
White Gold: The Commercialisation of Rice Farming in the Lower Mekong Basin

This book is about understanding the processes involved in the transformation of smallholder rice farming in the Lower Mekong ...

Weiterlesen
Youthquake 2017 : The Rise of Young Cosmopolitans in Britain

Investigates the reasons behind the 2017 youthquake – which saw the highest rate of youth turnout in a quarter of a century, ...

Weiterlesen
Total Books: 141 - 158 /158