【现货】现货【翰德图书】【Photofile】Samuel Fosso,【照片档案】塞缪尔·福索 英文原版图书籍进口正版 现货24小时发货
¥103.30
詹姆斯·巴纳 【Photofile】James Barnor 英文原版摄影 善本图书 现货图书24小时发货
¥106.00
【现货】【翰德图书】詹姆斯·巴纳 【Photofile】James Barnor 英文原版摄影 现货图书24小时发货
¥110.75
按需印刷Five-Finger Discount 预订,预计下单后3-4周左右发货!
¥179.55
【照片档案】塞缪尔·福索 Samuel Fosso T&H 英文原版进口摄影集人物肖像 善本图书 现货图书24小时发货
¥107.00
【预订】Uber Die Prapositionen Par Und Pur in Einigen Anglonorm. 美国库房发货,通常付款后3-5周到货!
¥155.00
【预订】Travels of Anacharsis the Younger in Greece. Seventh Edi 美国库房发货,通常付款后3-5周到货!
¥337.00
【预订】Engineering Secure Software and Systems: 4th 美国库房发货,通常付款后3-5周到货!
¥522.00
【预订】Construction and Analysis of Safe, Secure, and 美国库房发货,通常付款后3-5周到货!
¥520.00
【预订】The Life and Adventures of Frank Grouard: Chief of Scout 美国库房发货,通常付款后3-5周到货!
¥532.00
【预订】Software Engineering and Formal Methods: 9th 美国库房发货,通常付款后3-5周到货!
¥520.00
【预订】Programming Languages and Systems 9783642197178 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783642197178 Author 作者 Barthe Format 版本 平装-胶订 Publication Date 出版日期 2011-03-15 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 20th European Symposium on Programming, ESOP 2011, held in Saarbrücken, Germany, March 30—April 1, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software. The 24 revised full papers presented together with one full length invited talk were carefully reviewed and selected from 93 full paper submissions. Papers were invited on all aspects of programming language research including: programming paradigms and styles, methods and tools to write and specify programs and languages, methods and tools for reasoning about programs, methods and tools for implementation, and concurrency and distribution.
¥520.00
【预订】Nothing's Fair in Fifth Grade Y9780142413494 美国库房发货,通常付款后3-5周到货!
¥60.00
【预订】Trustworthy Global Computing 9783540786627 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783540786627 Author 作者 Gilles Barthe INRIA Sophia Antipolis Sophia Antipolis CX Format 版本 平装-胶订 Pages Number 页数 401页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2008-03-18 Shipping Weight 商品重量 640g Language 语种 英语
¥520.00
【预订】Formal Aspects of Security and Trust: 8th 美国库房发货,通常付款后3-5周到货!
¥611.00
海外直订Applied Semantics: International Summer School, Appsem 2
¥553.00
明星店铺 中华商务进口图书旗舰店
预订 Verification, Model Checking, and Abstract Inte... 978364 海外仓库发货,通常付款后4-9周到货!
图书信息 书号: 9783642113185 作者: Gilles Barthe 装帧: 平装-胶订 页数: 395页 出版社: Springer 尺寸: 0.9 x 0.6 x 0.1 cm 出版日期: 2010-04-01 重量: 1g 语种: 其它(含多语) 内容简介 This volume contains the proceedings of the 11th International Conference on Ve
¥1263
【预订】Sixth Grade Can Really Kill You Y9780142413807 美国库房发货,通常付款后3-5周到货!
¥50.00
【预售 按需印刷】Five-Finger Discount 北京发货,付款后10天内发货
¥122.00
预订 La Spondylite Typhique 9782011315236 海外仓库发货,通常付款后4-9周到货!
图书信息 书号: 9782011315236 作者: Barthe-E 装帧: 平装-胶订 页数: 154页 出版社: Hachette Livre - BNF 尺寸: 0.9 x 0.6 x 0.0 cm 出版日期: 2018-02-28 重量: 1g 语种: 法语 内容简介 La spondylite typhique / Dr Emile Barthe, ... Date de l'edition originale: 1914 Appart
¥162.00
预订 Formal Aspects of Security and Trust 9783642294198 海外仓库发货,通常付款后4-9周到货!
图书信息 书号: 9783642294198 作者: Gilles Barthe 装帧: 平装-胶订 页数: 277页 出版社: Springer 尺寸: 0.9 x 0.6 x 0.1 cm 出版日期: 2012-05-04 重量: 1g 语种: 其它(含多语)
¥689.00
【预订】A Christmas Carol: Dual Language Reader 美国库房发货,通常付款后3-5周到货!
¥203.00
【预订】The Bite of the Gold Bug: A Story of the Alaskan 美国库房发货,通常付款后3-5周到货!
¥39.00
【预订】The Fourth Grade Wizards 美国库房发货,通常付款后3-5周到货!
¥70.00
海外直订Positive Gaussian Kernels Also Have Gaussian Min... 正高斯核
¥1013
明星店铺 中华商务进口图书旗舰店
海外直订Construction and Analysis of Safe, Secure, and Interoper
¥553.00
明星店铺 中华商务进口图书旗舰店
海外直订French Encounters with the Ottomans, 1510-1560 法国人与奥斯曼人的
¥1520
明星店铺 中华商务进口图书旗舰店
海外直订Construction and Analysis of Safe, Secure, and Interoper
¥553.00
明星店铺 中华商务进口图书旗舰店
预订 Engineering Secure Software and Systems 9783642281655 海外仓库发货,通常付款后4-9周到货!
图书信息 书号: 9783642281655 作者: Gilles Barthe 装帧: 平装-胶订 页数: 150页 出版社: Springer 尺寸: 0.9 x 0.6 x 0.1 cm 出版日期: 2012-01-30 重量: 1g 语种: 其它(含多语)
¥586.00
预订 2e Congr?s Fran?ais de Climatoth?rapie Et... 978201373673 海外仓库发货,通常付款后4-9周到货!
图书信息 书号: 9782013736732 作者: Barthe-D 装帧: 平装-胶订 页数: 28页 出版社: Hachette Livre - BNF 尺寸: 22.9 x 15.2 x 0.0 cm 出版日期: 2018-02-28 语种: 法语 内容简介 2e Congres francais de climatotherapie et d'hygiene urbaine, Arcachon, 24-28 avril 1905, Pau, 29 avril... Section d'hygiene urbaine. Conditions hyg
¥112.00
海外直订Formal Methods for Open Object-Based Distributed Systems
¥553.00
明星店铺 中华商务进口图书旗舰店
【预订】Security and Trust Management: 6th International 美国库房发货,通常付款后3-5周到货!
¥520.00
【预订】Formal Methods for Open Object-Based Distributed Systems 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783540688624 Author 作者 Gilles Barthe Format 版本 平装-胶订 Pages Number 页数 259页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2008-05-29 Shipping Weight 商品重量 427g Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2008, held in Oslo, Norway, in June 2008. The 14 revised full papers presented together with 1 invited lecture were carefully reviewed and selected from 35 submissions. The papers cover topcics such as semantics of object-oriented programming; formal techniques for specification, analysis, and refinement; model checking; theorem proving and deductive verification; type systems and behavioral typing; formal methods for service-oriented computing; integration of
¥520.00
【预订】L'Amateur: Comedie En Vers, En Un Acte 9781147339215 美国库房发货,通常付款后3-5周到货!
¥126.00
【预订】Five-Finger Discount 美国库房发货,通常付款后3-5周到货!
¥118.00
【预订】Construction and Analysis of Safe, Secure, and Interoper 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783540336891 Author 作者 Barthe Format 版本 平装-胶订 Pages Number 页数 173页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2006-04-18 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed post-proceedings of the Second International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, CASSIS 2005.
¥520.00
海外直订Verification, Model Checking, and Abstract Interpretatio
¥520.00
明星店铺 中华商务进口图书旗舰店
【预订】Travels of Anacharsis the Younger in Greece. Seventh Edi 美国库房发货,通常付款后3-5周到货!
¥395.00
预订 Software Engineering and Formal Methods 9783642246890 海外仓库发货,通常付款后4-9周到货!
图书信息 书号: 9783642246890 作者: Gilles Barthe 装帧: 平装-胶订 页数: 504页 出版社: Springer 尺寸: 0.9 x 0.6 x 0.1 cm 出版日期: 2011-10-21 重量: 2g 语种: 其它(含多语) 内容简介 This book constitutes the refereed proceedings of the 9th International Confere
¥1077
预订 Programming Languages and Systems 9783642197178 海外仓库发货,通常付款后4-9周到货!
图书信息 书号: 9783642197178 作者: Gilles Barthe 装帧: 平装-胶订 页数: 500页 出版社: Springer 尺寸: 0.9 x 0.6 x 0.1 cm 出版日期: 2011-03-22 重量: 2g 语种: 其它(含多语) 内容简介 This book constitutes the refereed proceedings of the 20th European Symposium o
¥1269
【预订】Foundations of Probabilistic Programming 9781108488518 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781108488518 Author 作者 Gilles Barthe Format 版本 精装 Pages Number 页数 582页 Publisher 出版社 Cambridge University Press Publication Date 出版日期 2020-12-01 Language 语种 英语 Book Contents 内容简介 What does a probabilistic program actually compute How can one formally reason about such probabilistic programs? This valuable guide covers such elementary questions and more. It provides a state-of-the-art overview of the theoretical underpinnings of modern probabilistic programming and their applications in machine learning, security, and other domains, at a level suitable for graduate students and non-experts in the field. In addition, the book treats the connection between probabilistic programs and mathematical logic, security (what is the probability that software leaks confidential information?), and presents three programming languages for different applicati
¥620.00
预订 Construction and Analysis of Safe, Secure, and ... 978354 海外仓库发货,通常付款后4-9周到货!
图书信息 书号: 9783540336891 作者: Gilles Barthe 装帧: 平装-胶订 页数: 173页 出版社: Springer 尺寸: 22.9 x 15.2 x 23.1 cm 出版日期: 2006-05-01 重量: 454g 语种: 其它(含多语) 内容简介 This book constitutes the refereed post-proceedings of the Second Interna
¥875.00
【预订】The Lost Tribes of Tierra del Fuego: Selk’nam, Yamana, K 美国库房发货,通常付款后3-5周到货!
¥612.00
预订 Security and Trust Management 9783319465975 海外仓库发货,通常付款后4-9周到货!
图书信息 书号: 9783319465975 作者: Gilles Barthe 装帧: 平装-胶订 页数: 229页 出版社: Springer International Publishing 尺寸: 22.9 x 15.2 x 2.5 cm 出版日期: 2016-09-17 重量: 454g 语种: 其它(含多语) 内容简介 This book constitutes the refereed proceedings of
¥685.00
海外直订Programming Languages and Systems: 20th European Symposi
¥553.00
明星店铺 中华商务进口图书旗舰店
海外直订Software Engineering and Formal Methods: 9th Internation
¥553.00
明星店铺 中华商务进口图书旗舰店
海外直订Wilfrid Laurier on the Platform: Collection of the Princ
¥581.00
明星店铺 中华商务进口图书旗舰店
【预订】Lectures d’auteurs : 45 textes littéraires annotés avec 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9782706118500 Author 作者 Barthe Format 版本 平装-胶订 Publisher 出版社 PUG Publication Date 出版日期 2014-03-13 Language 语种 其它(含多语)
¥418.00
【预订】Nothing's Fair in Fifth Grade 9780881033557 美国库房发货,通常付款后3-5周到货!
¥143.00
预售 按需印刷 Uber Die Prapositionen Par Und Pur In Einigen Anglon
¥123.25
【预订】Nothing's Fair in Fifth Grade 预订商品,需要1-3个月发货,非质量问题不接受退换货。
¥170.37
【预订】Nothing's Fair in Fifth Grade 预订商品,需要1-3个月发货,非质量问题不接受退换货。
¥153.84
Construction and An安全、保密及可互操作智能装置构成与分析/会议录alysis of Safe, Se
¥417.60
¥526.70定价:¥666.70 (7.91折)
预售 英文预定 Nothing's Fair in Fifth Grade 海外预定商品预计1-3个月发货,海外购非质量问题不接受退货。
¥153.10