第一图书网

全部分类

Formal Techniques for Networked and Distributed Systems - FORTE 2005网络和分布系统的形式技术-FORTE 2005

Farn Wang　著 北京燕山出版社
出版时间：2005-9
出版社：北京燕山出版社
作者：Farn Wang　著
页数：558
图书封面

下载链接
    Formal Techniques for Networked and Distributed Systems - FORTE 2005网络和分布系统的形式技术-FORTE 2005PDF格式下载

相关图书

Computer Music Modeling and Retrieval计算机音乐建模与检索/会议录
Computational Science - ICCS 2004计算科学
Computational Intelligence and Bioinspired Systems计算智能与生物激励的系统
Frontiers of Combining Systems 组合系统前沿/会议录
Advanced Concepts for Intelligent Vision Systems 智能视觉系统的先进概念/会议录
Cryptography and Coding密码术与编码/会议录
Verification, Model Checking, and Abstract Interpretation 验证、模型检验与抽象解释/会议录
2004年第2届国际验证与分析的自动化技术会议录Automated Technology for Verification and Analysis
Foundations of Security Analysis and Design III 安全分析与设计基础 III
嵌入式软件与系统Embedded Software and Systems
消失的地平线
生物特征身份验证Biometric Authentication
孙瀛洲捐献陶瓷珍品
研究生英语基本词汇用法精解/供全国大学生考研及研究生使用
吴大澂手札
翁同龢手札
英语（第一册）
英语（第三册）
建筑材料
集群企业网络化成长机制
临床实验室管理学
精密机械设计基础
科学社会主义理论与实践
闽学困知录
高中英语考点精练
巧学巧用Excel2007统计分析范例
人体解剖生理学
知荣辱 树新风 争当文明公民
临床生殖医学
向文化要发展
少数民族地区人力资本研究
建设工程勘察设计咨询文件汇编1992～1999
临床血液学与检验
实用工业分析
大学英语四级基本词汇用法精解
开拓进取的五年
Semantic Web Services and Web Process Composition 语义Web服务与Web Process组成/会议文集
Statistics统计学
Cluster and Classification Techniques for the Biosciences 生命科学中的群集技术与分类技术
Ambient Intelligence for Scientific Discovery科学发现的环境智能
User-信息社会中通用访问的以用户为中心的交互作用范例/会议文集
模型驱动工程语言与系统/会议录 Model Driven Engineering Languages and Systems
神之变
公共营养师考试指导（中医分册）
你问我答学电工
模拟电路设计与制作
国际大学生程序设计竞赛例题解
爨文化椎论
拥有世界
怒江纪事