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

Temporal Logic, Dov M. Gabbay; Hans J. Ohlbach


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

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

Автор: Dov M. Gabbay; Hans J. Ohlbach
Название:  Temporal Logic
ISBN: 9783540582410
Издательство: Springer
Классификация:


ISBN-10: 354058241X
Обложка/Формат: Paperback
Страницы: 551
Вес: 0.78 кг.
Дата издания: 29.06.1994
Серия: Lecture Notes in Artificial Intelligence
Язык: English
Размер: 234 x 156 x 29
Основная тема: Computer Science
Подзаголовок: First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICTL `94), held at Bonn, Germany in July 1994. Since its conception as a discipline thirty years ago, temporal logic is studied by many researchers of numerous backgrounds;


Temporal Data Mining via Unsupervised Ensemble Learning

Автор: Yang Yun
Название: Temporal Data Mining via Unsupervised Ensemble Learning
ISBN: 0128116544 ISBN-13(EAN): 9780128116548
Издательство: Elsevier Science
Рейтинг:
Цена: 7241.00 р.
Наличие на складе: Поставка под заказ.

Описание: Temporal Data Mining via Unsupervised Ensemble Learning provides the principle knowledge of temporal data mining in association with unsupervised ensemble learning and the fundamental problems of temporal data clustering from different perspectives. By providing three proposed ensemble approaches of temporal data clustering, this book presents a practical focus of fundamental knowledge and techniques, along with a rich blend of theory and practice. . Furthermore, the book includes illustrations of the proposed approaches based on data and simulation experiments to demonstrate all methodologies, and is a guide to the proper usage of these methods. As there is nothing universal that can solve all problems, it is important to understand the characteristics of both clustering algorithms and the target temporal data so the correct approach can be selected for a given clustering problem. . Scientists, researchers, and data analysts working with machine learning and data mining will benefit from this innovative book, as will undergraduate and graduate students following courses in computer science, engineering, and statistics.

TEXPLORE: Temporal Difference Reinforcement Learning for Robots and Time-Constrained Domains

Автор: Todd Hester
Название: TEXPLORE: Temporal Difference Reinforcement Learning for Robots and Time-Constrained Domains
ISBN: 3319011677 ISBN-13(EAN): 9783319011677
Издательство: Springer
Рейтинг:
Цена: 19591.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book presents and develops new reinforcement learning methods that enable fast and robust learning on robots in real-time. It presents a novel model-based reinforcement learning algorithm.

Advances in Spatial and Temporal Databases

Автор: Christophe Claramunt; Markus Schneider; Raymond Ch
Название: Advances in Spatial and Temporal Databases
ISBN: 3319223623 ISBN-13(EAN): 9783319223629
Издательство: Springer
Рейтинг:
Цена: 10062.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 14th International Symposium on Spatial and Temporal Databases, SSTD 2015, held in Hong Kong, China, in August 2015. The 24 revised full papers together with 8 demos presented were carefully reviewed and selected from 64 submissions.

Verifying Concurrent Processes Using Temporal Logic

Автор: B. T. Hailpern
Название: Verifying Concurrent Processes Using Temporal Logic
ISBN: 3540112057 ISBN-13(EAN): 9783540112051
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Specifying Message Passing and Time-Critical Systems with Temporal Logic

Автор: Ron Koymans
Название: Specifying Message Passing and Time-Critical Systems with Temporal Logic
ISBN: 3540562834 ISBN-13(EAN): 9783540562832
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This monograph is concerned with the application of temporal logic to the areas of message passing and time-critical systems. The text also incorporates pure fundamental studies on temporal logic. It develops a special temporal logic for reasoning about quantitative temporal properties.

Temporal Logic and State Systems

Автор: Fred Kr?ger; Stephan Merz
Название: Temporal Logic and State Systems
ISBN: 3642086802 ISBN-13(EAN): 9783642086809
Издательство: Springer
Рейтинг:
Цена: 8378.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given by the authors, this book is a comprehensive, concise, uniform, up-to-date presentation of the theory and applications of linear and branching time temporal logic;

Advances in Spatial and Temporal Databases

Автор: Claudia Bauzer Medeiros; Max Egenhofer; Elisa Bert
Название: Advances in Spatial and Temporal Databases
ISBN: 3540281274 ISBN-13(EAN): 9783540281276
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Includes the refereed proceedings of the 9th International Symposium on Spatial and Temporal Databases, SSTD 2005, held in Angra dos Reis, Brazil in August 2005. This book offers topical sections on query optimization and simulation, advanced query processing, spatial/temporal data streams, indexing schemes, novel applications and more.

Advanced Analysis and Learning on Temporal Data

Автор: Douzal-Chouakria
Название: Advanced Analysis and Learning on Temporal Data
ISBN: 3319444115 ISBN-13(EAN): 9783319444116
Издательство: Springer
Рейтинг:
Цена: 5870.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The last part of the book is dedicated to metric learning and time series comparison, it addresses the problem of speeding-up the dynamic time warping or dealing with multi-modal and multi-scale metric learning for time series classification and clustering.

Spatial Temporal Patterns for Action-Oriented Perception in Roving Robots II

Автор: Paolo Arena; Luca Patan?
Название: Spatial Temporal Patterns for Action-Oriented Perception in Roving Robots II
ISBN: 3319023616 ISBN-13(EAN): 9783319023618
Издательство: Springer
Рейтинг:
Цена: 20896.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Describing a cutting-edge project that used a computational model of an insect brain to enable spatial awareness in mobile robots, this volume shows how today`s scientists are blending biologically inspired networks and complex, nonlinear dynamical systems.

Multi-Step Multi-Input One-Way Quantum Information Processing with Spatial and Temporal Modes of Light

Автор: Ryuji Ukai
Название: Multi-Step Multi-Input One-Way Quantum Information Processing with Spatial and Temporal Modes of Light
ISBN: 4431550186 ISBN-13(EAN): 9784431550181
Издательство: Springer
Рейтинг:
Цена: 18284.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: In this thesis, the author develops for the first time an implementation methodology for arbitrary Gaussian operations using temporal-mode cluster states. The experimental basic structure of one-way quantum computation over two-mode input state is demonstrated by the controlled-Z gate and the optimum nonlocal gate experiments.

Spatio-temporal Image Analysis for Longitudinal and Time-Series Image Data

Автор: Stanley Durrleman; Tom Fletcher; Guido Gerig; Marc
Название: Spatio-temporal Image Analysis for Longitudinal and Time-Series Image Data
ISBN: 3319149040 ISBN-13(EAN): 9783319149042
Издательство: Springer
Рейтинг:
Цена: 5590.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Longitudinal Registration and Shape Modeling.- Longitudinal Modeling.- Reconstruction from Longitudinal Data.- 4D Image Processing.

TEXPLORE: Temporal Difference Reinforcement Learning for Robots and Time-Constrained Domains

Автор: Todd Hester
Название: TEXPLORE: Temporal Difference Reinforcement Learning for Robots and Time-Constrained Domains
ISBN: 3319375105 ISBN-13(EAN): 9783319375106
Издательство: Springer
Рейтинг:
Цена: 15672.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book presents and develops new reinforcement learning methods that enable fast and robust learning on robots in real-time. It presents a novel model-based reinforcement learning algorithm.


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