Programming Constraint Services（约束服务的程序设计）

¥232.70

Christian Schulte 编 /2002-04-01 /湖南文艺出版社

Programming Languages and Systems（编程语言和系统）

¥279.50

Daniel Le Metayer 著 /2002-04-01 /湖南文艺出版社

Programming Languages and Systems编程语言和系统

¥518.80

David Sands 著 /2001-04-01 /湖南文艺出版社

Smart Card Programming and Security 智能卡程序设计与安全

¥232.70

Isabelle Attali，Thomas Jensen 著 /2001-01-01 /湖南文艺出版社

Integer Programming and Combinatorial Optimization 自动时间表生成的实

¥256.00

Karen Aardal Bert Gerards 著 /2001-06-01 /湖南文艺出版社

Genetic Programming遗传法编程

¥288.60

James A. Foster 著 /2002-01-01 /湖南文艺出版社

编程语言与系统/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

Naoki Kobayashi 著 /2006-12-01 /湖南文艺出版社

High-Level Parallel Programming Models and Supportive Enviro

¥140.60定价：¥178.00 (7.9折)

湖南文艺出版社

Java on Smart Cards: Programming and Security

¥142.40定价：¥178.00 (8折)

湖南文艺出版社

Inductive Logic Programming 归纳逻辑编程

¥172.40

Celine Rouveirol 编 /2001-10-01 /湖南文艺出版社

Java on Smart Cards: Programming and Security智能卡上的Java：程序设计与

¥268.90

ISABELLE ATTALI THOMAS JENSEN 著 /2006-09-01 /湖南文艺出版社

Functional and Logic Programming功能与逻辑设计

¥325.80

Herbert Kuchen，Kazunori Ueda 著 /2001-01-01 /湖南文艺出版社

Automata, Languages and Programming 自动化、编程和语言

¥501.80

Fernando Orejas，Paul G.Spirakis 著 /2001-01-01 /湖南文艺出版社

整数编程与组合优化/Integer programming and combinatorial optimization

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

William J. Cook 著 /2002-12-01 /湖南文艺出版社

编程、人工智能与推理用逻辑Logic for programming, artificial intelligence,

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.)

¥642.70定价：¥813.60 (7.9折)

Miki Hermann 著 /2006-12-01 /湖南文艺出版社

逻辑程序设计/会议录Logic programming

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.)

¥499.90定价：¥632.80 (7.9折)

Peter J. Stuckey 著 /2002-12-01 /湖南文艺出版社

Concurrent Objec-Oriented- Programming Nets

“Concurrency and distribution have become the dominant paradigm and concern in computer science. Despite the fact that much of the early research in object-oriented programming focused on sequential systems，objects are a natural unit of distribution and concurrency - as elucidated early on by research on the Actor model. Thus，models and theories of concurrency，the oldest one being Petri nets，and their relation to objects are an attractive topic of study. This book presents state-of-the-art results on Petri nets and concurrent object-oriented programming in a coherent and competent way. The 24 thoroughly reviewed and revised papers are organized in three sections. The first consists of long papers，each presenting a detailed approach to integrating Petri nets and object-orientation. Section II includes shorter papers with emphasis on concrete examples to demonstrate the approach. Finally，section III is devoted to papers which significantly build on the Actor model of computation。”

¥198.40定价：¥248.00 (8折)

2003-01-01 /湖南文艺出版社

OpenMP Shared Memory Parallel Programming （OpenMP 共享存储器并行程序设

¥209.40

Rudolf Eigenmann 著 /2001-09-01 /湖南文艺出版社

Principles and Practice of Constraint Programming - CP 2001约

¥232.70

Toby Walsh 著 /2001-12-01 /湖南文艺出版社

计算机性能评价 Computational logic：Logic Programming and Beyond

¥267.80定价：¥339.00 (7.9折)

Antonis C.Kakas 著 /2002-12-01 /湖南文艺出版社

极限编程与灵巧方法—XP灵巧通用2002／会议录 Extreme programming and agile metho

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.)

¥392.80定价：¥497.20 (7.91折)

1条评论

Don Wells 著 /2002-12-01 /湖南文艺出版社

中欧函数编程学院： CEFP 2005/讲义选集/Central European Functional Program

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.).

¥401.70定价：¥508.50 (7.9折)

Zoltan Horvath 著 /2006-12-01 /湖南文艺出版社

高级并行程序设计模型与支持环境High-level parallel programming models and su

¥447.00

Frank Mueller 著 /2001-12-01 /湖南文艺出版社

面向目标的程序LNCS-2374: ECOOP 2002-object-oriented programming

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.)

¥607.00定价：¥768.40 (7.9折)

Boris Magnusson 著 /2002-12-01 /湖南文艺出版社

模块化程序设计语言：JMLC 2006/会议录 Modular programming languages

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.).

¥499.90定价：¥632.80 (7.9折)

David Lightfoot 著 /2006-12-01 /湖南文艺出版社

约束程序设计原理与实践 CP2002Principles and practice of constraint prog

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.)

¥714.20定价：¥904.00 (7.91折)

Pascal Van Hentenryck 著 /2002-12-01 /湖南文艺出版社

自动机、语言与程序设计 Automata, languages and programming

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.)

¥857.00定价：¥1084.8 (7.91折)

Peter Widmayer 著 /2002-12-01 /湖南文艺出版社