Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18 сб,вс: 11-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Хиты | |
 

Decision procedures, Kroening, Daniel Strichman, Ofer


Варианты приобретения
Цена: 8384.00р.
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: Есть  
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: Kroening, Daniel Strichman, Ofer
Название:  Decision procedures
ISBN: 9783540741046
Издательство: Springer
Классификация:
ISBN-10: 3540741046
Обложка/Формат: Hardback
Страницы: 320
Вес: 0.63 кг.
Дата издания: 23.05.2008
Серия: Texts in theoretical computer science: an eatcs series
Язык: English
Издание: 2008 ed.
Иллюстрации: 67 black & white illustrations
Размер: 240 x 165 x 24
Читательская аудитория: Postgraduate, research & scholarly
Подзаголовок: An algorithmic point of view
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. This book focuses on decision procedures for first-order theories that are commonly used in automated verification and reasoning, theorem-proving, compiler optimization and operations research.


Computer Assisted and Robotic Endoscopy and Clinical Image-Based Procedures

Автор: 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
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Clinical Image-Based Procedures. Translational Research in Medical Imaging

Автор: Marius George Linguraru; Cristina Oyarzun Laura; R
Название: Clinical Image-Based Procedures. Translational Research in Medical Imaging
ISBN: 3319139088 ISBN-13(EAN): 9783319139081
Издательство: Springer
Рейтинг:
Цена: 5590.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Motion Planning in Medicine: Optimization and Simulation Algorithms for Image-Guided Procedures

Автор: Ron Alterovitz; Ken Goldberg
Название: Motion Planning in Medicine: Optimization and Simulation Algorithms for Image-Guided Procedures
ISBN: 3642088740 ISBN-13(EAN): 9783642088742
Издательство: Springer
Рейтинг:
Цена: 16769.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.


ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте     В Контакте Мед  Мобильная версия