第一图书网

全部分类

Teaching Formal Methods形式方法教学/会议录

Dean, C. Neville; Boute, Raymond T.; 北京燕山出版社
出版时间：2004-9
出版社：北京燕山出版社
作者：Dean, C. Neville; Boute, Raymond T.;
页数：248
图书封面

下载链接
    Teaching Formal Methods形式方法教学/会议录PDF格式下载

相关图书

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
Mechanizing Mathematical Reasoning 机械化数学推理
Functional and Logic Programming函数与逻辑程序设计/会议录
Applications of Evolutionary Computing寻优计算应用/会议录
Advanced Web Technologies and Applications网技术和应用进展
Wired/Wireless Internet Communications有线/无线因特网通信/会议录
Metainformatics元信息学/2004年国际会议录
Cooperative Design, Visualization, and Engineering 合作设计、可视化与工程/会议录
高性能计算的语言与编译器/2004年国际会议录 Languages and Compilers for High Performance Computing
Computational Science and Its Applications - ICCSA 2005(计算机科学及其应用—ICCSA 2005 /会议录 第I部分)
COTS-Based Software Systems基于COTS的软件系统/会议录
Numerical Analysis and Its Applications 数分析和应用
Deontic Logic in Computer Science计算机科学中的道义逻辑/会议录
Integrated Formal Methods集成形式化方法 /会议录
Advances in Case-Based Reasoning 案例式推理进展/会议录
Agent Computing and Multi-Agent Systems代理计算及Multi-Agent系统
Computer Aided Verification 计算机辅助验证
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说明性语言的实用问题/会议录