Database: Enterprise, Skills and Innovation: 22nd British National Conference on Databases, BNCOD 22, Sunderland, UK, July 5-7, 2005, Proceedings (平装)_PDF下载_Mike Jackson_PDF下载

模式识别与机器智能/会议录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

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 欧洲并行处理会议/会议录

第一图书网

Database: Enterprise, Skills and Innovation: 22nd British National Conference on Databases, BNCOD 22, Sunderland, UK, July 5-7, 2005, Proceedings (平装)

相关图书