上级目录
辩证法史论稿
Formal Techniques for Computer Systems and Business Processes 计算机系统与经营过程用形式技术/会议录
理论力学(高等工程专科学校教材)
Computer Analysis of Images and Patterns 图像与模式的计算机分析
Natural Language Processing and Information Systems自然语言处理与信息系统
化学计量学
大学心理学
基于知识的智能信息与工程系统/会议录 第II部分Knowledge-Based Intelligent Information and Engineering Systems
Cooperative Design, Visualization, and Engineering 合作设计、可视化与工程/会议录
AI*IA 2005: Advances in Artificial Intelligence AI*IA 2005 人工智能进展/会议录
实验和有效的算子Experimental and Efficient Algorithms
Algorithms ESA 2005: 13th Annual European Symposium 算法 ESA 2005 /会议录
Formal Methods for Components and Objects 组件与对象用形式方法
Computational Intelligence and Bioinspired Systems计算智能与生物激励的系统
Generative Programming and Component Engineering 产生式编程与组件工程/会议录
Logic Programming: 21st International Conference 逻辑程序设计/会议录
Integer Programming and Combinatorial Optimization整数规划与组合最优化
计算系统生物学论文集 II：Transactions on Computational Systems Biology II
Comparative Genomics: RECOMB 2005 International Workshop 比较基因组学/会议录
Wired/Wireless Internet Communications有线/无线因特网通信/会议录
Knowledge-Based Intelligent Information and Engineering Systems 基于知识的智能信息与工程系统/会议录 第III部分
Knowledge-Based Intelligent Information and Engineering Systems 基于知识的智能信息与工程系统/会议录 第IV部分
Metainformatics元信息学/2004年国际会议录
Spatial Information Theory: International Conference 空间信息理论/会议录
Algorithms in Bioinformatics 生物信息学中的算法/会议录
Computational Science -- ICCS 2005计算科学-ICCS2005 第一部分
Multi-Agent Systems and Applications IV 多代理系统与应用 IV/会议录
Service Availability 服务利用率：第2届国际服务利用率专题会议文集
Information Retrieval Technology 信息检索技术
Information Security and Cryptology - ICISC 2004信息安全与密码术 - ICISC 2004
Information Context: Nature, Impact, and Role信息关联：本质、影响与作用/会议录
Autonomous Intelligent Systems自主智能系统：代理与数据发掘/国际讨论会
Agent-Oriented Information Systems II面向代理的信息系统 II/会议文集
Web and Wireless Geographical Information SystemsWeb和无线地理信息系统
Privacy Enhancing Technologies强化隐私保障技术/会议文集
Engineering Human Computer Interaction and Interactive Systems人机交互作用与交互式系统工程/2004年会议录
Wireless Systems and Mobility in Next Generation Internet下一代因特网中的无线系统与移动性/会议文集
Human Interactive Proofs真人交互证明/会议录
Advances in Cryptology - EUROCRYPT 2005密码术进展—EUROCRYPT 2005/会议录
Advances in Neural Networks - ISNN 2005神经网络进展-ISNN 2006 第二部分
Advanced Information Systems Engineering信息系统工程进展
Advances in Knowledge Discovery and Data Mining知识发现与数据挖掘进展/会议录
Algorithmic Applications in Management管理 中的算子应用
Computing and Combinatorics: 12th Annual International Conference, COCOON 2006计算与组合数学
高级数据挖掘及应用Advanced Data Mining and Applications
Perspectives of Systems Informatics系统信息学透视/会议录
Reading and Learning 阅读与学习：自适应内容认别
Artificial Evolution人工进化/会议录
Declarative Agent Languages and Technologies II(陈述性代理语言与技术 II)
大学写作
电子媒体的扩散与应用
Radical Innovations of Software and Systems Engineering in the Future未来软件与系统工程主要创新/会议录
模糊专家系统
Computational Science and Its Applications - ICCSA 2004计算机科学及其应用——ICSA2004/会议录 第III部分
CASL Reference ManualCASL参考手册：公用代数描述语言文件总汇
Progress in Artificial Intelligence人工智能进展
Computational Science - ICCS 2004计算科学——ICCS 2004 第IV部分
Logic Programming and Nonmonotonic Reasoning逻辑编程与非单调推理
Applications of Evolutionary Computing寻优计算应用/会议录
Genetic Programming(遗传编程/会议录)
Computational Science - ICCS 2004计算科学——ICCS 2004 第II部分
Logic Programming逻辑程序设计/会议录
Functional and Logic Programming函数与逻辑程序设计/会议录
Logic for Programming, Artificial Intelligence, and Reasoning(编程、人工智能与推理用逻辑)
LATIN 2004LATIN 2004：理论信息学/会议录
Wired/Wireless Internet Communications有线/无线因特网通信/会议录
Computational Science and Its Applications - ICCSA 2005, Part II(计算机科学及其应用—ICCSA 2005 /会议录 第II部分)
Advances in Web IntelligenceWeb智能进展/会议录
Primality Testing in Polynomial Time多项式时间中的初级测试
Database Programming Languages数据库程序设计语言/会议录
网络传播——PHP语言的应用（附光盘）
Computational Science and Its Applications - ICCSA 2004计算机科学及其应用——ICSA2004/会议录 第IV部分
Evolutionary Computation in Combinatorial Optimization(组合优化中的进化计算/会议录)
Advanced Web Technologies and Applications网技术和应用进展
Matchmaking in Electronic Markets(电子市场的媒介)
人机交互中的姿势与手势语言/会议录Gesture-Based Communication in Human-Computer Interaction
Data Integration in the Life Sciences(生命科学的数据整合/2005年国际会议录)
Evolutionary Computation in Combinatorial Optimization组合优化的寻优计算/会议录
Automated Deduction in Geometry几何学的自动演绎/会议录
Term Rewriting and Applications(项重写与应用/会议录)
Theory and Applications of Relational Structures as Knowledge Instruments作为知识器具的关系结构理论与应用/会议录
AI 2003: Advances in Artificial Intelligence人工智能进展AI2003
Quality of Future Internet Services( 未来因特网服务的品质 )
Computational Science and Its Applications - ICCSA 2005(计算机科学及其应用—ICCSA 2006 /会议录 第III部分)
Program Development in Computational Logic计算逻辑的程序开发：基于逻辑的程序开发研究进展10年
Self-star Properties in Complex Information Systems(复杂信息系统中的Self-star 特性：概念与实践基础)
网络信息系统数据库Databases in Networked Information Systems
Database Systems for Advanced Applications(高级应用的数据库系统)
Languages and Compilers for Parallel Computing 并行处理用语言与编译器/会议文集
Foundations of Genetic Algorithms(遗传算法的基础/2005年国际会议录)
Computer and Information Sciences -- ISCIS 2003 计算机与信息科学 - ISCIS 2003
Data Mining and Knowledge Management数据开采和知识管理
On The Move to Meaningful Internet Systems 2003( 迈向有意义的互联网系统：OTM 2003研讨会 )
Intelligent Search on XML Data XML数据的智能搜索
2004分布式计算/会议录 Distributed Computing
Global Optimization and Constraint Satisfaction(全局优化与受限制满足/会议文集)
计算机辅助系统理论 - EUROCAST2003Computer Aided Systems Theory - EUROCAST 2003
计算机与信息科学 - ISCIS 2004/会议录 Computer and Information Sciences - ISCIS 2004
位置与情境感知/会议录 Location- and Context-Awareness