Decision procedures, Kroening, Daniel Strichman, Ofer
Автор: M. Jorge Cardoso; Tal Arbel; Xiongbiao Luo; Stefan Название: Computer Assisted and Robotic Endoscopy and Clinical Image-Based Procedures ISBN: 3319675427 ISBN-13(EAN): 9783319675428 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed joint proceedings of the 4th International Workshop on Computer Assisted and Robotic Endoscopy, CARE 2017, and the 6th International Workshop on Clinical Image-Based Procedures: Translational Research in Medical Imaging, CLIP 2017, held in conjunction with the 20th International Conference on Medical Imaging and Computer-Assisted Intervention, MICCAI 2017, in Quebec City, QC, Canada, in September 2017.
The 7 full papers presented at CARE 2017 and the 10 full papers presented at CLIP 2017 were carefully reviewed and selected. The papers deal with interventional and diagnostic endoscopy integrating the latest advances in computer vision, robotics, medical imaging and information processing and the development and evaluation of new translational image-based techniques in the modern hospital.
Автор: Marius George Linguraru; Cristina Oyarzun Laura; R Название: Clinical Image-Based Procedures. Translational Research in Medical Imaging ISBN: 3319139088 ISBN-13(EAN): 9783319139081 Издательство: Springer Рейтинг: Цена: 37270.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes revised selected papers from the Third International Workshop on Clinical Image-Based Procedures, CLIP 2014, held in conjunction with MICCAI 2014 in Boston, MA, USA, in September 2014.
Автор: Ron Alterovitz; Ken Goldberg Название: Motion Planning in Medicine: Optimization and Simulation Algorithms for Image-Guided Procedures ISBN: 3642088740 ISBN-13(EAN): 9783642088742 Издательство: Springer Рейтинг: Цена: 111790.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Written by Ron Alterovitz and Ken Goldberg, this monograph combines ideas from robotics, physically-based modeling, and operations research to develop new motion planning and optimization algorithms for image-guided medical procedures.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz