Electronic Books

Total Books: 101 - 120 /226

Model Checking Software

This book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. ...

Model Checking Software (vol. # 3639)

Constitutes the refereed proceedings of the 12th International SPIN workshop on Model Checking Software, SPIN 2005, held ...

Model Checking Software (vol. # 3925)

he name “SPIN” refers both to a workshopon model checking and to a famous model checking tool. The SPIN workshop is an ...

Model Checking Software : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings

This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, ...

Modern Aspects of Spin Physics

The volume investigates central aspects of modern spin physics in the form of extensive lectures on semiconductor spintronics, ...

Modern Techniques for Characterizing Magnetic Materials

The book includes, but is not limited to the following areas: Magnetic neutron scattering with 3-axis spectrometer * Small-angle ...

Modified Fibers with Medical and Specialty Applications

This book will be an invaluable resource for researchers and others interested in future developments in fiber technology. ...

Monitoring of Cerebral and Spinal Haemodynamics During Neurosurgery

Monitoring of Cerebral and Spinal Haemodynamics During Neurosurgery is a comprehensive description of subdural monitoring ...

Multi-point Interaction with Real and Virtual Objects

This edited book covers some of the most challenging problems on the forefront of today’s research on physical interaction ...

Multiple Sclerosis : Autoimmunity and Management / Mohammad Mohammad Al-Numairi ; Mohammad Yamen Hennawi

Multiple sclerosis (MS) is an immune-mediated inflammatory disease that attacks myelinated axons in the central nervous system, ...

NMR-MRI, µSR and Mössbauer Spectroscopies in Molecular Magnets and magnetic nanoparticles

In this book an extensive overview on the results obtained during the last decade and on recent achievements in the study ...

Nanoelectronics and Photonics

Nanoelectronics and Photonics: From Atoms to Materials, Devices, and Architectures provides a description of the core elements ...

Neurology Oral Boards Review

Rapid recall of vast amounts of factual material is the key to success in both the Neurology Oral Board examination and in ...

Neuromuscular Disease

Through a series of questions and answers concerning specific neuromuscular disorders, each chapter critiques the best available ...

Neuroscience in Medicine

This up-to-date edition alternates scientific and clinical chapters that explain the basic science underlying neurological ...

Neurosurgery

This book provides coverage of a broad range of topics in the ?eld of neurosurgery, 5 for residents and registrars in training ...

Neutron Spin Echo in Polymer Systems

Neutron spin echo spectroscopy (NSE) provides the unique opportunity to unravel the molecular dynamics of polymer chains ...

New Computational Paradigms : Changing Conceptions of What is Computable

This book examines new developments in the theory and practice of computation from a mathematical perspective, with topics ...

Nonequilibrium Carrier Dynamics in Semiconductors

International experts gather every two years at this established conference to discuss recent developments in theory and ...

OPLL : Ossification of the Posterior Longitudinal Ligament

It brings together information on all aspects of OPLL - epidemiology, etiology, diagnosis, and treatment - with contributions ...

Total Books: 101 - 120 /226