This book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. ...
Lire la suiteConstitutes the refereed proceedings of the 12th International SPIN workshop on Model Checking Software, SPIN 2005, held ...
Lire la suitehe name “SPIN” refers both to a workshopon model checking and to a famous model checking tool. The SPIN workshop is an ...
Lire la suiteThis book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, ...
Lire la suiteThe volume investigates central aspects of modern spin physics in the form of extensive lectures on semiconductor spintronics, ...
Lire la suiteThis book will be an invaluable resource for researchers and others interested in future developments in fiber technology. ...
Lire la suiteMonitoring of Cerebral and Spinal Haemodynamics During Neurosurgery is a comprehensive description of subdural monitoring ...
Lire la suiteThis edited book covers some of the most challenging problems on the forefront of today’s research on physical interaction ...
Lire la suiteIn this book an extensive overview on the results obtained during the last decade and on recent achievements in the study ...
Lire la suiteNanoelectronics and Photonics: From Atoms to Materials, Devices, and Architectures provides a description of the core elements ...
Lire la suiteRapid recall of vast amounts of factual material is the key to success in both the Neurology Oral Board examination and in ...
Lire la suiteThrough a series of questions and answers concerning specific neuromuscular disorders, each chapter critiques the best available ...
Lire la suiteThis up-to-date edition alternates scientific and clinical chapters that explain the basic science underlying neurological ...
Lire la suiteThis book examines new developments in the theory and practice of computation from a mathematical perspective, with topics ...
Lire la suiteInternational experts gather every two years at this established conference to discuss recent developments in theory and ...
Lire la suiteIt brings together information on all aspects of OPLL - epidemiology, etiology, diagnosis, and treatment - with contributions ...
Lire la suiteAs the field of obstetric anesthesia continues to change rapidly, both in technique and in specific pharmaceutical agents ...
Lire la suiteOne-dimensional (1D) nanostructures, including nanowires, nanotubes and quantum wires, have been regarded as the most promising ...
Lire la suiteThis book constitutes the refereed proceedings of the The International Workshop on Optical SuperComputing, OSC 2008, held ...
Lire la suiteThe scope of orthopedic knowledge has expanded to such a degree that it has become increasingly difficult to maintain a fundamental ...
Lire la suite