上级目录
Object-Oriented Technology. ECOOP 2004 Workshop Reader面向对象技术/会议录
Database Support for Data Mining Applications 数据发掘应用的数据库支持
《UML》2004 - 统一建模语言 UML 2004 - The Unified Modeling Language
Operational Semantics for Timed Systems(定时系统的操作语义学：定时与混合系统的统一建模的非标准方法)
Correct Hardware Design and Verification Methods 正确的硬件设计与验证法
Teaching Formal Methods形式方法教学/会议录
自主通信/论文集Autonomic Communication
Conceptual Modeling for Novel Application Domains 最新应用域的概念模式
并行处理用的工作安排策略/会议文集 Job Scheduling Strategies for Parallel Processing
Scientific Applications of Grid Computing(栅格计算的科学应用)
Advanced Conceptual Modeling Techniques 先进概念制作模型技术
Security in Communication Networks通信网络中的安全
High Performance Computing(高性能计算)
Discovery Science 发现科学
计算机科学进展Advances in Computer Science - ASIAN 2004, Higher Level Decision Making
Inductive Logic Programming 归纳逻辑编程
Programming Languages and Systems(程序语言和系统)
Mechanizing Mathematical Reasoning 机械化数学推理
Combinatorial Image Analysis组合图像分析/会议录
Recent Advances in Parallel Virtual Machine and Message Passing Interface 并行虚拟计算机与信息传送界面最新进展
Conceptual Modeling for Advanced Application Domains高级应用域的概念模型
Implementation and Application of Functional Languages(函数式语言的实现与应用/会议文集)
Foundations of Intelligent Systems 2003年第14届国际智能系统基础研讨会会议录（计算机科学学术讲座纪要，人工智能学术讲座纪要 卷2781）
Spatial Cognition IV, Reasoning, Action, Interaction空间认知IV：推理、动作与相互作用/会议录
Programming Multi-Agent Systems多代理系统编程/会议文集
Computational Science and Its Applications - ICCSA 2004 计算机科学及其应用——ICSA2004/会议录 第II部分
Graph-Theoretic Concepts in Computer Science计算机科学中的图论概念
Innovative Internet Community Systems 创新因特网社区系统
List Decoding of Error-Correcting Codes纠错码的列表解码
Web Services - ICWS-Europe 2003(网服务-ICWS-欧洲2003)
Logic for Programming, Artificial Intelligence, and Reasoning(编程、人工智能与推理用逻辑学)
RoboCup 2004RoboCup 2004：机器人足球世界杯赛 VIII
KI 2003: Advances in Artificial Intelligence KI2003 人工智能进展
Peer-to-Peer Systems III对等系统III/会议录
Computational Science and Its Applications - ICCSA 2005(计算机科学及其应用—ICCSA 2007 /会议录 第IV部分)
Computer Music Modeling and Retrieval计算机音乐建模与检索/会议录（书和光盘）
Shared Memory Parallel Programming with Open MP共享存储器并行程序设计与Open MP/会议录
Text, Speech and Dialogue 文本、语音与对话
Computational Science and Its Applications - ICCSA 2005(计算机科学及其应用—ICCSA 2005 /会议录 第I部分)
Mobility Aware Technologies and Applications活动性感知技术与应用/会议录
Formal Methods at the Crossroads. From Panacea to Foundational Support 十字路口中的形式方法
Typed Lambda Calculi and Applications(典型Lambda 微积分学及其应用/会议录)
Advanced Parallel Processing Technologies 高级并行处理技术
效用计算/会议录 Utility Computing
Journal on Data Semantics I 数据语义学期刊 I
Engineering Societies in the Agents World V(多代理世界工程学会 V/2004年国际会议录)
Machines, Computations, and Universality机器、计算与普遍性/会议文集
Technologies for E-Services 电子服务技术
电子服务用技术/会议文集 Technologies for E-Services
Computers and Games 计算机与游戏程序
Compiler Construction(编译器构造/会议文集)
Discrete and Computational Geometry 离散与计算几何/会议录
HiPC 2004高性能计算/High Performance Computing
远程医疗信息学的全民享用 Universal Access in Health Telematics
软件工程技术的快速整合/会议文集Rapid Integration of Software Engineering Techniques
2002网络挖掘技术会议WEBKDD 2002 - Mining Web Data for Discovering Usage Patterns and Profiles
逼近与联机算法/会议录 Approximation and Online Algorithms
并行处理用作业调度策略Job Scheduling Strategies for Parallel Processing
Knowledge-Base基于知识的智能信息与工程系统/会议录 第I部分d Intelligent Information and Engineering Systems
Advances in Artificial Life 人工生命进展
Intelligent Information Technology智能信息技术/会议录
Progress in Cryptology - INDOCRYPT 2004密码学进展
Abstraction, Reformulation and Approximation（抽象、再形成与近似/2005年国际会议录）
Local Pattern Detection（局部模式检测/2004国际会议录）
世纪“9·11”：《美国“9·11”委员会报告》
Ubiquitous Computing Systems 普适计算系统/论文集
Combinatorial Pattern Matching（组合模式匹配）
Formal Methods for Open Object-Based Distributed Systems（基于开放对象的分布式系统用形式方法/会议录）
Intelligent Media Technology for Communicative Intelligence（通信智能用智能媒体技术/会议文集）
Artificial Intelligence and Knowledge Engineering Applications（人工智能与知识工程应用：生物激励方法/会议录，第2部分）
Mechanisms, Symbols, and Models Underlying Cognition（基于识别的机理、符号与模型/会议录，第1部分）
Intrusion and Malware Detection and Vulnerability Assessment（入侵与恶意软件及易损性评价/会议录）
Multilingual Information Access for Text, Speech and Images（文本、语言与图像的多语言信息存取/2004年会议录）
Principles of Distributed Systems（分布式系统原理/2004年国际会议录）
Theory and Applications of Satisfiability Testing（可满足性测试的理论与应用/2004年国际会议录）
Multiple Classifier Systems（多层分类器系统）
Advances in Neural Networks - ISNN 2005（神经网络进展-ISNN 2007 第三部分）
Component-Based Software Engineering（组件式软件工程/会议文集）
Foundations of Intelligent Systems（智能系统基础/会议录）
Structural Information and Communication Complexity（结构信息与通信复杂性/会议录）
Computational Logic in Multi-Agent Systems（多代理系统的计算逻辑/2004年国际会议录）
Software Architecture(软件体系结构/会议录)
高等数学学习指导(一)
The Semantic Web: Research and Applications(语义网)
Reliable Software Technology Ada-Europe 2005(可靠软件技术—Ada欧洲2005/会议录)
Product Focused Software Process Improvement(注重产品的软件过程改善)
Algorithms and Data Structures(算法与数据结构/会议录)
New Computational Paradigms(新计算范例/会议录)
Embedded Computer Systems(嵌入式计算机系统：结构体系、建模与模拟/2005年国际会议录)
Quality of Service IWQoS 2005(服务质量—IWQoS 2005/会议录)
Logical Aspects of Computational Linguistics(计算语言学的逻辑方面/会议录)
Innovations in Applied Artificial Intelligence(应用人工智能创新/会议录)
(公钥基础结构)Public Key Infrastructure
傣老汉简易会话手册(附两盒磁带)
Journal on Data Semantics III(数据语义学杂志 III)
Reasoning Web( 网络推理/会议录 )
Modeling and Using Context(上下文的建模和使用/会议录)
计算机应用英语(高职、高专计算机系列教材)
Engineering Societies in the Agents World IV 代理世界的工程社会/会议录
ECOOP 2004 - Object-Oriented Programming ECOOP 2004——面向对象的程序设计/会议录