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

Reactive Kripke Semantics, Dov M. Gabbay


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

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

Автор: Dov M. Gabbay
Название:  Reactive Kripke Semantics
ISBN: 9783662514368
Издательство: Springer
Классификация:



ISBN-10: 3662514362
Обложка/Формат: Paperback
Страницы: 442
Вес: 0.63 кг.
Дата издания: 23.08.2016
Серия: Cognitive Technologies
Язык: English
Размер: 234 x 156 x 23
Основная тема: Computer Science
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: This book opens with a lucid explanation of the theory of reactive Kripke semantics, followed by chapters demonstrating applications in a variety of areas. The book benefits both researchers and graduate students working in the field of mathematical logic.


Reference and Existence

Автор: Kripke, Saul
Название: Reference and Existence
ISBN: 0190660619 ISBN-13(EAN): 9780190660611
Издательство: Oxford Academ
Рейтинг:
Цена: 4750.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This work can be read as a sequel to Kripke`s classic Naming and Necessity, confronting important issues left open in that work and developing a novel approach to questions concerning empty names and existence. It provides along the way novel treatments of fictional and mythological discourse, the pragmatics of definite and indefinite descriptions and the language of sense data.

Stochastic Reactive Distributed Robotic Systems

Автор: Gregory Mermoud
Название: Stochastic Reactive Distributed Robotic Systems
ISBN: 3319347861 ISBN-13(EAN): 9783319347868
Издательство: Springer
Рейтинг:
Цена: 14365.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Using novel model-based methods, this book bridges the gap between statistical mechanics and control theory by tackling challenges for a class of distributed systems involving a specific type of constitutive components, referred to as Smart Minimal Particles.

Stochastic Reactive Distributed Robotic Systems

Автор: Gregory Mermoud
Название: Stochastic Reactive Distributed Robotic Systems
ISBN: 3319026089 ISBN-13(EAN): 9783319026084
Издательство: Springer
Рейтинг:
Цена: 19564.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Using novel model-based methods, this book bridges the gap between statistical mechanics and control theory by tackling challenges for a class of distributed systems involving a specific type of constitutive components, referred to as Smart Minimal Particles.

Reactive Search and Intelligent Optimization

Автор: Roberto Battiti; Mauro Brunato; Franco Mascia
Название: Reactive Search and Intelligent Optimization
ISBN: 1441934995 ISBN-13(EAN): 9781441934994
Издательство: Springer
Рейтинг:
Цена: 19564.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book presents the main principles of reactive search and intelligent optimization and clearly shows how they can be used in problem solving. The book will be of interest to anyone working in the meta-heuristics.

Patterns and Dynamics in Reactive Media

Автор: Rutherford Aris; Donald G. Aronson; Harry L. Swinn
Название: Patterns and Dynamics in Reactive Media
ISBN: 1461278325 ISBN-13(EAN): 9781461278320
Издательство: Springer
Рейтинг:
Цена: 20896.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Ever since the seminal works on traveling waves and morphogenesis by Fisher, by Kolmogorov, Petrovski and Piscunov, and by Turing, scientists from many disciplines have been fascinated by questions concerning the formation of steady or dynamic patterns in reactive media.

Concurrent Reactive Plans

Автор: Michael Beetz
Название: Concurrent Reactive Plans
ISBN: 3540672419 ISBN-13(EAN): 9783540672418
Издательство: Springer
Рейтинг:
Цена: 8384.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: In this title, the author presents a computational model of forestalling common flaws in autonomous robot behaviour and develops a representation for structured reactive plans in which declarative statements for goals, perceptions and beliefs are made explicit.

Kripke

Автор: Burgess
Название: Kripke
ISBN: 0745652859 ISBN-13(EAN): 9780745652856
Издательство: Wiley
Рейтинг:
Цена: 2850.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Saul Kripke has been a major influence on analytic philosophy and allied fields for a half-century and more. His early masterpiece, Naming and Necessity, reversed the pattern of two centuries of philosophizing about the necessary and the contingent.

Temporal Verification of Reactive Systems

Автор: Zohar Manna; Amir Pnueli
Название: Temporal Verification of Reactive Systems
ISBN: 1461287014 ISBN-13(EAN): 9781461287018
Издательство: Springer
Рейтинг:
Цена: 15372.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The family of reactive systems includes many classes of programs whose correct and reliable construction is con- sidered to be particularly challenging, including concurrent programs, embedded and process control programs, and operating systems.


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