Automated Deduction in Geometry几何学的自动演绎
¥424.20
Topics in Cryptology - CT-RSA 2002密码学论题—CT—RSA 2002
¥279.50
Primality Testing in Polynomial Time多项式时间中的初级测试
¥248.10
Cross-Language Information Retrieval and Evaluation交叉语言信息检索与
¥242.00
计算逻辑.逻辑程序设计及其它 第2卷Computational logic
¥686.10
Advances in Artificial Intelligence应用人工智能进展
¥227.70
交叉语言信息检索系统评价 Evaluation of cross-language information retrie
The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the R&D community, with numerous individuals, as well as with prestigious organizations and societies, LNCS has grown into the most comprehensive computer science resarch forum available. The scope of LNCS, including its subseries LNAI, spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields. The type of material publised traditionally includes. -proceedings(published in time for the respective conference) -post-proceedings(consisting of thoroughly revised final full papers) -research monographs(which may be basde on outstanding PhD work, research projects, technical reports, etc.)
¥676.20
结构、句法和统计的图形认知 Structural, syntactic, and statistical pattern
The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the R&D community, with numerous individuals, as well as with prestigious organizations and societies, LNCS has grown into the most comprehensive computer science resarch forum available. The scope of LNCS, including its subseries LNAI, spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields. The type of material publised traditionally includes. -proceedings(published in time for the respective conference) -post-proceedings(consisting of thoroughly revised final full papers) -research monographs(which may be basde on outstanding PhD work, research projects, technical reports, etc.)
¥815.40
Applications of Evolutionary Computing应用进化计算法
¥398.30
¥403.70
Artificial Intelligence and Symbolic Computation人工智能和符号计算
¥209.60
Computability and Complexity in Analysis分析的可计算性与复杂性
¥527.90
Logical Aspects of Computational Linguistics计算语言学的逻辑问题
¥209.40
¥279.50
Neuro-Fuzzy Associative Machinery for Comprehensive Brain an
¥1530.3
Theoretical Computer Science 理论计算机科学
¥256.20
Job Scheduling Strategies for Parallel Processing并行处理的工作安排策略
¥181.70
Engineering for Human-Computer Interaction 人机交互的符号工程
¥172.40
AI 2001: Advances in Artificial Intelligence-AI2001：人工智能进展
¥409.90
Embedded Processor Design Challenges挑战嵌入式处理器设计
¥246.70
Advances in Soft Computing - AFSS 2002软件计算的发展 - AFSS 2002
¥288.60
¥710.10
TCC-270: Biomineralization生物矿化作用 I：结晶化与自组织过程
¥1639.4
STACS 20012001年第18届年度计算机科学的理论问题讨论会文集
¥209.40
Evolutionary Robotics. From Intelligent Robotics to Artifici
¥382.80
¥228.30
Fundamental Approaches to Software Engineering软件工程研究的基本方法
¥279.30
Foundations of Software Science and Computation Structures软件
¥265.30
Java on Smart Cards: Programming and Security智能卡上的Java：程序设计与
¥268.90
Reliable Software Technologies - Ada-Europe 2001可靠软件技术-阿达-欧洲
¥209.40
Principles and Practice of Constraint Programming - CP 2001约
¥232.70
Developments in Language Theory语言发展理论
¥260.90
¥256.00
¥288.60
Tools and Algorithms for the Construction and Analysis of Sy
¥279.30
¥228.30
Computational Science - ICCS 2001计算科学－ICCS 2002
¥481.10
From Theory to Practice in Multi-Agent Systems多代理系统理论与实践
¥242.20
Computational Linguistics and Intelligent Text Processing计算语
¥362.00
Engineering Societies in the Agents World II基于代理技术的工程社会２
¥191.00
Software Frameworks and Embedded Control Systems软件框架与嵌入式控制系统
¥167.70
高次逻辑中的定理证明 Theorem proving in higher order logics
The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the R&D community, with numerous individuals, as well as with prestigious organizations and societies, LNCS has grown into the most comprehensive computer science resarch forum available. The scope of LNCS, including its subseries LNAI, spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields. The type of material publised traditionally includes. -proceedings(published in time for the respective conference) -post-proceedings(consisting of thoroughly revised final full papers) -research monographs(which may be basde on outstanding PhD work, research projects, technical reports, etc.)
¥477.30
编程语言与系统/Programming languages and systems
The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the R&D community, with numerous individuals, as well as with prestigious organizations and societies, LNCS has grown into the most comprehensive computer science resarch forum available. The scope of LNCS, including its subseries LNAI, spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields. The type of material publised traditionally includes. -proceedings(published in time for the respective conference) -post-proceedings(consisting of thoroughly revised final full papers) -research monographs(which may be basde on outstanding PhD work, research projects, technical reports, etc.)
¥556.90
Recent Trends in Algebraic Development Techniques代数开发技术的近期趋势
¥209.40
SDL2001论坛：与UML会合SDL 2001:Meeting UML
The LNCS series reports state-of-the-art results in computer science research，development，and education，at a high level and in both printed and electronic form. Enjoying tight cooperation with the R&D community，with numerous individuals，as well as with prestigious organizations and societies，LNCS has grown into the most comprehensive computer science research forum available. The scope of LNCS，including its subseries LNAI，spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields. The type of material published traditionally includes. —proceedings （published in time for the respective conference） —post-proceedings （consisting of thoroughly revised final full papers） —research monographs（which may be based on outstanding PhD work，research projects，technical reports，etc.）.
¥546.40
Agent-Oriented Software Engineering II-面向代理的软件工程II
¥403.70
Programming Languages and Systems编程语言和系统
¥518.80
Applied Algebra, Algebraic Algorithms and Error-Correcting C
¥242.20
Intelligent Search on XML Data XML数据的智能搜索
¥417.60
Formal Approaches to Agent-Based Systems 基于代理系统的形式方法
¥167.70
智能存储系统 Intelligent memory systems
The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the R&D community, with numerous individuals, as well as with prestigious organizations and societies, LNCS has grown into the most comprehensive computer science resarch forum available. The scope of LNCS, including its subseries LNAI, spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields. The type of material publised traditionally includes. -proceedings(published in time for the respective conference) -post-proceedings(consisting of thoroughly revised final full papers) -research monographs(which may be basde on outstanding PhD work, research projects, technical reports, etc.)
¥447.00
交互式技术 和社会技术体系/Interactive technologies and sociotechnical sy
The LNCS series reports state-of-the-art results in computer science research,development,and education,at a high level and in both printed and electronic form.Enjoying tight cooperation with the R&D community,with numerous individuals,as well as with prestigious organizations and societies,LNCS has grown into the most comprehensive computer science resarch forum available. The scope of LNCS,including its subseries LNAI,spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields.The type of material publised traditionally includes. -proceedings(published in time for the respective conference) -post-proceedings(consisting of thoroughly revised final full papers) -research monographs(which may be basde on outstanding PhD work,research projects,technical reports,etc.).
¥676.20
Engineering of Intelligent Systems智能系统工程
¥465.60
LATIN 2002: Theoretical Informatics LATIN2002：理论信息学
¥260.90
Perspectives of System Informatics系统信息学透视
¥242.00
Foundations of Information and Knowledge Systems信息系统基础知识
¥344.50
¥439.70
Theoretical Aspects of Computer Software 工程安全与可靠性
¥307.40
¥167.70
Grid Computing - GRID 2001格栅计算－GRID2001
¥251.30
