第一图书网

全部分类

Formal Methods and Software Engineering形式方法与软件工程

Kung-Kiu Lau 1 (2005年12月14日)
出版时间：2005-12
出版社：1 (2005年12月14日)
作者：Kung-Kiu Lau
页数：496
图书封面

下载链接
    Formal Methods and Software Engineering形式方法与软件工程PDF格式下载

相关图书

Information and Communications Security信息及通信安全
Business Process Management 业务流程管理/会议录
Conceptual Modeling for Advanced Application Domains高级应用域的概念模型
Correct Hardware Design and Verification Methods 正确的硬件设计与验证法
Embedded Software and Systems嵌入式软件与系统
Computer Algebra and Geometric Algebra with Applications 计算机代数和几何代数 及应用
2005年/会议录 STACS 2005
Generative Programming and Component Engineering 生成程序设计与组件工程/会议录
Principles and Practice of Semantic Web Reasoning语义网推理的原理与实践/会议录
Advances in Multimedia Information Processing - PCM 2005多媒体信息处理进展-PCM 2005
Information Hiding信息隐藏/2005第7届国际研讨会文集
Distributed Computing分布式计算/会议录
Model Driven Architecture - Foundations and Applications模型驱动的体系结构
Correct Hardware Design and Verification Methods正确的硬件设计与验证法/会议录
约束编程的原理与实践 - CP 2005/Principles and Practice of Constraint Programming - CP 2005
2005嵌入与普适计算 EUC 2005/会议录Embedded and Ubiquitous Computing - EUC
艺术美学
天鹅湖的柔性城市主义
多代理系统的软件工程Software Engineering for Multi-Agent Systems III
绘图/会议录Graph Drawing
Comparative Genomics比较基因组学/会议录
Constraint Solving and Language Processing约束求解与语言处理/会议文集
Databases in Networked Information Systems网络信息系统中的数据库
Ambient Intelligence环境智能/会议录
Natural Language Processing and Information Systems自然语言处理与信息系统
Formal Methods for Components and Objects 组件与对象用形式方法
Agent-Oriented Information Systems II面向代理的信息系统 II/会议文集
Peer-to-Peer数字图书馆体系结构中的对等、网格与服务定向/会议文集
High Performance Computing for Computational计算科学用的高性能计算
Systems Aspects in Organic and Pervasive有机与普适计算中的系统方面/会议录
Operations and Management in IP-Based Networks基于IP的网络的操作与管理/会议录
Foundations of Software Science and Computational Structures 软件科学与计算结构基础/会议录
Computer Analysis of Images and Patterns 图像与模式的计算机分析
电脑成像用离散几何学/会议录Discrete Geometry for Computer Imagery
效用计算/会议录 Utility Computing
Generative Programming and Component Engineering 产生式编程与组件工程/会议录
Web and Wireless Geographical Information SystemsWeb和无线地理信息系统
Advances in Bioinformatics and Computational Biology生物信息学与计算生物学进展/2005年会议录
白银似雪
Networking and Mobile Computing 网络与移动计算
Text, Speech and Dialogue 文本、语音与对话
Scientific Engineering of Distributed Java Applications 分布式Java应用的科学工程/会议录
从电脑知识到信息学基本原理/会议录From Computer Literacy to Informatics Fundamentals
Advances in Multimedia Information Processing - PCM 2004 多媒体信息处理进展
Energy Minimization Methods in Computer Vision 计算机视觉与模式识别中的能量最小化方法
Multiple Classifier Systems 多分类器系统/会议录
Logic Programming and Nonmonotonic Reasoning逻辑编程与非单调推理
Security in Ad-hoc and Sensor Networks(专门与传感器网络的安全/会议录)
Database: Enterprise, Skills and Innovation: 22nd British National Conference on Databases, BNCOD 22, Sunderland, UK, July 5-7, 2005, Proceedings (平装)
模式识别与机器智能/会议录Pattern Recognition and Machine Intelligence