"Astrophysics Updates" is intended to serve the information needs of professional astronomers and postgraduate students ...
Lire la suite
Many birth defects, although rare individually, are encountered in clinical practice and have now become treatable if properly ...
Lire la suite
The atlas is divided into a morphological and a functional imaging section. The morphological atlas includes 3D surface images, ...
Lire la suite
The Atlas of Practical Applications of Cardiovascular Magnetic Resonance contains over two hundred illustrations and a Glossary ...
Lire la suite
The volume provides a unique review of the essential topographical anatomy of the brain from an MRI perspective, correlating ...
Lire la suite
This collection of peer reviewed papers represents a concise, up-to-date summary of our current knowledge of planetary boundary ...
Lire la suite
this book offers a comprehensive and state of the art analysis of aerodynamic and flight mechanic entry topics. In addition, ...
Lire la suite
This book is a single source that provides a multi-perspective look at and approach to Atrial Fibrillation. Because Atrial ...
Lire la suite
he 2-volume set LNCS 12242 and 12243 constitutes the refereed proceedings of the 7th International Conference on Augmented ...
Lire la suite
The 2-volume set LNCS 12242 and 12243 constitutes the refereed proceedings of the 7th International Conference on Augmented ...
Lire la suite
Offers a complete course in one book for students in all years of undergraduate pharmacy and pharmaceutical sciences degrees. ...
Lire la suite
This book marks the first historical overview of the autism rights branch of the neurodiversity movement, describing the ...
Lire la suite
The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, responding ...
Lire la suite
This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...
Lire la suite
This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...
Lire la suite
This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification ...
Lire la suite
The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, The main ...
Lire la suite
This book brings together leading academic researchers and industrial practitioners to address the issues in this emerging ...
Lire la suite
Software development for the automotive domain is currently subject to a silent revolution. On the one hand, software has ...
Lire la suite
The ?rst IFIP Workshop on Autonomic Communication (WAC 2004) was held 2004 in Berlin, Germany. The purpose of this workshop ...
Lire la suite