 | | Surgical Neuroangiography: Vol. 3: Clinical and Interventional Aspects in Children
This volume completes the second edition series of Surgical Neuroangiography. It covers neurovascular diseases in neonates, infants, and children and details the clinical challenges involved in managing lesions of the brain, spinal cord, spine, and head and neck in the pediatric age group. Vascular malformations of the maxillofacial area have... | | Abstraction Refinement for Large Scale Model CheckingAbstraction Refinement for Large Scale Model Checking summarizes recent research on abstraction techniques for model checking large digital system. Considering both the size of today's digital systems and the capacity of state-of-the-art verification algorithms, abstraction is the only viable solution for the successful application of model... |
