预订 Foundations of Software Science and Computational Structu 【全球购】进口原版图书,约5-8周到达国内后发出
¥571.00
海外直订Automata, Languages and Programming: 35th International
¥1033
明星店铺 中华商务进口图书旗舰店
海外直订Automata, Languages and Programming: 35th International
¥1730
明星店铺 中华商务进口图书旗舰店
【预订】Automata, Languages and Programming 9783642220111 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783642220111 Author 作者 Aceto Format 版本 平装-胶订 Pages Number 页数 666页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2011-06-27 Shipping Weight 商品重量 961g Language 语种 英语 Book Contents 内容简介 The two-volume set LNCS 6755 and LNCS 6756 constitutes the refereed proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP 2011, held in Zürich, Switzerland, in July 2011. The 114 revised full papers (68 papers for track A, 29 for track B, and 17 for track C) presented together with 4 invited talks, 3 best student papers, and 3 best papers were carefully reviewed and selected from a total of 398 submissions. The papers are grouped in three major tracks on algorithms, complexity and games; on logic, semantics, automata, and theory of programming; as well as on foundations of networked compu
¥1040
【预订】Foundations of Software Science and Computational Struct 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783540330455 Author 作者 Aceto Format 版本 平装-胶订 Pages Number 页数 447页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2006-03-16 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 9th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2006, held in Vienna, Austria in March 2006 as part of ETAPS. The 28 revised full papers presented together with 1 invited paper were carefully reviewed and selected from 107 submissions. The papers are organized in topical sections on mobile processes, software science, distributed computation, categorical models, real time and hybrid systems, process calculi, automata and logic, domains, lambda calculus, types, and security.
¥520.00
预订 高被引Reactive Systems: Modelling, Specification and Verific 【全球购】进口原版图书,约5-8周到达国内后发出
¥868.00
预订Reactive Systems:Modelling, Specification and Verification 预订,预计下单后2-3周左右发货!
¥1386
【预订】Automata, Languages and Programming: 35th International 美国库房发货,通常付款后3-5周到货!
¥1040
海外直订Foundations of Software Science and Computational Struct
¥553.00
明星店铺 中华商务进口图书旗舰店
【预订】Models, Algorithms, Logics and Tools 9783319631202 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783319631202 Author 作者 Luca Aceto Reykjavik University Reykjavik Iceland Format 版本 平装-胶订 Pages Number 页数 662页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2017-07-25 Shipping Weight 商品重量 1027g Language 语种 英语 Book Contents 内容简介 This Festschrift is published in honor of Kim Guldstrand Larsen, one of the earliest precursors of computer science in Denmark, on the occasion of his 60th birthday. During the last three decades, Kim Guldstrand Larsen has given major contributions across a remarkably wide range of topics, including real-time, concurrent, and probabilistic models of computation, logic in computer science, and model checking. Since 1995, he has been one of the prime movers behind the model checking tool for real-time systems UPPAAL, for which he was a co-recipient of the CAV Award in 2013.The Festsch
¥520.00
预订 Automata, Languages and Programming 9783642220111 海外仓库发货,通常付款后4-9周到货!
图书信息 书号: 9783642220111 作者: Luca Aceto 装帧: 平装-胶订 页数: 666页 出版社: Springer 尺寸: 0.9 x 0.6 x 0.2 cm 出版日期: 2011-06-27 重量: 2g 语种: 其它(含多语)
¥1289
预订 Foundations of Software Science and Computation... 978354 海外仓库发货,通常付款后4-9周到货!
图书信息 书号: 9783540330455 作者: Luca Aceto 装帧: 平装-胶订 页数: 447页 出版社: Springer 尺寸: 22.9 x 15.2 x 2.5 cm 出版日期: 2006-04-01 重量: 454g 语种: 其它(含多语) 内容简介 This book constitutes the refereed proceedings of the 9th International Conf
¥1082
【预订】Reactive Systems: Modelling, Specification and 美国库房发货,通常付款后3-5周到货!
¥884.00
预订 Automata, Languages and Programming 9783642220050 海外仓库发货,通常付款后4-9周到货!
图书信息 书号: 9783642220050 作者: Luca Aceto 装帧: 平装-胶订 页数: 802页 出版社: Springer 尺寸: 0.9 x 0.6 x 0.2 cm 出版日期: 2011-06-27 重量: 3g 语种: 其它(含多语)
¥1766
预订 Automata, Languages and Programming 9783540705741 海外仓库发货,通常付款后4-9周到货!
图书信息 书号: 9783540705741 作者: Luca Aceto 装帧: 平装-胶订 页数: 896页 出版社: Springer 尺寸: 22.9 x 15.2 x 2.5 cm 出版日期: 2008-06-24 重量: 1362g 语种: 其它(含多语) 内容简介 The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedin
¥1961