Автор: 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.
Автор: 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.
Автор: 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.
Автор: 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.
Автор: 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.
Автор: 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.
Автор: 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.
Автор: 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