The Springer Handbook of Experimental Solid Mechanics documents both the traditional techniques as well as the new methods ...
Weiterlesen
The Springer Handbook of Robotics brings a widespread and well-structured compilation of classic and emerging application ...
Weiterlesen
Main theme of this volume is the stability of nonautonomous differential equations, with emphasis on the Lyapunov stability ...
Weiterlesen
This first of two volumes covers basic aspects and various techniques such as steady-state and time-resolved fluorometry, ...
Weiterlesen
The aim of static analysis is to develop principles, techniques and tools for validatingpropertiesofprograms,fordesigningsemantics-basedtransformations ...
Weiterlesen
This book constitutes the refereed proceedings of the 8th International Symposium on Static Analysis, SAS 2001, held in Paris, ...
Weiterlesen
"This volume contains the papers accepted for presentation at the 12th International Static Analysis Symposium (SAS 2005) ...
Weiterlesen
This book constitutes the refereed proceedings of the 13th International Symposium on Static Analysis, SAS 2006. The book ...
Weiterlesen
The book addresses all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, ...
Weiterlesen
The physics of scale-invariant and complex systems is a novel interdisciplinary field. Its ideas allow us to look at natural ...
Weiterlesen
The field of Strategic Human Resource Management (SHRM) has burgeoned over the past thirty years. Over this time there has ...
Weiterlesen
1 Introduction The plexuses of Auerbach and Meissner are peculiar to the gut; they extend from the beginning of the unstriated ...
Weiterlesen
This book takes a comprehensive look at the question by integrating the fields of institutional economics and corporate strategy, ...
Weiterlesen
Studies in Legal Logic contains chapters about the nature of norms, the role of coherence in the law, the nature of defeasibility, ...
Weiterlesen
Although energy dissipation has improved with each new technology node, because SoCs are integrating tens of million devices ...
Weiterlesen
The intent of this book is to describe how a professor can provide a learning environment that assists students to come to ...
Weiterlesen
Sudden in-custody restraint deaths have emerged as a critical and imp- tant problem for police, correctional, and medical ...
WeiterlesenThis open access book details tools and procedures for data collections of hard-to-reach, hard-to-survey populations. Inside, ...
Weiterlesen
It addresses the fundamental challenges of urban planning today and offers planners essential knowledge, implementation strategies ...
Weiterlesen
Efficient modeling and reduction of both the passive and active circuits is essential for hierarchical and IP-based reuse ...
Weiterlesen