上级目录
Embedded and Ubiquitous Computing - EUC 2005 Workshops 嵌入与普适计算/会议录
Formal Modeling and Analysis of Timed Systems 时间系统的形式建模与分析/会议录
Algorithms and Computation 算法与计算
Data and Applications Security XX数据与应用安全 XX：第20届IFIP WG 11.3 年度工作会议/会议录
Software Product-Family Engineering软件产品家族工程/会议录
计算机视觉——ECCV2004/会议录 第II部分/Computer Vision ECCV 2004
互联网与网络经济学/Internet and Network Economics
Intelligent Virtual Agents智能虚拟主体： IVA 2006/会议录
Telecommunications and Networking -- ICT 2004: 11th 电信与网络 - 20045国际电信会议/会议录
Formal Methods in Computer-Aided Design(计算机辅助设计中的形式方法/会议录)
Biologically Inspired Approaches to Advanced Information Technology生物学启发的高级信息技术方法/会议文集
Knowledge Discovery from XML Documents: First International源于XML文件的知识发现/会议录
2005智能数据工程与自动化学习/2005年国际会议录/Intelligent Data Engineering and Automated Learning
Formal Methods and Software Engineering(形式方法与软件工程/会议录)
Symbolic and Quantitative Approaches to Reasoning with Uncertainty不确定性推理的符号与定量研究/2005年欧洲会议录
Security in Ad-hoc and Sensor Networks(专门与传感器网络的安全/会议录)
Automata, Languages and Programming自动控制、语言与编程/2005年国际会议录
Image and Video Retrieval: 4th International Conference图像与视频检索/2005年国际会议录
Web Information Systems -- WISE 2004 Workshops(网信息系统—WISE2004年/会议录)
FM 2005: Formal Methods: International Symposium of FormalFM 2005:形式化方法/会议录
Cellular Automata(细胞自动机器)
高级数据开采和应用/Advanced Data Mining and Applications
KI 2004: Advances in Artificial Intelligence(KI 2004人工智能进展/会议录)
Web Engineering: 5th International Conference网络工程/2005年国际会议录
佤文读本(修订本)
Advances in Bioinformatics and Computational Biology生物信息学与计算生物学进展/2005年会议录
Discovery Science(发现科学/会议录)
高性能计算的语言与编译器/2004年国际会议录 Languages and Compilers for High Performance Computing
Computing and Combinatorics 计算和组合
Management of Multimedia Networks and Services(多媒体网络与服务管理/会议录)
彝族文学史(上下册)
The Semantic Web - ISWC 2004(语义网-ISWC2004)
Smart Graphics: 5th International Symposium, SG 2005
Programming Languages and Systems(程序语言和系统)
Model Checking Software: 12th International SPIN Workshop模型检验软件/会议录
Advances in Intelligent Computing智能计算进展
Web Information Systems -- WISE 2004(网 信息系统--WISE2004)
Model Driven Architecture 模型驱动的体系架构基础与应用：欧洲MDA研讨会MDAFA 2003 and MDAFA 2004论文集
Natural Language Generation: Third International Conference自然语言生成/会议录
Computational Logic in Multi-Agent Systems(多代理系统计算逻辑/会议录)
Data Warehousing and Knowledge Discovery 数据仓库与知识发现/会议录
Information and Communications Security(信息与通信安全/会议录)
Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing 粗集、模糊集、数据挖掘和粒度计算/会议录 第I部分
Information Security: 8th International Conference, ISC 2005信息安全/会议录
Parallel Problem Solving from Nature - PPSN VIII(源自自然的并行题解—PPSN VIII/会议录)
粗集、模糊集、数据挖掘和粒度计算/会议录 第II部分Rough Sets, Fuzzy Sets, Data Mining
Transactions on Rough Sets II: Rough Sets and Fuzzy Sets粗集，学报II：粗集与模糊集
Euro-Par 2005 Parallel Processing2005 欧洲并行处理会议/会议录
Personal Wireless Communications(个人无线通信/会议录)
Research and Advanced Technology for Digital Libraries 数字图书馆用研究与先进技术/会议录
Adaptive Hypermedia and Adaptive Web-Based Systems适应性超媒体与基于Web的适应性系统/会议录
Web Engineering: 4th International Conference, ICWE 2004Web工程/会议录
Business Process Management 业务流程管理/会议录
UML Modeling Languages and Applications(UML模式语言和应用)
Conditionals, Information, and Inference(条件、信息与推论/会议文集)
Evolvable Systems: From Biology to Hardware 从生物学到硬件的可进化系统/会议录
Computational Intelligence and Bioinformatics: International生物信息学的计算智能
Advances in Intelligent Data Analysis VI智能数据分析进展 VI/会议录
Recent Advances in Parallel Virtual Machine and Message Passing Interface(并行虚拟机与报文传送接口新进展/会议录)
Computer Aided Systems Theory EUROCAST 2005 计算机辅助系统理论 - EUROCAST 2005/会议文集
Peer-to-Peer Systems IV: 4th International Workshop 对等系统 III
Service Assurance with Partial and Intermittent Resources具有部分的与断续的资源的服务保障/会议录
Universal Multiservice Networks(通用多业务网络/会议录)
Deterministic and Statistical Methods in Machine Learning 机器学习中的确定与统计方法/论文集
Natural Language Processing IJCNLP 2005 自然语言处理--IJCNLP2005
Developments in Language Theory 语言理论的发展/2005年国际会议录
Structural, Syntactic, and Statistical Pattern Recognition结构、句法与统计模式识别/会议录
Digital Watermarking: 4th International Workshop, IWDW 2005数字水印技术/会议录
Advances in Information Systems(信息信息系统进展/会议录系统进展/会议录)
Pattern Recognition in Bioinformatics: International Workshop信息情报学中的模式识别
Foundations of Software Science and Computational Structures 软件科学与计算结构基础/会议录
Algorithmic Learning Theory(算法学习理论/会议录)
Applications of Evolutionary Computing 进化计算的应用研讨会
Job Scheduling Strategies for Parallel Processing: 11th 并行处理的工作安排策略/会议文集
Quality of Service in the Emerging Networking Panorama(新兴连网全景的服务质量/会议录)
Conceptual Structures at Work: 12th International Conference作业的概念结构/会议录
Fundamental Approaches to Software Engineering 软件工程基础方法/会议录
Sequences and Their Applications - SETA 2004序列及其应用 - SETA 2004 /会议文集
Machine Translation: From Real Users to Research(机器翻译：从实际用户到研究/会议录)
Advances in Neural Networks - ISNN 2005神经网络进展-ISNN 2005 第一部分
ZB 2005: Formal Specification and Development in Z and BZB 2005：Z与B的形式规格说明与开发/会议录
Algorithms and Models for the Web-Graph(网络图算法与模型/会议录)
计算机在教学与教育管理中的应用
Integration of AI and OR Techniques 组合优化问题约束编程中的AI与OR技术综合/会议文集
Artificial Intelligence and Symbolic Computation(人工智能与符号计算/会议录)
会计模拟实验案例教程(修订版)
Coordination Models and Languages 协同模型与语言/会议录
轮机工程测试技术
Artificial Immune Systems(人工免疫系统/会议录)
Dependable Computing - EDCC 2005 可靠的计算— EDCC 2005 /会议录
NETWORKING 2005. Networking TechnologiesNETWORKING 2005.网络技术，服务与协议；计算机与通信网络的性能；移动与无线通信系统/会议录
Web Services(网络服务)
普适计算/会议录 Pervasive Computing: Third International Conference
Computational Science -- ICCS 2005计算科学-ICCS2007 第三部分
Grid and Cooperative Computing - GCC 2004 Workshops(栅格和合作计算-GCC2004)
模型、转换与工具Scenarios: Models, Transformations and Tools Scenarios
创造学新论
Static Analysis: 12th International Symposium, SAS 2005 静态分析/会议录
Grid and Cooperative Computing - GCC 2004(栅格和合作计算-GCC2004)
电脑成像用离散几何学/会议录Discrete Geometry for Computer Imagery