第一图书网

全部分类

Formal Modeling and Analysis of Timed Systems 时间系统的形式建模与分析/会议录

Paul Pettersson 第1版 (2006年1月1日)
出版时间：2006-1
出版社：第1版 (2006年1月1日)
作者：Paul Pettersson
页数：303
图书封面

下载链接
    Formal Modeling and Analysis of Timed Systems 时间系统的形式建模与分析/会议录PDF格式下载

相关图书

Magic Hat 神奇的帽子
Structural Macroeconometrics结构宏观经济学
验方新编（下册）
室内设计原理
Principles and Practice of Semantic Web Reasoning 语义网推理原理与实践/会议录
Implementation of Functional Languages 函数式语言的实现/会议录
Entertainment Computing - ICEC 2004 娱乐计算- ICEC 2004 /会议录
Mobility Aware Technologies and Applications活动性感知技术与应用/会议录
人机交互中的姿势与手势语言/会议录Gesture-Based Communication in Human-Computer Interaction
Perspectives of Systems Informatics系统信息学透视/会议录
Sequences and Their Applications - SETA 2004序列及其应用 - SETA 2004 /会议文集
Biologically Inspired Approaches to Advanced Information Technology生物学启发的高级信息技术方法/会议文集
Multiagent System Technologies: Third German Conference, MATES 2005, Koblenz, Germany, September 11-13, 2005, Proceedings(多代理系统技术/会议录 2005年德国科布伦次)
Intelligent Technologies for Interactive Entertainment互动娱乐用智能技术/会议录
2004年第2届国际验证与分析的自动化技术会议录
自动机的实现与应用/会议录Implementation and Application of Automata
Advances in Artificial Intelligence - SBIA 2004(人工智能进展-SBIA2004年/会议录)
Web Technologies Research and Development - APWeb 2005 网技术研究和发展
Advances in Neural Networks - ISNN 2004(神经网络进展-ISSN 2004)
公共人力资源管理
初中生作文抢满分
作文直通车
轻松练习30分测试卷
中专数学教程 第二册
周保中将军
复变函数
线性代数·概论论与数理统计
狐狸老爷 OLDGRANNY FOX
康熙后妃子女传稿
Chatterer, Red Squirrel 红松鼠历险记
毛泽东思想概论
议论文写作教程
初中生语文重难点一点通
高职高专英语
万兆位以太网及其实用技术
The Princess and the Pea 豌豆公主
彝族打歌调
针灸资生经 针经摘英集
郑魁山针灸临床经验集
新教案同步测控
作文直通车/九年级
七彩情
Information Retrieval Technology 信息检索技术
Wisdom of Crowds（群众的智慧）
云南民族语言文字现状调查研究
Advances in Information Systems(信息信息系统进展/会议录系统进展/会议录)
中职英语教程 1
中专数学教程/第一册
口腔生物学-供口腔医学类专业用
Progress in Cryptology - INDOCRYPT 2004密码学进展