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

Agent Technology from a Formal Perspective, Christopher Rouff; Michael Hinchey; James Rash; Wa


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

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

Автор: Christopher Rouff; Michael Hinchey; James Rash; Wa
Название:  Agent Technology from a Formal Perspective
ISBN: 9781849969697
Издательство: Springer
Классификация:


ISBN-10: 1849969698
Обложка/Формат: Paperback
Страницы: 372
Вес: 0.57 кг.
Дата издания: 2005
Серия: NASA Monographs in Systems and Software Engineering
Язык: English
Издание: 1st ed. softcover of
Иллюстрации: 17 black & white tables, biography
Размер: 156 x 233 x 25
Читательская аудитория: Professional & vocational
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: What Is an Agent? And What Is an Agent Community?.- to Formal Methods.- Formal Methods and Agent-Based Systems.- A Process-Algebraic Agent Abstraction.- Dynamic Team Formation in Executable Agent-Based Systems.- Scenario-Based Engineering of Multi-Agent Systems.- Verification Within the KARO Agent Theory.- Assuring the Behavior of Adaptive Agents.- Agents in a Wild World.- Formal Methods at NASA Goddard Space Flight Center.- Formal Verification of Autonomy Models.


Human-Computer Interaction: The Agency Perspective

Автор: Marielba Zacarias; Jos? Valente de Oliveira
Название: Human-Computer Interaction: The Agency Perspective
ISBN: 3642439101 ISBN-13(EAN): 9783642439100
Издательство: Springer
Рейтинг:
Цена: 29209.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book highlights the influence of the agency perspective in Human-Computer Interaction through a careful selection of research contributions. It provides hands-on-experience by covering representative case studies and offering essential design guidelines.

Modeling And Analysis Of Dependable Systems: A Probabilistic Graphical Model Perspective

Автор: Portinale Luigi & Codetta Raiteri Daniele
Название: Modeling And Analysis Of Dependable Systems: A Probabilistic Graphical Model Perspective
ISBN: 9814612030 ISBN-13(EAN): 9789814612036
Издательство: World Scientific Publishing
Рейтинг:
Цена: 16632.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

The monographic volume addresses, in a systematic and comprehensive way, the state-of-the-art dependability (reliability, availability, risk and safety, security) of systems, using the Artificial Intelligence framework of Probabilistic Graphical Models (PGM). After a survey about the main concepts and methodologies adopted in dependability analysis, the book discusses the main features of PGM formalisms (like Bayesian and Decision Networks) and the advantages, both in terms of modeling and analysis, with respect to classical formalisms and model languages.

Methodologies for deriving PGMs from standard dependability formalisms will be introduced, by pointing out tools able to support such a process. Several case studies will be presented and analyzed to support the suitability of the use of PGMs in the study of dependable systems.

Big Data Analytics: A Management Perspective

Автор: Corea
Название: Big Data Analytics: A Management Perspective
ISBN: 3319389912 ISBN-13(EAN): 9783319389912
Издательство: Springer
Рейтинг:
Цена: 16769.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book is about innovation, big data, and data science seen from a business perspective. Big data is a buzzword nowadays, and there is a growing necessity within practitioners to understand better the phenomenon, starting from a clear stated definition. This book aims to be a starting reading for executives who want (and need) to keep the pace with the technological breakthrough introduced by new analytical techniques and piles of data. Common myths about big data will be explained, and a series of different strategic approaches will be provided. By browsing the book, it will be possible to learn how to implement a big data strategy and how to use a maturity framework to monitor the progress of the data science team, as well as how to move forward from one stage to the next. Crucial challenges related to big data will be discussed, where some of them are more general - such as ethics, privacy, and ownership – while others concern more specific business situations (e.g., initial public offering, growth strategies, etc.). The important matter of selecting the right skills and people for an effective team will be extensively explained, and practical ways to recognize them and understanding their personalities will be provided. Finally, few relevant technological future trends will be acknowledged (i.e., IoT, Artificial intelligence, blockchain, etc.), especially for their close relation with the increasing amount of data and our ability to analyse them faster and more effectively.

Agent and Multi-agent Technology for Internet and Enterprise Systems

Автор: Anne Hakansson; Ronald Hartung; Ngoc-Thanh Nguyen
Название: Agent and Multi-agent Technology for Internet and Enterprise Systems
ISBN: 3642135250 ISBN-13(EAN): 9783642135255
Издательство: Springer
Рейтинг:
Цена: 30606.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Research in multi-agent systems offers a promising technology for problems with networks, online trading and negotiations but also social structures and communication. This book focuses on agent and multi-agent technology for internet and enterprise systems.

Agent and Multi-agent Technology for Internet and Enterprise Systems

Автор: Anne Hakansson; Ronald Hartung; Ngoc-Thanh Nguyen
Название: Agent and Multi-agent Technology for Internet and Enterprise Systems
ISBN: 364226378X ISBN-13(EAN): 9783642263781
Издательство: Springer
Рейтинг:
Цена: 30606.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Research in multi-agent systems offers a promising technology for problems with networks, online trading and negotiations but also social structures and communication.

Computational Mind: A Complex Dynamics Perspective

Автор: Vladimir G. Ivancevic; Tijana T. Ivancevic
Название: Computational Mind: A Complex Dynamics Perspective
ISBN: 3642090680 ISBN-13(EAN): 9783642090684
Издательство: Springer
Рейтинг:
Цена: 39182.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: It presents a modern dynamical theory of the computational mind, combining cognitive psychology, artificial and computational intelligence, and chaos theory with quantum consciousness and computation.

A 25-Year Perspective on Logic Programming

Автор: Agostino Dovier; Enrico Pontelli
Название: A 25-Year Perspective on Logic Programming
ISBN: 3642143083 ISBN-13(EAN): 9783642143083
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book celebrates the 25th anniversary of GULP - the Italian Association for Logic Programming. Authored by Italian researchers, it presents a state-of-the-art survey of logic programming, making it a useful reference for both researchers and students.

A New Perspective on Nonmonotonic Logics

Автор: Dov M. Gabbay; Karl Schlechta
Название: A New Perspective on Nonmonotonic Logics
ISBN: 3319468154 ISBN-13(EAN): 9783319468150
Издательство: Springer
Рейтинг:
Цена: 15372.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: In this book the authors present new results on interpolation for nonmonotonic logics, abstract (function) independence, the Talmudic Kal Vachomer rule, and an equational solution of contrary-to-duty obligations. The chapter on formal construction is the conceptual core of the book, where the authors combine the ideas of several types of nonmonotonic logics and their analysis of 'natural' concepts into a formal logic, a special preferential construction that combines formal clarity with the intuitive advantages of Reiter defaults, defeasible inheritance, theory revision, and epistemic considerations.It is suitable for researchers in the area of computer science and mathematical logic.

Scala: From a Functional Programming Perspective

Автор: Torra
Название: Scala: From a Functional Programming Perspective
ISBN: 3319464809 ISBN-13(EAN): 9783319464800
Издательство: Springer
Рейтинг:
Цена: 5870.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book gives an introduction to the programming language Scala. The book explains with detail functional programming and recursivity, and includes chapters on lazy and eager evaluation, streams, higher-order functions (including map, fold, reduce, and aggregate), and algebraic data types.

Evolutionary Computation Techniques: A Comparative Perspective

Автор: Cuevas, Erik, Osuna, Valentin, Oliva, Diego
Название: Evolutionary Computation Techniques: A Comparative Perspective
ISBN: 3319511084 ISBN-13(EAN): 9783319511085
Издательство: Springer
Рейтинг:
Цена: 19564.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book compares the performance of various evolutionary computation (EC) techniques when they are faced with complex optimization problems extracted from different engineering domains.


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