上级目录
Brain, Vision, and Artificial Intelligence大脑、视觉与人工智能/会议录
Transactions on Rough Sets IV粗糙集汇刊 IV
Foundations of Security Analysis and Design III 安全分析与设计基础 III:FOSAD 2004/2005 指导讲义
Trustworthy Global Computing可信赖的全球计算/会议文集
Artificial Neural Networks人工神经网络:生物激励-ICANN 2005 /会议录 第I部分
Holonic and Multi-Agent Systems for Manufacturin 制造业用整子与多代理系统/会议录
Integrated Circuit and System Design集成电路与系统设计、功率与时间建模、最优化与仿真/会议录
线性代数·概论论与数理统计
Generative Programming and Component Engineering 生成程序设计与组件工程/会议录
High Performance Computing and Communications高性能计算与通信/会议录
The Semantic Web - ISWC 2005语义网 - ISWC 2005/会议录
Journal on Data Semantics IV数据语义学期刊 IV
高性能计算 HiPC 2005/会议录High Performance Computing HiPC 2005
Research in Computational Molecular Biology: 9th Annual International 计算分子生物学研究
Genetic and Evolutionary Computation - GECCO 2004 遗传与寻优计算-GECCO2004/会议录 第1部分
Information Networking: Convergence in Broadband and Mobile Networking信息网络
Socionics: Scalability of Complex Social Systems Socionics:复杂社会体系的可量测性
Logics in Artificial Intelligence(人工智能逻辑学/会议录)
有机分析
Knowledge Discovery in Databases: PKDD 2004(数据库的知识发现:PKDD 2004/会议录)
Communications and Multimedia Security: 9th IFIP TC-6 TC-11 通信与多媒体安全/会议录
Text, Speech and Dialogue: 8th International Conference 文本、语音与对话
Image Analysis and Recognition: Second International Conference 图象分析与识别/会议录
共进化模糊建模Coevolutionary Fuzzy Modeling
Intelligent Techniques for Web Personalization: IJCAI 2003 Workshop Web个性化用智能技术:ITWP 2003/会议录
Medical (医学图像计算与计算辅助介入-MICCA 2004/会议录 第1部分)
Architecting Dependable Systems II 可靠系统构筑 II
Logic versus Approximation: Essays Dedicated to Michael M. 逻辑与逼近:纪念M.M. Richter 65岁寿辰文集
Comparative Evaluation of Multilingual Information Access Systems(多文种信息存取系统比较评价/会议录)
以代理人为媒介的电子商务 V/会议录Agent-Mediated Electronic Commerce V
藏族历代文学作品精选
Computer Supported Cooperative Work in Design I: 8th International 设计中的计算机协同工作
Algorithms -- ESA 2004(算法-ESA2004)
Document Analysis Systems VI(文献分析系统VI/会议录)
医学与生物医学图像分析的计算机视觉和数学方法/会议录Computer Vision and Mathematical Methods in Medical and Biomedical
Progress in Pattern Recognition, Image Analysis and Applications 模式识别、图像分析与应用进展/会议录
Theorem Proving in Higher Order Logics(高阶逻辑定理证明/会议录)
On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops走向有意义的互联网系统 2004:OTM 研讨会/会议录
Verification, Model Checking, and Abstract Interpretation 验证、模型检验与抽象解释/会议录
Information Hiding(信息隐蔽/会议录)
Advances in Neural Networks - ISNN 2004(神经网络进展-ISSN 2004)
Computer Safety, Reliability, and Security : 24th International 计算机安全、可靠性与保密/会议录
Advanced Lectures on Machine Learning(机器学习高级讲义/会议录)
Power-Aware Computer Systems(功率警觉计算机系统/会议录)
Advances in Computer Systems Architecture(计算机体系结构进展)
Graph Transformations(图形变换/会议录)
Cooperative Design, Visualization, and Engineering(合作设计、可视化与工程/会议录)
Integrated Circuit and System Design(集成电路与系统设计:功率与定时建模、优化和模拟/会议录)
Grammatical Inference(文法推论:算法与应用/会议录)
Principles and Practice of Constraint(约束程序设计原理与实践—CP2004/会议录)
Groupware: Design, Implementation, and Use(群件:设计实现与使用/会议录)
Advances in Artificial Intelligence - SBIA 2004(人工智能进展-SBIA2004年/会议录)
Semantic Web and Databases: Second International Workshop 语义网和数据库
Machine Learning: ECML 2004(机器学习:ECML 2004)
Quality of Service in Multiservice IP Networks 多种服务IP网络的服务质量/会议录
Articulated Motion and Deformable Objects(关节运动与可变形物体/会议录)
Digital Libraries: International Collaboration and Cross-Fertilization 数字图书馆
Mobile Human-Computer Interaction - Mobile HCI 2004(移动人机交互/会议录)
Service Availability: First International Service Availability Symposium 服务可效性/会议录
Formal Techniques for Networked and Distributed Systems - FORTE 2004(网络与分布式系统的形式技术—FORTE 2004/会议录)
Membrane Computing: 5th International Workshop, WMC 2004 膜计算/会议录
Medical Image Computing And Computer-assisted(医学图像计算与计算辅助介入-MICCA 2004/会议录 第2部分)
Database Theory - ICDT 2005: 10th International Conference, Edinburgh 数据库理论
Advances in Natural Language Processing(自然语言处理进展/会议录)
FSTTCS 2004: Foundations of Software Technology and Theoretical(FSTTCS 2004年:软件技术与理论计算机科学技术/会议录)
Software Security - Theories and Systems(软件安全-理论与系统)
Advances in Multimedia Information Processing - PCM 2004 多媒体信息处理进展—PCM 2005年/会议录 第三部分
Law and the Semantic Web: Legal Ontologies, Methodologies 法律与语义网
Middleware 2004(中间件 2004/会议录)
Network and Parallel Computing(网络和并行计算)
Intelligent Agents and Multi-Agent Systems: 7th Pacific Rim 智能代理与多代理系统/会议文集
Web Technologies Research and Development - APWeb 2005 网技术研究和发展
生命科学中的网格计算Grid Computing in Life Science: First International Workshop
Transactions on Rough Sets III 粗集汇刊 III
Theory of Cryptography: Second Theory of Cryptography Conference 密码术理论/会议录
Parallel and Distributed Computing: Applications and Technologies 并行与分布式计算:应用与技术/会议录
自动机的实现与应用/会议录Implementation and Application of Automata: 9th International
Combinatorial Geometry and Graph Theory: Indonesia-Japan组合几何学和图形理论
Developments in Language Theory: 8th International Conference 语言理论发展/会议录
Artificial Intelligence and Simulation: 13th International Conference人工智能和模拟
Databases, Information Systems, and Peer-to-Peer Computing数据库、信息系统与对等计算/会议文集
Attention and Performance in Computational Vision计算视觉的注意与执行/会议录
Transactions on Computational Systems Biology I 计算系统生物学论文集 I
From Integrated Publication and Information Systems to从综合出版物与信息系统到信息与知识环境:献给Erich J. Neuhold 65诞辰文集
Algorithms and Computation: 15th International Symposium算法和计算
Advances in Artificial Intelligence -- IBERAMIA 2004 人工智能进展——IBERAMIA2004年/会议录
Advances in Multimedia Information Processing - PCM 2004 多媒体信息处理进展—PCM 2004年/会议录 第一部分
System Analysis and Modeling: 4th International SDL and MSC 系统分析和建模
软件与系统建模形式方法/会议录Formal Methods in Software and Systems Modeling
Regulatory Genomics: RECOMB 2004 International Workshop 调节基因组学/会议录
Agent-Oriented Software Engineering V: 5th International Worksho 面向代理的软件工程V/会议录
Tools and Algorithms for the Construction and系统构建与分析工具与算法/会议录
绘图/会议录Graph Drawing: 12th International Symposium, GD 2004, New York
Systems Modeling and Simulation: Theory and Applications 系统模式与模拟
Databases in Networked Information Systems网络信息系统中的数据库
Systems Aspects in Organic and Pervasive有机与普适计算中的系统方面/会议录
Multiparadigm Programming in Mozart/Oz用 Mozart/Oz语言的多维编程/会议文集
Recent Advances in Constraints约束最新进展/会议论文集
Recent Trends in Algebraic Development Techniques代数开发技术最新进展/会议文集
从电脑知识到信息学基本原理/会议录From Computer Literacy to Informatics Fundamentals