上级目录
算法理论 -- SWAT 2006/会议录 Algorithm theory -- SWAT 2006
模拟演化和学习LNCS-4247: Simulated evolution and learning
房地产法学(第二版)
计算机科学逻辑／会议录Computer science logic
代数、意义与计算：Joseph A. Goguen 65诞辰纪念文集LNCS-4060: Algebra, meaning and computation
刑法总论
性能评价用形式方法与随机模型：EPEW 2006/会议录 Formal methods and stochastic models for performance evaluation
适应性超媒体及适应性基于网络系统/Adaptive hypermedia and adaptive
RoboCup 2005：机器人足球世界杯 IX LNCS-4020: Robocup 2005
光照前秋
音乐家插图百科
算法工程与实验／会议录 Algorithm engineering and experiments
(万维网与数据库)The World Wide Web and databases
开放式基于对象分布式系统的正式方法/Formal methods for open object-based distributed systems
图象与视频检索： CIVR 2006/会议录 Image and video retrieval
组合模式匹配Combinatorial pattern matching
先进多机种网络用技术 II： AINTEC 2006/会议录Technologies for advanced
中国历代嫔妃传奇
自动机、语言及编程LNCS-4052: Automata, languages and programming
网络运算：因特网上的确定排队系统理论 Network calculus
百喻经与那先比丘经/白话佛经集成(白话佛经集成)
(交互分布式多媒体系统)Interactive distributed multimedia systems
地理信息科学：GIScience 2006/会议录 Geographic information science
为官之道(为官处世第一书)
密码术的选择区Selected areas in cryptography
文法推断：算法与应用 Grammatical inference
知识获得和管理的进展LNCS-4303:Advances in knowledge acquisition and management
娱乐计算 - ICEC 2006 /会议录Entertainment computing - ICEC 2006
(函数式语言的实现)Implementation of functional languages
图像和视频的恢复Image and video retrieval
图变换：ICGT 2006 /会议录/Graph transformations
计算机与信息科学 - ISCIS 2006/会议录LNCS-4263: Computer and information sciences - ISCIS 2006
人工智能中的逻辑： JELIA 2006 /会议录 Logics in artificial intelligence
XML信息检索与评价进展/ Advances in XML information
病毒入侵监测与安全弱点评估/Detection of intrusions and malware & vulnerability assessment
人工智能进展 2001 KI 2002: Advances in Artificial Intelligence
科学计算中的计算机代数： CASC 2006/会议录LNCS-4194: Computer algebra in scientific computing
高次逻辑中的定理证明 Theorem proving in higher order logics
模糊逻辑和知识发现/Fuzzy systems and knowledge discovery
道义逻辑与人工规范系统： DEON 2006/会议录 Deontic logic and artificial normative systems
信息安全及密码术Information security and cryptology
可重配置计算：体系结构与应用： ARC 2006 第2届国际研讨会/论文集LNCS-3985: Reconfigurable computing
生命保养手册/生命保养系列丛书
协作信息系统的工程和展开Engineering and deployment of cooperative information systems
极限编程与灵巧方法—XP灵巧通用2002／会议录 Extreme programming and agile methods
信息系统安全/Information systems security
人工智能：方法论、系统与应用 AIMSA 2006/会议录
自动演绎－CADE-18/会议录 Automated deduction-CADE-18
数字图书馆用研究与先进技术： EDCL 2006/会议录LNCS-4172: Research and advanced technology for digital libraries
长短经一日一释
基于实例的推理研究与发展Case-based reasoning research and development
菜根谭一日一悟
网络与分布式系统用形式化技术 - FORTE 2006/会议录（书与在线文件） Formal techniques for networked and distributed systems
鬼谷子一日一谋
随机化与近似技术／会议录 Randomization and approximation
人工免疫系统：ICARIS 2006/会议录LNCS-4163: Artificial immune systems
DNA 计算： DNA12/会议论文集（书与在线文件）3ADNA computing
快速软件加密法/Fast software encryption
逻辑程序设计/会议录Logic programming
快速软件加密术 Fast software encryption
多智能体系统中的协调/Coordination, organizations, institutions, and norms in multi-agent systems
群件：设计、实现与使用 CRIWG 2006/会议录LNCS-4154: Groupware: design, implementation, and use
自动机、语言与程序设计 Automata, languages and programming
组合模式匹配： CPM 2006/会议录LNCS-4009: Combinatorial pattern matching
静态分析／会议录Static analysis
智能主体与对等计算/Agents and peer-to-peer computing
(医学图像计算与机助介入/Medical image computing and computer-assisted intervention
佩特里网应用与理论2002/会议录 Application and theory of petri nets 2002
大学英语翻译教程:汉译英:Chinese-English
信息及通信安全/Information and communications security
WEB信息系统 2006LNCS-4256: Web information systems - WISE 2006 workshops
人工神经网络-ICANN2002/会议录 Artificial neural networks--ICANN 2002
计算机用于帮助有特殊需求的人们： ICCHP 2006/会议录/Computers helping people with special needs
模式识别中的人工神经网络：ANNPR 2006/会议录 Artificial neural networks in pattern recognition
神经信息处理LNCS-4232: Neural information processing
网时代信息管理进展 Advances in Web-age information management
中国农村民主与法制进程
高性能计算 - Hipc 2006 / 国际会议录/High Performance Computing -- HiPC 2006
中文CoreIDRAW案例精粹150例
视觉计算进展/Advances in visual computing
企业信息系统管理
编程语言与系统/Programming languages and systems
系统可靠性：软件、计算、网络LNCS-4028: Dependable systems
实例推理进展／会议录 Advances in case-based reasoning
智能代理与多代理系统 Intelligent agents and multi-agent systems
约束研究最新进展 CSCLP 2005国际研讨会/会议文集LNCS-3978: Recent advances in constraints
同操作系统中分布式应用 /Distributed applications and interoperable systems
Web服务与形式方法/Web services and formal methods
信息系统进展：ADVIS 2006/会议录/Advances in information systems
计算与组合数学 Computing and combinatorics
信息与计算安全新趋向/会议录/Emerging trends in information and communication security
智能存储系统 Intelligent memory systems
计算科学 - ICCS 2006 /会议录 第II部分/Computational science - ICCS 2006
图像分析与识别： ICIAR 2006/会议录 第I部分/Image analysis and recognition
计算机科学的数学基础2002 Mathematical foundations of computer science 2002
概念建模进展—理论与实践/会议录/Advances in conceptual modeling - theory and practice
电子商务与 Web技术：EC-Web 2006/会议录 E-commerce and web technologies
粗糙集汇刊 V/Transactions on rough sets V