第一图书网

全部分类

Computer Aided Verification 计算机辅助验证

Thomas Ball 1 (2006年9月25日)
出版时间：2006-9
出版社：1 (2006年9月25日)
作者：Thomas Ball
页数：564
图书封面

下载链接
    Computer Aided Verification 计算机辅助验证PDF格式下载

相关图书

Advances in Multimedia Information Processing - PCM 2004 多媒体信息处理进展
契约方法论
Fundamentals of Computation Theory 计算理论基础/会议录
高级数据挖掘及应用Advanced Data Mining and Applications
Formal Techniques for Computer Systems and Business Processes 计算机系统与经营过程用形式技术/会议录
Computational Linguistics and Intelligent Text Processing 计算语言学与智能文本处理/会议录
Euro-Par 2005 Parallel Processing2005 欧洲并行处理会议/会议录
Computer Vision - ECCV 2004 计算机视觉
Combinatorial and Algorithmic Aspects of Networking网络的组合与算法问题/2004年会议录
2004计算的理论方面Theoretical Aspects of Computing - ICTAC
Artificial Intelligence 人工智能
Integration of Software Specification Techniques for Applications in Engineering 工程中应用的软件规范技术的综合
Graph-Theoretic Concepts in Computer Science计算机科学中的图论概念
Analysis and Modelling of Faces and Gestures面部和手势的分析和模式
Attention and Performance in Computational Vision计算视觉的注意与执行/会议录
远程医疗信息学的全民享用 Universal Access in Health Telematics
Recent Advances in Parallel Virtual Machine and Message Passing Interface 并行虚拟计算机与信息传送界面最新进展
Software Process Improvement软件过程改进/会议录
工程力学
Practical Aspects of Declarative Languages说明性语言的实用问题/会议录
Computer and Information Sciences - ISCIS 2005 计算机与信息科学 - ISCIS 2005/会议录
Mobility Aware Technologies and Applications移动性感知技术与应用/会议录
Software Product-Family Engineering软件产品家族工程/会议录
Automated Deduction CADE-20 自动化演绎－CADE-20/2005年国际会议录
Embedded and Ubiquitous Computing - EUC 2005 Workshops 嵌入与普适计算/会议录
Advances in Information Retrieval信息检索进展/会议录
Virtual Storytelling. Using Virtual Reality Technologies for Storytelling虚拟角色设计/会议录
Advances in Natural Computation 神经计算进展 第2部分
稀珍老上海股票鉴藏录
Adaptive Multimedia Retrieval 自适应多媒体检索/会议录
Multi-Agent Systems and Applications IV 多代理系统与应用 IV/会议录
Technologies for Interactive Digital Storytelling and Entertainment 交互式数字讲故事与娱乐用技术/会议录
Wireless Systems and Mobility in Next Generation Internet下一代因特网中的无线系统与移动性/会议文集
特色题和压轴题集（中考数学）
Formal Techniques for Networked and Distributed Systems - FORTE 2005网络和分布系统的形式技术-FORTE 2005
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
孙瀛洲捐献陶瓷珍品
研究生英语基本词汇用法精解/供全国大学生考研及研究生使用
吴大澂手札