Formal Approaches to Agent-Based Systems 基于代理系统的形式方法 2024 pdf epub mobi 电子书
简体网页||繁体网页
Formal Approaches to Agent-Based Systems 基于代理系统的形式方法 2024 pdf epub mobi 电子书 著者简介
Formal Approaches to Agent-Based Systems 基于代理系统的形式方法 电子书 图书目录
点击这里下载
发表于2024-11-24
Formal Approaches to Agent-Based Systems 基于代理系统的形式方法 2024 pdf epub mobi 电子书
Formal Approaches to Agent-Based Systems 基于代理系统的形式方法 2024 pdf epub mobi 电子书
Formal Approaches to Agent-Based Systems 基于代理系统的形式方法 2024 pdf epub mobi 电子书
喜欢 Formal Approaches to Agent-Based Systems 基于代理系统的形式方法 电子书 的读者还喜欢
Formal Approaches to Agent-Based Systems 基于代理系统的形式方法 电子书 读后感
图书标签:
Formal Approaches to Agent-Based Systems 基于代理系统的形式方法 2024 pdf epub mobi 电子书 图书描述
在线阅读本书
This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems, FAABS 2000, held in Greenbelt, MD, USA, in April 2000. The 22 revised full papers presented together with 13 posters and two panel discussion reports were carefully reviewed and improved for inclusion in the book. The papers are organized in topical sections on verifying agents' mental states, synthesizing agents initially, frameworks and formalizations, modeling and execution, inter-agent communication, and adaptive agents.
length: (cm)23.3 width:(cm)15.4
Formal Approaches to Agent-Based Systems 基于代理系统的形式方法 2024 pdf epub mobi 电子书
Formal Approaches to Agent-Based Systems 基于代理系统的形式方法 2024 pdf epub mobi 用户评价
Formal Approaches to Agent-Based Systems 基于代理系统的形式方法 2024 pdf epub mobi 电子书
分享链接
Formal Approaches to Agent-Based Systems 基于代理系统的形式方法 2024 pdf epub mobi 电子书 下载链接
相关图书
-
Natural Language Processing and Information Systems 2024 pdf epub mobi 电子书 -
Advances In Learning Classifier Systems学习分类器系统进展 2024 pdf epub mobi 电子书
-
Urban Transport 2024 pdf epub mobi 电子书
-
Discovery Science 2024 pdf epub mobi 电子书
-
Logical Aspects of Computational Linguistics: Third International Conference, LACL'98 Grenoble, Fran 2024 pdf epub mobi 电子书
-
Ubicomp 2001 2024 pdf epub mobi 电子书
-
Theoretical Aspects of Computer Software 工程安全与可靠性 2024 pdf epub mobi 电子书
-
Vagueness and Contradiction 2024 pdf epub mobi 电子书
-
Consolidated Ada Reference Manual. Language and Standard Libraries: International Standard ISO/IEC 8 2024 pdf epub mobi 电子书
-
Functional Imaging and Modeling of the Heart 2024 pdf epub mobi 电子书
-
Vagueness and Contradiction 2024 pdf epub mobi 电子书
-
Machines, Computations, and Universality: Third International Conference, MCU 2001 Chisinau, Moldava 2024 pdf epub mobi 电子书
-
Logic Programming: 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 2024 pdf epub mobi 电子书
-
Valiant Young Men 2024 pdf epub mobi 电子书
-
Valuing Professional Practice LL 2024 pdf epub mobi 电子书
-
Mobile Agents: 5th International Conference, MA 2001 Atlanta, GA, USA, December 2-4, 2001 Proceeding 2024 pdf epub mobi 电子书
-
Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001, A 2024 pdf epub mobi 电子书
-
Advances in Cryptology - ASIACRYPT 2001-密码学进展 - ASIACRYPT 2001 2024 pdf epub mobi 电子书
-
Victorian Testaments 2024 pdf epub mobi 电子书
-
Wavelet Analysis and Its Applications 2024 pdf epub mobi 电子书
