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