第一图书网

全部分类

网络与分布式系统用形式化技术 - FORTE 2006/会议录

Najm, Elie; Pradat-Peyre, Jean-Francois; Donzeau-Gouge, Vronique Vigui 湖南文艺出版社
出版时间：2006-12
出版社：湖南文艺出版社
作者：Najm, Elie; Pradat-Peyre, Jean-Francois; Donzeau-Gouge, Vronique Vigui
页数：483
图书封面

下载链接
    网络与分布式系统用形式化技术 - FORTE 2006/会议录PDF格式下载

相关图书

智能代理VIII/会议录 Intelligent agents VIII
民航地勤服务
生产质量控制
木地板鉴别检验及消费维权指南
民航旅客运输
生物技术制药-全国高等学校教材.供药学类专业用
制药工程原理与设备
毛泽东和他的秘书田家英
服装设计
服装立体裁剪
液压与气动习题实验指导
元件部署/会议录 Component deployment
中国纺织标准汇编
电工电子技术
公差配合与技术测量
地基与基础工程
系统工程概论
丝绸之路考古研究
论现代中国美术
中国古代科学
计算系统生物学论文集 VI/Transactions on computational systems biology VI
计算系统生物学汇刊 VII Transactions on computational systems biology VII
无机化学
中国书籍、纸墨及印刷史论文集
模式识别Pattern recognition
模式识别
计算系统生物学论文集 Transactions on computational systems biology
富兰克林传
白居易诗译释
韩愈诗文译释
地理信息科学
地理信息科学Geographic information science
老影星·老影片（上、下册）
先秦诸子文译释
古代风景散文译释
移动网络中与汽车软件连接的服务/Automotive software connected services in mobile networks
清末名妓-赛金花传
2006 ACM/IFIP/USENIX 第7届国际中间件会议/LNCS-4290
多分类器系统 Multiple classifier systems
神经计算进展 Advances in natural computation
2006人工智能趋势 LNCS-4099
基于知识的智能信息与工程系统
基于知识的智能信息与工程系统
自然语言处理与信息系统/会议录/ Natural language processing and information systems
人工神经网络 - ICANN 2006 /会议录 第II部分/Artificial neural networks
人工智能2006
算法数论Algorithmic number theory
代数、意义与计算
佩特里网应用与理论2002/会议录 Application and theory of petri nets 2002
计算与组合数学 Computing and combinatorics