Following the recent developments in the field of absolute stability, Professor Xiaoxin Liao, in conjunction with Professor ...
Weiterlesen
This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ...
Weiterlesen
This book describes recent research developments in automatic abstraction refinement techniques. The authors address the ...
Weiterlesen
Probabilistic techniques are increasingly being employed in computer programs and systems because they can increase efficiency ...
Weiterlesen
Accelerated C# 2008 gives you everything you need to know about C# 2008 in a concentrated 500 pages of must-know information ...
Weiterlesen
Ajax is a web development technique that takes advantage of JavaScript to display and interact dynamically with information ...
Weiterlesen
Visual Basic 2008 offers powerful new features, and Accelerated VB 2008 is the fastest path to mastering them, and the rest ...
Weiterlesen
this book is presenting a review of basic proteomic techniques. The second part of the book is related to the novel high ...
Weiterlesen
This book is a unique compilation of experimental benchmark analyses of the accelerator-driven system (ADS) at the Kyoto ...
Weiterlesen
In this book Claudia Lemke develops a comprehensive Multi-Level Sustainable Development Index (MLSDI) that is applicable ...
Weiterlesen
This volume presents a rich account of the development of accreditation and evaluation in 20 European countries. The authors ...
Weiterlesen
This book represents the first comprehensive study done in China to evaluate the overall performance of IFI assistance to ...
Weiterlesen
Presents detailed pathways to achieve 100% renewable energy by 2050, globally and across ten geographical regions. Based ...
Weiterlesen
Telecommunication systems and human-machine interfaces start employing multiple microphones and loudspeakers in order to ...
Weiterlesen
This book addresses action research (AR), one of the main research methodologies used for academia-industry research collaborations. ...
Weiterlesen
This volume contains a collection of the papers presented during the 1st International ACM-L Workshop, which was held on ...
Weiterlesen
This volume contains a well balanced combination of theoretical and experimental state-of-the-art results of Active Flow ...
Weiterlesen
An AKM solution is about exploiting the Web as a knowledge engineering medium, and developing knowledge-model-based families ...
Weiterlesen
"This volume contains the papers selected for presentation at the 2nd Inter- tional Workshop on Active Mining (AM 2003) ...
Weiterlesen
Over the past 10 years, work on acute promyelocytic leukemia (APL) has become the paradigm of translational research that ...
Weiterlesen