"This volume contains the papers accepted for presentation at the 12th International Static Analysis Symposium (SAS 2005) ...
WeiterlesenThe book addresses all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, ...
WeiterlesenAgeing and dependence are two important characteristics in reliability and survival analysis, and they affect significantly ...
WeiterlesenInvestigates the substructuring technology in structural health monitoring (SHM) to improve the accuracy and efficiency of ...
WeiterlesenIncludes full-color coverage of the regions of the head and neck that relate to applied anatomy for the clinical practice ...
WeiterlesenWhy do some buildings last for generations as beloved and useful places, while others do not? How can designers today create ...
WeiterlesenThis book, published to mark the 15th anniversary of the International Software Quality Institute (iSQI), is intended to ...
WeiterlesenThe Maintenance Management Framework describes and reviews the concept, process and framework of modern maintenance management ...
WeiterlesenThis book includes different issues related with: process and engineering of model transformations; model transformations ...
WeiterlesenClassification societies are charged with the technical supervision of maritime shipping to enhance the safety of life and ...
WeiterlesenAction planning has always played a central role in Artificial Intelligence. Given a description of the current situation, ...
WeiterlesenThis book details the conceptual foundations, design and implementation of the domain-specific language (DSL) development ...
WeiterlesenThis volume contains the papers presented at VMCAI 2007: Verification, Model Checking and Abstract Interpretation held January ...
WeiterlesenThe book feature current research from the communities of verification, program certification, model checking, debugging ...
WeiterlesenVargas-Quesada and Moya-Anegón propose a methodology for visualizing large scientific domains. They create science maps, ...
WeiterlesenCoined the terms 'signage' and 'wayfinding', the use of pictograms, words, colours, and architecture to help people find ...
WeiterlesenThis book is about understanding the processes involved in the transformation of smallholder rice farming in the Lower Mekong ...
WeiterlesenInvestigates the reasons behind the 2017 youthquake – which saw the highest rate of youth turnout in a quarter of a century, ...
Weiterlesen