Електронна книга > Наука > Информатика > Информатика > Christopher Rouff: Agent Technology from a Formal Perspective (PDF)

Christopher Rouff
Agent Technology from a Formal Perspective [PDF ebook]

поддержка

Обложка Christopher Rouff: Agent Technology from a Formal Perspective (PDF)

€149.79

Содержание

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.

Купите эту электронную книгу и получите еще одну БЕСПЛАТНО!

язык английский ● Формат PDF ● страницы 354 ● ISBN 9781846282713 ● Размер файла 2.6 MB ● редактор Christopher Rouff ● издатель Springer London ● город London ● Страна GB ● опубликованный 2006 ● Загружаемые 24 месяцы ● валюта EUR ● Код товара 2151408 ● Защита от копирования Социальный DRM

Больше книг от того же автора (ов) / редактор

Christopher Rouff

16 504 Электронные книги в этой категории

Обложка Yu-Hsin Chen & Joel S. Emer: Efficient Processing of Deep Neural Networks

Yu-Hsin Chen & Joel S. Emer: Efficient Processing of Deep Neural Networks

This book provides a structured treatment of the key principles and techniques for enabling efficient processing of deep neural networks (DNNs) . DNNs are currently widely used for many artificial in …

Обложка Roger A. Philips: Guide To Software Export: A Handbook For International Software Sales

Roger A. Philips: Guide To Software Export: A Handbook For International Software Sales

An ideal reference source for CEOs, marketing and sales managers, sales consultants, and students of international marketing, Guide to Software Export provides a step-by-step approach to initiating o …

Обложка David J. Eck: The Most Complex Machine

David J. Eck: The Most Complex Machine

This introduction to computers presents the fundamental ideas and principles on which modern computers are built. While used as a text for courses in computer appreciation as well as introductions to …

Обложка Rajarshi Pal: Innovative Research in Attention Modeling and Computer Vision Applications

Rajarshi Pal: Innovative Research in Attention Modeling and Computer Vision Applications

Обложка Joseph D. (University of Tennessee at Chattanooga, USA) Dumas II: Computer Architecture

Joseph D. (University of Tennessee at Chattanooga, USA) Dumas II: Computer Architecture

Not only does almost everyone in the civilized world use a personal computer, smartphone, and/or tablet on a daily basis to communicate with others and access information, but virtually every other m …

Обложка Mehdi Khosrow-Pour: Incorporating Nature-Inspired Paradigms in Computational Applications

Mehdi Khosrow-Pour: Incorporating Nature-Inspired Paradigms in Computational Applications

Обложка Roger Bartlett & Youlian Hong: Routledge Handbook of Biomechanics and Human Movement Science

Roger Bartlett & Youlian Hong: Routledge Handbook of Biomechanics and Human Movement Science

The Routledge Handbook of Biomechanics and Human Movement Science is a landmark work of reference. Now available in a concise paperback edition, it offers a comprehensive and in-depth survey of curre …

Обложка Ming Zhang: Applied Artificial Higher Order Neural Networks for Control and Recognition

Ming Zhang: Applied Artificial Higher Order Neural Networks for Control and Recognition

Обложка Jyoti Sekhar Banerjee & Jyotsna Kumar Mandal: Applications of Machine intelligence in Engineering

Jyoti Sekhar Banerjee & Jyotsna Kumar Mandal: Applications of Machine intelligence in Engineering

The Global Conference on Artificial Intelligence and Applications (GCAIA 2021) provides a prominent venue for researchers, engineers, entrepreneurs, and scholar students to share their research ideas …

Обложка Vijayan Sugumaran: Developments and Trends in Intelligent Technologies and Smart Systems

Vijayan Sugumaran: Developments and Trends in Intelligent Technologies and Smart Systems

Следущая страница >>>