![3-6周达 Computer Vision -- ACCV 2014 [ISBN:9783319168135]](http://img3m0.ddimg.cn/83/30/11752668560-1_b_1714993279.jpg)
3-6周达 Computer Vision -- ACCV 2014 [ISBN:9783319168135] 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
【3-6周达】Stereo Scene Flow for 3D Motion Analysis [ISBN:978144 【全球购】进口原版图书，预计3-6周左右到国内
¥1010
【预订】Security Standardisation Research 9783030047610 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030047610 Author 作者 Cas Cremers Format 版本 平装-胶订 Pages Number 页数 185页 Publisher 出版社 Springer Publication Date 出版日期 2018-11-21 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.4 cm Shipping Weight 商品重量 620g Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 4th InternationalConference on Security Standardisation Research, SSR 2018, held inDarmstadt, Germany, in November 2018.The papers cover a range of topics in the field of security standardisationresearch, including cryptographic evaluation, standards development, analysiswith formal methods, potential future areas of standardisation, and improvingexisting standards.
¥608.00
预订 Computer Vision -- ACCV 2014 预订商品
¥608.00
海外直订Operational Semantics and Verification of Security Proto
¥760.00
【预订】Electronic Communication in Heterometallated Porphyrin O 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030391003 Author 作者 Jonathan Cremers Format 版本 精装 Pages Number 页数 255页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-02-14 Language 语种 英语 Book Contents 内容简介 This book cuts across the divisions of organic, inorganic, and physical chemistry. It describes new methods for creating -conjugated porphyrin oligomers with precisely defined sequences of zinc and copper metal cations, and how EPR spectroscopy was used to investigate the dipolar and exchange coupling between the paramagnetic copper(II) centres.Porphyrins are a group of heterocyclic macrocycle organic compounds that play an important role in our everyday life and can for example be found in blood where they form a red complex with iron (haem). Various metallic elements can be inserted into a porphyrin and changing the coordinated metal is an excellent way to influe
¥1217
3-6周达 Electronic Communication in Heterometallated Porphyrin 【全球购】进口原版图书，预计3-6周左右到国内
¥1039
【预订】Electronic Communication in Heterometallated Porphyrin O 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030391034 Author 作者 Cremers Format 版本 平装-胶订 Pages Number 页数 255页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-02-14 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.6 cm Shipping Weight 商品重量 930g Language 语种 英语 Book Contents 内容简介 This book cuts across the divisions of organic, inorganic, and physical chemistry. It describes new methods for creating -conjugated porphyrin oligomers with precisely defined sequences of zinc and copper metal cations, and how EPR spectroscopy was used to investigate the dipolar and exchange coupling between the paramagnetic copper(II) centres.Porphyrins are a group of heterocyclic macrocycle organic compounds that play an important role in our everyday life and can for example be found in blood where they form a red complex with iron (haem). Various metallic elements ca
¥1217
3-6周达 Pattern Recognition: 44th Dagm German Conference, Dagm 【全球购】进口原版图书，预计3-6周左右到国内
¥513.00
预订 Computer Vision -- ACCV 2014 预订商品
¥608.00
预订 Operational Semantics and Verification of Security Protoc 【全球购】进口原版图书，约3-6周到达国内后发出
¥511.00
【预订】Video Processing and Computational Video: 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Handbook of Microdialysis: Methods, Applications and 美国库房发货，通常付款后3-5周到货！
¥1878
预订 Money [ISBN:9783905929911] 【全球购】进口原版图书，一般5-8周左右到国内
¥490.00
3-6周达 Computer Vision -- ACCV 2014 [ISBN:9783319168647] 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
预订 Lasers-Induced Plasmas and Applications [ISBN:97808247807 【全球购】进口原版图书，约3-6周到达国内后发出
¥3627
3-6周达 Operational Semantics and Verification of Security Pro 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥658.00
海外直订Statistical and Geometrical Approaches to Visual Motion
¥553.00
3-6周达 Video Processing and Computational Video [ISBN:9783642 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
预订 Computer Vision -- ACCV 2014 预订商品
¥608.00
3-6周达 Computer Vision -- ACCV 2014 [ISBN:9783319168166] 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
3-6周达 Security Standardisation Research [ISBN:9783030047610] 【全球购】进口原版图书，预计3-6周左右到国内
¥511.00
预订 Computer Vision -- ACCV 2014 预订商品
¥608.00
【预订】Energy Minimization Methods in Computer Vision and Patte 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642036408 Author 作者 Daniel Cremers Universit?t Bonn Inst. Informatik Bonn Ger Format 版本 平装-胶订 Pages Number 页数 494页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2009-08-11 Shipping Weight 商品重量 771g Language 语种 英语
¥608.00
【3-6周达】Statistical and Geometrical Approaches to Visual Moti 【全球购】进口原版图书，预计3-6周左右到国内
¥507.00
3-6周达 Computer Vision -- ACCV 2014 [ISBN:9783319168074] 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
【预订】Operational Semantics and Verification of Security Proto 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540786351 Author 作者 Cremers Format 版本 精装 Pages Number 页数 174页 Publication Date 出版日期 2012-10-31 Shipping Weight 商品重量 450g Language 语种 英语 Book Contents 内容简介 Security protocols are widely used to ensure secure communications over insecure networks, such as the internet or airwaves. These protocols use strong cryptography to prevent intruders from reading or modifying the messages. However, using cryptography is not enough to ensure their correctness. Combined with their typical small size, which suggests that one could easily assess their correctness, this often results in incorrectly designed protocols. The authors present a methodology for formally describing security protocols and their environment. This methodology includes a model for describing protocols, their execution model, and the intruder model. The models are extended with a num
¥790.00
【3-6周达】Energy Minimization Methods in Computer Vision and Pa 【全球购】进口原版图书，预计3-6周左右到国内
¥507.00
预订 Compact Courtyard Housing. Handbook For A New Building Ty 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥484.00
海外直订Security Standardisation Research: 4th International Con
¥639.00
海外直订Energy Minimization Methods in Computer Vision and Patte
¥553.00
预订 Computer Vision -- ACCV 2014 预订商品
¥608.00
【预订】Statistical and Geometrical Approaches to Visual 美国库房发货，通常付款后3-5周到货！
¥608.00
3-6周达 Computer Vision -- ACCV 2014 [ISBN:9783319168104] 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
预订 Pattern Recognition: 46th DAGM German Conference, DAGM GC 国外库房发货，通常付款后3-5周到货
¥803.00
¥2067
3-6周达 Electronic Communication in Heterometallated Porphyrin 【全球购】进口原版图书，预计3-6周左右到国内
¥995.00
海外直订Electronic Communication in Heterometallated Porphyrin O
¥895.00
预订 Pattern Recognition: 46th DAGM German Conference, DAGM GC 国外库房发货，通常付款后3-5周到货
¥803.00
【预订】Baumaterialien Fur Radio-Amateure: 16. Band 978364289099 美国库房发货，通常付款后3-5周到货！
¥578.00
3-6周达 Handbook of Laser-Induced Breakdown Spectroscopy [ISBN 【全球购】进口原版图书，预计3-6周左右到国内
¥1674
安全工程师用高强度的密码算法设计出一个协议后，并不能保证通信协议的安全性。传统的安全分析依赖于设计者的经验和手工分析，这种做法在实践中已经被证明很难完全检测出系统的各种隐藏漏洞。协议运行环境的改变、安全假设的改变，都可能导致新的攻击。 本书涵盖从安全协议验证的基础理论到代码的实现，不仅为协议构建了牢固的数学形式化基础，进而精确地定义了协议的运行规范和安全属性，还设计了高效的验证算法。
¥46.00定价：¥59.00 (7.8折)
按需印刷Handbook of Laser-Induced Breakdown Spectroscopy, 2nd Ed 预订，预计下单后3-4周左右发货！
¥2370
