第一图书网

全部分类

Formal Approaches to Agent-Based Systems 基于代理系统的形式方法

James L. Rash 1 (2001年11月1日)
出版时间：2001-11
出版社：1 (2001年11月1日)
作者：James L. Rash
图书封面

下载链接
    Formal Approaches to Agent-Based Systems 基于代理系统的形式方法PDF格式下载

相关图书

Advances In Learning Classifier Systems学习分类器系统进展
Theoretical Aspects of Computer Software 工程安全与可靠性
Advances in Cryptology - ASIACRYPT 2001-密码学进展 - ASIACRYPT 2001
Computational Intelligence. Theory and Applications 计算智能、理论与应用
Embedded Software 嵌入式软件
Protocols for Multimedia Systems 交互分布多媒体系统
Advances in Cryptology - EUROCRYPT 2001密码学进展
2001-高性能计算－HiPC 2001High Performance Computing - HiPC
Learning-Based Robot Vision: Principles and Applications (平装)
Networked Group Communication: Third International COST264 Workshop, NGC 2001, London, UK, November 7-9, 2001. Proceedings (平装)
2001 密码学进展－INDOCRYPT 2001Progress in Cryptology - INDOCRYPT
Integer Programming and Combinatorial Optimization 自动时间表生成的实践与理论III
网络与普及计算趋向
Computational Science - ICCS 2001: International Conference, San Francisco, CA, USA, May 28-30, 2001. Proceedings, Part II (平装)
Automata, Languages and Programming 自动化、编程和语言
Mathematical Foundations of Computer Science 2001 计算机科学的数学基础2001
Medical Data Analysis 医学数据分析
Evolutionary Trends of the Internet 因特网发展趋向
Computer Aided Systems Theory - EUROCAST 2001 计算机辅助系统理论EUROCAST 2001
Evolutionary Multi-Criterion Optimization: First International Conference, EMO 2001, Zurich, Switzerland, March 7-9, 2001 Proceedings (平装)
Agent-Oriented Software Engineering II-面向代理的软件工程II
STACS 20012001年第18届年度计算机科学的理论问题讨论会文集
Self-Stabilizing Systems 自稳定系统
Semantics, Applications, and Implementation of Program Generation 程序生成语义学、应用与实施
Functional and Logic Programming: 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001. Proceedings (平装)
Graph-Theoretic Concepts in Computer Science 计算机科学中的图论概念
Numerical Analysis and Its Applications: Second International Conference, NAA 2000 Rousse, Bulgaria, June 11-15, 2000. Revised Papers (平装)
Spatial Information Theory. Foundations of Geographic Information Science: International Conference, COSIT 2001 Morro Bay, CA, USA, September 19-23, 2001 Proceedings (平装)
Power-Aware Computer Systems 节电计算机系统
Advances in Multimedia Information Processing - PCM 2001 多媒体信息处理进展-PCM 2001
Engineering Societies in the Agents World II基于代理技术的工程社会２
Genetic Programming: 4th European Conference, EuroGP 2001 Lake Como, Italy, April 18-20, 2001 Proceedings (平装)
Job Scheduling Strategies for Parallel Processing: 7th International Workshop, JSSPP 2001, Cambridge, MA, USA, June 16, 2001, Revised Papers (平装)
Algorithms and Computation 算法和计算
Engineering for Human-Computer Interaction 人机交互的符号工程
Cryptography and Coding 加密和编码
Embedded Processor Design Challenges: Systems, Architectures, Modeling, and Simulation - SAMOS (平装)
Applications of Evolutionary Computing应用进化计算法
Practice and Theory of Automated Timetabling III 自动时间表生成的实践与理论III
Haptic Human-Computer Interaction 触觉人机交互作用
Algorithms - ESA 2001 算法
Inductive Logic Programming 归纳逻辑编程
Automatic Generation of Computer Animation 计算机动画自动生成法
Networking - ICN 2001: First International Conference on Networking, Colmar, France July 9-13, 2001 Proceedings, Part II (平装)
Information Hiding 信息隐藏
Advances in Cryptology - CRYPTO 2001 密码学进展
Process Algebra and Probabilistic Methods 过程代数与概率方法
The Tale of Tom Kitten 小猫汤姆的故事
Read with me Practice and Play 2 边玩边学
The Tale of Jemima Puddle Duck 母鸭洁玛的故事