Effective Functional Verification is organized into 4 parts. The first part contains 3 chapters designed appeal to newcomers ...
Lire la suite
This book constitutes the refereed proceedings of the 7th International Conference on Electronic Government, EGOV 2008, held ...
Lire la suite
Welcome to the proceedings of the 2005 International Conference on Emb- ded Software and Systems (ICESS 2005) held in Xian, ...
Lire la suite
Offers a timely analysis of the new challenges posed by this phenomenon in the anti-doping community. The authors present ...
Lire la suite
Emerging Nanotechnologies: Test, Defect Tolerance and Reliability covers various technologies that have been developing over ...
Lire la suite
This book studies endogenous policy determination focusing on the role of interest groups and their lobbying efforts in the ...
Lire la suite
This seventh volume in the series focuses on the treatment of urogenital malignancies by endourological procedures, including ...
Lire la suite
This, the first volume in a series of edited books designed to synthesize research, theory, and practice, will focus on key ...
Lire la suite
Does the Nordic model of education still stand by its original principles and safeguard education for all? This Open Access ...
Lire la suite
This book provides an easy-to-use, practical, yet comprehensive resource for family practitioners to use in the daily struggle ...
Lire la suite
This book provides an overview of the ERIGrid validation methodology for validating CPES, a holistic power system testing ...
Lire la suite
The European Tort Law Yearbook provides a comprehensive overview of the latest developments in tort law in Europe. It contains ...
Lire la suite
This open access book summarizes the first two decades of the NII Testbeds and Community for Information access Research ...
Lire la suite
This open access book provides a set of conceptual, empirical, and comparative chapters that apply a public policy perspective ...
Lire la suite
Covers a wide range of topics in the areas of vibration testing, instrumentation, and analysis of civil engineering and critical ...
Lire la suite
Extreme Programming has come a long way since its ?rst use in the C3 project almost 10 years ago. Agile methods have found ...
Lire la suite
In its first editions, this conference was a get-together of a few pioneers who - bated about how to make agile processes ...
Lire la suite
This volume contains the proceedings of Formal Methods 2005, the 13th InternationalSymposiumonFormalMethodsheldinNewcastleuponTyne,UK, ...
Lire la suite
This book presents the refereed proceedings of the 14th International Symposium on Formal Methods, FM 2006, held in Hamilton, ...
Lire la suite
Fault Diagnosis of Analog Integrated Circuits is a textbook for advanced undergraduate and graduate level students as well ...
Lire la suite