预订 Concur 2000 - Concurrency Theory: 11th International Conf 【全球购】进口原版图书,约5-8周到达国内后发出
¥924.00
预订 Logic Programming [ISBN:9783540206422] 【全球购】进口原版图书,约5-8周到达国内后发出
¥1139
【预订】Principles of Declarative Programming 9783540650126 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783540650126 Author 作者 Palamidessi Format 版本 平装-胶订 Pages Number 页数 504页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 1998-09-02 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 10th International Symposium on Programming Languages, Implementations, Logics, and Programs, PLILP’98, held jointly with the 6th International Conference on Algebraic and Logic Programming, ALP’98, in Pisa, Italy, in September 1998.The 26 revised full papers presented were carefully reviewed and selected from a total of 68 submissions. Also included are two invited papers and abstracts of two tutorials. The papers are organized in topical sections on verification, logic programming, static analysis, software methodologies, object oriented programming, term rewriting, functional programming, metaprogrammin
¥520.00
预订 Trustworthy Global Computing 9783642411564 海外仓库发货,通常付款后4-9周到货!
图书信息 书号: 9783642411564 作者: Catuscia Palamidessi 装帧: 平装-胶订 页数: 213页 出版社: Springer 尺寸: 0.9 x 0.6 x 23.3 cm 出版日期: 2013-09-13 重量: 1g 语种: 其它(含多语)
¥540.00
海外直订Logic Programming: 19th International Conference, Iclp 2
¥1240
明星店铺 中华商务进口图书旗舰店
【预订】Trustworthy Global Computing 9783642411564 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783642411564 Author 作者 Palamidessi Format 版本 平装-胶订 Pages Number 页数 213页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2013-09-13 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.4 cm Shipping Weight 商品重量 349g Language 语种 英语 Book Contents 内容简介 This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Symposium on Trustworthy Global Computing, TGC 2012, held in Newcastle upon Tyne, UK, in September 2012. The 9 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 14 submissions. The papers cover a wide range of topics in the area of global computing and reliable computation in the so-called global computers, i.e., those computational abstractions emerging in large-scale infrastructures such as service-oriented architectu
¥467.00
预订 Concur 2000 - Concurrency Theory 9783540678977 海外仓库发货,通常付款后4-9周到货!
图书信息 书号: 9783540678977 作者: Catuscia Palamidessi 装帧: 平装-胶订 页数: 613页 出版社: Springer 尺寸: 0.9 x 0.6 x 0.1 cm 出版日期: 2000-08-11 重量: 2g 语种: 其它(含多语) 内容简介 This volume contains the proceedings of the 11th International Conferenc
¥1561
【预订】Logic Programming 9783540206422 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783540206422 Author 作者 Palamidessi Format 版本 平装-胶订 Pages Number 页数 524页 Publication Date 出版日期 2003-11-25 Language 语种 英语
¥1236
海外直订医药图书Concur 2000 - Concurrency Theory: 11th International
¥1033
明星店铺 中华商务进口图书旗舰店
海外直订Trustworthy Global Computing: 7th International Symposiu
¥568.00
明星店铺 中华商务进口图书旗舰店
按需印刷The Other Four-Letter Word 预订,预计下单后2-3周左右发货!
¥209.00
【预订】CONCUR 2000 - Concurrency Theory 9783540678977 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783540678977 Author 作者 Palamidessi Format 版本 平装-胶订 Pages Number 页数 613页 Publication Date 出版日期 2000-08-11 Language 语种 英语 Book Contents 内容简介 This volume contains the proceedings of the 11th International Conference on Concurrency Theory (CONCUR 2000) held in State College, Pennsylvania, USA, during 22-25 August 2000. The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency and promote its applications. Interest in this topic is continuously growing, as a consequence of the importance and ubiquity of concurrent systems and their - plications, and of the scientic relevance of their foundations. The scope covers all areas of semantics, logics, and veri?cation techniques for concurrent systems. Topics include concurrency related aspects of: models of computation, semantic
¥1040
预订 Logic Programming 9783540206422 海外仓库发货,通常付款后4-9周到货!
图书信息 书号: 9783540206422 作者: Catuscia Palamidessi 装帧: 平装-胶订 页数: 524页 出版社: Springer 尺寸: 22.9 x 15.2 x 2.5 cm 出版日期: 2003-11-25 重量: 908g 语种: 其它(含多语) 内容简介 This volume contains the proceedings of the 19th International Confe
¥1085
【预售 按需印刷】The Other Four-Letter Word 北京发货,付款后10天内发货
¥177.98
¥616.50