第一图书网

全部分类

Formal Methods for Components and Objects 组件与对象用形式方法

Frank S. de Boer 1 (2005年10月26日)
出版时间：2005-10
出版社：1 (2005年10月26日)
作者：Frank S. de Boer
页数：323
图书封面

下载链接
    Formal Methods for Components and Objects 组件与对象用形式方法PDF格式下载

相关图书

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
过程、期限与周期
String Processing and Information Retrieval字符串处理与信息检索
GeoSpatial Semantics地理空间语义学
Advances in Computer Science - ASIAN 2005. Data Management on the Web计算机科学进展
Trust, Privacy, and Security in Digital Business数字商业中的信任、隐私与安全/会议录
Computer Science Logic 计算机科学逻辑/会议录
Computational Methods in Systems Biology 系统生物学计算方法/会议文集
Formal Methods at the Crossroads. From Panacea to Foundational Support 十字路口中的形式方法
List Decoding of Error-Correcting Codes纠错码的列表解码
Innovative Internet Community Systems 创新因特网社区系统
Languages and Compilers for Parallel Computing 并行处理用语言与编译器/会议文集
Teaching Formal Methods形式方法教学/会议录
Fundamental Approaches to Software Engineering 软件工程基础方法/会议录
Advances in Intelligent Data Analysis VI智能数据分析进展 VI/会议录
Automata, Languages and Programming自动控制、语言与编程/2005年国际会议录
神经计算进展 第1部分
Medical Image Computing and Computer医学图像计算与计算机辅助介入 MICCAI 2005 /会议录，第I部分
Ad-Hoc, Mobile, and Wireless Networks Ad-Hoc、移动与无线网络
Peer-to-Peer Systems III对等系统III/会议录
Discrete and Computational Geometry 离散与计算几何/会议录
电子服务用技术/会议文集 Technologies for E-Services
Natural Language Processing IJCNLP 2005 自然语言处理
Symbolic and Quantitative Approaches to Reasoning with Uncertainty不确定性推理的符号与定量研究/2005年欧洲会议录
2004分布式计算/会议录 Distributed Computing
Security in Communication Networks通信网络中的安全
自主通信/论文集Autonomic Communication