上级目录
并行与分布式处理及应用 /Parallel and distributed processing and applications
用户建模2001User modeling 2001( 用户建模2001 )
计算机游戏进展Advances in computer games
程序构造数学中的代数与余代数方法/Algebraic and coalgebraic methods in the mathematics of program construction
人工智能与认知科学/会议录Artificial intelligence and cognitive science(人工智能与认知科学/会议录)
软件工程中的极限编程与敏捷过程/会议录 LNCS-4044: Extreme programming
神经计算进展 Advances in natural computation
生物信息学中的算法/会议录 Algorithms in bioinformatics
多媒体数据库与图像通信Multimedia databases and image communication
用拓扑信息作定性空间推理Qualitative spatial reasoning with topological information(用拓扑信息作定性空间推理)
从动物到动物机器人 9/ From animals to animats 9
几何建模与处理进展: GMP 2006 第4届国际会议/会议录/Geometric modeling and processing - GMP 2006
象棋的故事
面向目标信息系统 进展Advances in object-oriented information systems
数学方法与软件技术 Algebraic methodology and software technology
电子政府 Electronic government
2006 ECOOP 面向对象编程 ECOOP 2006 -- object-oriented programming
面向对象信息系统/会议录Object-oriented information systems(面向对象信息系统/会议录)
计算科学 - ICCS 2006 /会议录 第IV部分 Computational science - ICCS 2006
(工程分布式对象)Engineering distributed objects
中国历代公主传奇
协调模型与语言:COORDINATION 2006/会议录 Coordination models and languages
人工智能:方法论、系统与应用/会议录Artificial intelligence
计算机科学中的关系与Keleene代数/会议录/Relations and Kleene algebra in computer science
(大规模的科学计算)Large-scale scientific computing
电子化服务技术Technologies for e-services
论常量变差:串行和并行程序的流分析LNCS-3800: Variations on constants
盛世说玉
(生成式及基于组成的软件工程/Generative and component-based software engineering
计算科学 - ICCS 2006 /会议录 第I部分 Computational science - ICCS 2006
学习与知识共享用创新方法: EC-TEL 2006/会议录 Innovative approaches
数据开采与知识发现原理/会议录Principles of data mining and knowledge discovery(数据开采与知识发现原理/会议录)
隐私增强技术: PET 2005/会议文集 Privacy enhancing technologies
体育与健康
信息安全和密码学Information security and cryptology
青少年创造性思维教育:原理与策略
移动网络中与汽车软件连接的服务/Automotive software connected services in mobile networks
算法学习理论: ALT 2006/会议录 lgorithmic learning theory
蒋月泉流派唱腔集
模式识别进展-ICAPR 2001Advances in pattern recognition(模式识别进展-ICAPR 2001)
基于智能体的电子商务: AMEC 2005/会议论文集/Agent-mediated electronic commerce
密码术与网络安全/会议录 Cryptology and network security
电子商务代理:市场方案、安全及供应与需求E-commerce agents
日常生活中的环境感知智能 Ambient intelligence in everyday life
青春与梦想(首届全国进城务工青年鲲鹏文学奖获奖作品选集)
嵌入及无处不在的计算 Embedded and ubiquitous computing
非常规计算:UC 2006/会议录/Unconventional computation
医学图像计算与计算机辅助介入治疗 MICCAI 2002 Medical image computing and computer-assisted intervention-
唐诗大合唱唐诗童声大合唱
软件测试的形式方法 FATES 2005/会议文集/Formal Approaches to Software Testing
Web 时代信息管理进展 Advances in web-age information managem
信息检索技术:AIRS 2006/会议录 Information retrieval technology
计算的理论方面 - ICTAC 2006 /会议录/Theoretical aspects of computing - ICTAC
分布式系统的大规模管理:DSOM 2006/会议录(书与在线文件) Large scale management
信息基础结构安全评定/Critical information infrastructures security
验证与分析的自动化技术 Automated technology for verification and analysis
2002年中国交通信息化发展报告
系统分析与建模、语言资料 / 国际专题讨论会/System analysis and modeling: language profiles
密码法进展:INDOCRYPT2006/会议录LNCS-4329:Progress in Cryptology - INDOCRYPT 2006
2003-2004年度中国交通信息化发展报告
实时与容错系统中的形式技术/会议录Formal techniques in real-time and fault-tolerant systems
人工神经网络 - ICANN 2006 /会议录 第II部分/Artificial neural networks
成像和视频技术进展 Advances in image and video technology
基于范例的推理进展//Advances in case-based reasoning
因特网上多媒体的管理/会议录Management of multimedia on the Internet
金融密码术与数据安全: FC 2006/会议文选Financial cryptography and data security
符号接地及其他:EELC 2006/会议录/Symbol grounding and beyond
软件结构的质量 Quality of software architectures
生物医学图像配准:WBIR 2006/会议录/Biomedical image registration
2006 ACM/IFIP/USENIX 第7届国际中间件会议/LNCS-4290: Middleware 2006
柔性查询回答系统:第7届国际会议 Flexible query answering systems
密码学进展—CT-RSA 2001Topics in cryptology
人工进化/Artificial evolution
生物医学模拟:ISBMS 2006/会议录 Biomedical simulation
分布式计算与互连网技术 / 国际会议LNCS-4317:Distributed computing and internet technology
自然语言处理与信息系统/会议录/ Natural language processing and information systems
概念结构:基础扩展Conceptual structures
基于知识的智能信息与工程系统: KES 2006/会议录 第II部分 Knowledge-based
绩效测评与管理——时代光华管理标准书系
(综合形式方法/会议录)Integrated formal methods
UbiComp 2006:普适计算/ UbiComp 2006: ubiquitous computing
计算系统生物学论文集 Transactions on computational systems biology
定时系统的形式建模与分析:FORMATS 2006/会议录/Formal modeling and analysis of timed systems
多种服务IP网络的服务质量Quality of service in multiservice IP networks
人工智能与神经网络:TAINN 2005 第14届土耳其专题会议/论文集LNCS-3949: Artificial intelligence and neural networks
下一代信息技术与系统:NGITS 2006/会议录Next generation information technologies and systems
现代软件工程教育:ICSE 2005/会议讲稿(书与在线文件)LNCS-4309:Software engineering education in the Modern Age
语义多媒体:2006 第1届国际语义学与数字媒体技术会议/会议录 Semantic multimedia
智能数据工程与自动化学习/Intelligent data engineering and automated learning
算法工程(第5届国际专题会议)Algorithm engineering
中介通信 / 国际讨论会论文选/Agent communication II
图像分析与识别/ Image analysis and recognition
并行虚拟机与报文传送接口新进展Recent advances in parallel virtual machine and message passing interface
人工神经网络 - ICANN 2006 /会议录 第I部分LNCS-4131: Artificial neural networks - ICANN 2006
中欧函数编程学院: CEFP 2005/讲义选集/Central European Functional Programming School
数学文献用开放标记格式得/an open markup format for mathematical documents
计算机安全、可靠性与保密: SAFECOMP 2006/会议录LNCS-4166: Computer safety, reliability, and security
地理信息科学Geographic information science