This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification ...
Lire la suite
This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification ...
Lire la suiteThis book provides answers to a wide range of these and other questions. Experts from Germany and the USA describe central ...
Lire la suite
The International Workshop on "Autonomous Systems - Self-Organization, Management, and Control " is the eighth in a successful ...
Lire la suiteThis book provides a view into the state-of-the-art research on aviation noise and related annoyance. The book will primarily ...
Lire la suite
Axions are peculiar hypothetical particles that could both solve the CP problem of quantum chromodynamics and at the same ...
Lire la suite
The first choice for concise medicines information. Trusted by healthcare professionals across the world to support confident ...
Lire la suite
BNF for Children is the first choice for concise medicines information for children. Trusted by healthcare professionals ...
Lire la suite
This book constitutes the thoroughly refereed post-conference proceedings of the Second IFIP TC 2 Central and East Conference ...
Lire la suite
This book focuses on balloon kyphoplasty and alter- tive minimally invasive treatments for stabilization of osteoporotic ...
Lire la suite
Hints of globalization have actually been around for several decades, even though they made only a modest impact; however, ...
Lire la suite
The aim of this dissertation is to examine bargaining power effects in financial contracting. In particular power effects ...
Lire la suite
This books deals with computer-mediated cooperation and communication scenarios in teaching and learning situations, leisure ...
Lire la suite
Baseband Analog Circuits for Software Defined Radio aims to describe the transition towards a Software Radio from the analog ...
Lire la suite
Based on several recent courses given to mathematical physics students, this volume is an introduction to bundle theory with ...
Lire la suite
This book provides us a with the basics of the various Fresnel Antenna approaches, in order to achieve low-cost, low-profile, ...
Lire la suite
Masonry construction is usually the top priority in the constructive exercises during the course. The basic principles of ...
Lire la suite
The discrete numerical methods of aerodynamics/aerothermodynamics permit now - what was twenty years ago not imaginable - ...
Lire la suite
This unparalleled text on the basics of PET imaging technology is an ideal resource for technologists and residents preparing ...
Lire la suite
The contents of this book builds further on the contents of the first volume in the Philips Research Book Series, Battery ...
Lire la suite