Formal Approaches to Agent-Based Systems

Mã QR

Formal Approaches to Agent-Based Systems

Đã lưu trong:

Chi tiết về thư mục
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	Springer Berlin Heidelberg 2020
Những chủ đề:	Computer Science Computer Science, general Control
Truy cập trực tuyến:	http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81085
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Những quyển sách tương tự

Constraint Satisfaction Techniques for Agent-Based Reasoning
Được phát hành: (2020)

Design of Intelligent Multi-Agent Systems
Bỡi: Khosla, Rajiv, et al.
Được phát hành: (2020)

Agent-Based Approaches in Economic and Social Complex Systems VI
Bỡi: Chen, Shu-Heng, et al.
Được phát hành: (2020)

Formal Methods for Open Object-Based Distributed Systems
Được phát hành: (2020)

Agent Based Modelling of Urban Systems
Bỡi: Namazi-Rad, Mohammad-Reza, et al.
Được phát hành: (2020)

Constraint-Based Agents
Bỡi: Nareyek, Alexander
Được phát hành: (2020)

Formal Methods for Open Object-Based Distributed Systems
Bỡi: Bonsangue, Marcello M., et al.
Được phát hành: (2020)

Modern Big Data Architectures - A Multi-Agent Systems Perspective
Bỡi: Ryzko
Được phát hành: (2020)

Formal Methods in Systems Biology
Bỡi: Fisher, Jasmin
Được phát hành: (2020)

Formal Methods for Open Object-Based Distributed Systems
Bỡi: Barthe, Gilles
Được phát hành: (2020)

Mobile Agents
Bỡi: Suri, Niranjan
Được phát hành: (2020)

How to Engineer Software - A Model-Based Approach
Bỡi: Tockey
Được phát hành: (2020)

Multi-Agent-Based Simulation VII
Bỡi: Antunes, Luis, et al.
Được phát hành: (2020)

Descriptional Complexity of Formal Systems
Bỡi: Konstantinidis, Stavros, et al.
Được phát hành: (2020)

Network-Based Analysis of Dynamical Systems
Bỡi: Leitold, Dániel, et al.
Được phát hành: (2020)

Agent-Based Approaches in Economic and Social Complex Systems VIII: Post-Proceedings of The AESCS International Workshop 2013
Bỡi: Nakai, Yutaka, et al.
Được phát hành: (2015)

Intelligent Agents and Multi-Agent Systems
Được phát hành: (2020)

Agent Computing and Multi-Agent Systems
Được phát hành: (2020)

Advances in Agent-Based Complex Automated Negotiations
Được phát hành: (2020)

Agent-Based Models of Geographical Systems
Bỡi: Heppenstall, Alison J., et al.
Được phát hành: (2020)

Formal Methods for Industrial Critical Systems
Bỡi: Leue, Stefan, et al.
Được phát hành: (2020)

Formal Approaches to Software Testing
Được phát hành: (2020)

Adaptive Agents and Multi-Agent Systems II
Được phát hành: (2020)

Environments for Multi-Agent Systems
Được phát hành: (2020)

Multi-Agent Based Simulation XVIII
Bỡi: Dimuro, Graçaliz Pereira, et al.
Được phát hành: (2020)

Multi-Agent Based Simulation XVII
Bỡi: Nardin, Luis Gustavo, et al.
Được phát hành: (2020)

Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning
Bỡi: Tuyls, Karl, et al.
Được phát hành: (2020)

Formal Models of Operating System Kernels
Bỡi: Craig, Iain D.
Được phát hành: (2020)

Fuzzy-Neuro Approach to Agent Applications
Bỡi: Lee, Raymond S.T.
Được phát hành: (2020)

Knowledge-Based Intelligent Information and Engineering Systems
Bỡi: Khosla, Rajiv
Được phát hành: (2020)

Ontology-Based Information Retrieval for Healthcare Systems
Bỡi: Jain
Được phát hành: (2020)

Web Services and Formal Methods
Bỡi: Dumas, Marlon, et al.
Được phát hành: (2020)

Cooperative Coordination and Formation Control for Multi-agent Systems
Bỡi: Sun, Zhiyong
Được phát hành: (2020)

Formal Techniques for Computer Systems and Business Processes
Bỡi: Bravetti, Mario, et al.
Được phát hành: (2020)

Intelligent Agents and Multi-Agent Systems
Được phát hành: (2020)

Agents and Multi-Agent Systems for Health Care
Bỡi: Montagna, Sara, et al.
Được phát hành: (2020)

Formal Techniques for Distributed Systems
Được phát hành: (2020)

Multi-Agent-Based Simulation VIII
Bỡi: Antunes, Luis, et al.
Được phát hành: (2020)

Mobile Agent-Based Anomaly Detection and Verification System for Smart Home Sensor Networks
Bỡi: Usman, Muhammad, et al.
Được phát hành: (2020)

Programming Multi-Agent Systems
Bỡi: Dastani, Mehdi, et al.
Được phát hành: (2020)