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, ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
Obstetric Anesthesia Handbook
As the field of obstetric anesthesia continues to change rapidly, both in technique and in specific pharmaceutical agents ...
اقرأ المزيد
One-Dimensional Nanostructures
One-dimensional (1D) nanostructures, including nanowires, nanotubes and quantum wires, have been regarded as the most promising ...
اقرأ المزيد
Optical SuperComputing : First International Workshop, OSC 2008, Vienna, Austria, August 26, 2008. Proceedings
This book constitutes the refereed proceedings of the The International Workshop on Optical SuperComputing, OSC 2008, held ...
اقرأ المزيد
Orthopedic Principles - A Residents Guide
The scope of orthopedic knowledge has expanded to such a degree that it has become increasingly difficult to maintain a fundamental ...
اقرأ المزيد
