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