Verification, Model Checking, and Abstract Interpretation 验证
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.)
¥596.60
Network and Parallel Computing(网络和并行计算)
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.)
¥1074
On the Move to Meaningful Internet Systems 2004: OTM 2004 Wo
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 and LNBI, 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.)
¥895.00
¥875.10
Law and the Semantic Web: Legal Ontologies, Methodologies 法律
¥417.60
Mobility Aware Technologies and Applications移动性感知技术与应用/会议录
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 sub series 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.)、
¥556.90
Recent Trends in Algebraic Development Techniques代数开发技术最新进展/
he 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 and LNBI, 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.)
¥447.50
Advances in Multimedia Information Processing - PCM 2004 多媒体
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.).
¥835.30
作者简介: Alexandru Dimca obtained his PhD in 1981 from the University of Bucharest. His field of interest is the topology of algebraic varieties, singularities of spaces and maps, Hodge theory and D-modules. Dimca has been a visiting member of the Max Planck Institute in Bonn and the Institute for Advanced Study in Princeton. He is the author of three monographs and over 60 research papers published in math journals all over the world. Dimca has extensively taught at universities in Romania, Australia, the USA, and France, and he uses this teaching experience to convey effectively, to a wider mathematical community, the abstract and difficult ideas of algebraic topology.
¥491.00
Groupware: Design, Implementation, and Use(群件:设计实现与使用/会议录)
¥517.10
From Integrated Publication and Information Systems to从综合出版物
¥477.30
Recent Advances in Constraints约束最新进展/会议论文集
¥417.60
Parallel and Distributed Processing and Applications - ISPA
¥755.70
¥1082.4
Information Hiding信息隐藏/2005第7届国际研讨会文集
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.)
¥556.90
Advances in Multimedia Information Processing - PCM 2004 多媒体
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.)
¥755.70
Financial Cryptography and Data Security: 9th International
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.)
¥517.10
Text, Speech and Dialogue: 8th International Conference 文本、语
The LNAI series reports state-of-the-art results in artificial intelligence re-search, 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,LNAI has grown into the most comprehensive artificial intelligence research forum available. The scope of LNAI spans the whole range of artificial intelligence and intelli-gent information processing 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 PhD work)
¥596.60
Power-Aware Computer 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 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.).
¥417.60
Principles and Practice of Semantic Web Reasoning语义网推理的原理与实践
¥417.60
System Analysis and Modeling: 4th International SDL and MSC
¥477.30
Correct Hardware Design and Verification Methods正确的硬件设计与验证法/
¥775.60
NNFM-90: New developments in computational fluid dynamics计算流
¥1782.9
Medical (医学图像计算与计算辅助介入-MICCA 2004/会议录 第1部分)
¥895.00
Fine-Tuning of RNA Functions by Modification and Editing通过修改
¥2504.5
Combinatorial Geometry and Graph Theory: Indonesia-Japan组合几何
¥417.60
Integrated Circuit and System Design集成电路与系统设计、功率与时间建模、最优化与仿真
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 and LNBI, 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.)
¥835.30
Theorem Proving in Higher Order Logics(高阶逻辑定理证明/会议录)
¥477.30
Software Security - Theories 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 research forum available. The scope of LNCS, including its sub series 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.)
¥517.10
Adaptive Agents and Multi-Agent Systems II 适应性代理与多代理系统 II:适应
¥457.40
Intelligent Techniques for Web Personalization: IJCAI 2003 W
¥477.30
宣告式编程与知识管理的应用/会议论文集 Applications of Declarative Programming
¥477.30
LNP-678: Local-moment ferromagnets局部矩铁磁物质:现代应用的独特性质
¥819.30
Holonic and Multi-Agent Systems for Manufacturin 制造业用整子与多代理系
¥447.50
¥447.50
FSTTCS 2004: Foundations of Software Technology and Theoreti
¥636.40
Transactions on Computational Systems Biology I 计算系统生物学论文集 I
¥387.80
Conceptual Modeling - ER 2004概念模式-ER2004
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 sub series 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.).
¥885.00
Multiparadigm Programming in Mozart/Oz用 Mozart/Oz语言的多维编程/会议文
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
Machine Learning for Multimodal Interaction多模态交互作用的机器学习/会议录
¥517.10
Positivity in Algebraic Geometry II: Positivity for Vector B
¥403.90
Parallel and Distributed Processing and Applications并行与分布式处理
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.)
¥1054.1
KI 2005: Advances in Artificial IntelligenceKI 2005:人工智能进展/会
¥556.90
Comparative Evaluation of Multilingual Information Access Sy
¥795.50
Attention and Performance in Computational Vision计算视觉的注意与执行/
¥417.60
UbiComp 2005UbiComp 2005:普适计算/会议录
¥556.90
Machine Learning: ECML 2005机器学习 ECML 2005/会议录
¥795.50
Systems Aspects in Organic and Pervasive有机与普适计算中的系统方面/会议录
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 and LNBI, 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.)
¥447.50
Computer and Information Sciences - ISCIS 2005 计算机与信息科学 - IS
¥954.60
Logic versus Approximation: Essays Dedicated to Michael M. 逻
¥358.00
Integrated Circuit and System Design(集成电路与系统设计:功率与定时建模、优化和模拟
¥895.00
Conceptual Structures: Common Semantics for Sharing Knowledg
¥596.60
Ad-Hoc, Mobile, and Wireless NetworksAd-Hoc、移动与无线网络/会议录
¥517.10
Software Product Lines软件生产线/会议录
¥417.60
Semantic Web and Databases: Second International Workshop 语义
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.)
¥417.60
Advances in Artificial Intelligence - SBIA 2004(人工智能进展-SBIA2
¥676.20
Logics in Artificial Intelligence(人工智能逻辑学/会议录)
The LNAI series reports state-of-the-art results in artificial intelligence re-search, 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,LNAI has grown into the most comprehensive artificial intelligence research forum available. The scope of LNAI spans the whole range of artificial intelligence and intelli-gent information processing 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 PhD work)
¥835.30
Parallel and Distributed Computing: Applications and Technol
¥895.00
ECOOP 2005 - Object-Oriented Programming: 19th European ECOO
¥716.00
Generative Programming and Component Engineering 生成程序设计与组件工程
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.)
¥636.40