Verified什么牌子好,Verified哪里有卖? - 第1页

International Experiments Verified Software
海外直订Verified Software. Theories, Tools, and Experiments: 11th International Conferen 已验证的软件。理论、工具和
￥524券后￥5340人已购买
优惠券￥10 领券购买 
International Experiments Conference Verified
海外直订Verified Software: Theories, Tools, Experiments: 4th International Conference, V 验证软件：理论，工具，实验
￥609券后￥6390人已购买
优惠券￥30 领券购买 
Design Implementation Cryptosystem Methodology
预订Design and Implementation of a Cryptosystem SoC for Mobile Devices - A Verified Design Methodology o
￥726券后￥7660人已购买
优惠券￥40 领券购买 
Statistics 4.0 Official Verified
海外直订Official Statistics 4.0: Verified Facts for People in the 21st Century 官方统计4.0:为21世纪人们验证的事实
￥583券后￥6130人已购买
优惠券￥30 领券购买 
Experiments Verified Software Theories
海外直订Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conferen 验证软件:理论，工具，实验:
￥993券后￥1,0330人已购买
优惠券￥40 领券购买 
International Experiments Conferenc Verified
海外直订Verified Software. Theories, Tools, and Experiments: 9th International Conferenc 验证过的软件。理论、工具和
￥543券后￥5530人已购买
优惠券￥10 领券购买 
Verified Software Theories Experime
海外直订Verified Software: Theories, Tools, and Experime... 验证软件：理论、工具和实验
￥542券后￥5520人已购买
优惠券￥10 领券购买 
Implementation Cryptosystem SoC Verified
海外直订Design and Implementation of a Cryptosystem SoC for Mobile Devices - A Verified 移动设备密码系统SoC的设计
￥583券后￥6130人已购买
优惠券￥30 领券购买 
Numerical 数值工具箱 Computing
海外直订Numerical Toolbox for Verified Computing I: Basic Numerical Problems Theory, Alg 验证计算的数值工具箱I:基本
￥993券后￥1,0330人已购买
优惠券￥40 领券购买 
沸石 Synthesis Materials 合成
海外直订Verified Synthesis of Zeolitic Materials: Second Edition 验证沸石材料的合成：第二版
￥2,576券后￥2,6360人已购买
优惠券￥60 领券购买 
MATLAB 信号处理算法 Processing
海外直订Verified Signal Processing Algorithms in MATLAB ... 用MATLAB和C语言验证信号处理算法
￥659券后￥6890人已购买
优惠券￥30 领券购买 
形式化语义切片 Applications
海外直订From Formal Semantics to Verified Slicing: A Modular Framework with Applications 从形式化语义到验证切片:一
￥676券后￥7060人已购买
优惠券￥30 领券购买 
Verified International Experiments Conferenc
海外直订Verified Software. Theories, Tools and Experiments: 15th International Conferenc Verified S
￥544券后￥5540人已购买
优惠券￥10 领券购买 
医药图书线性 Described Verified
海外直订医药图书The Linear Tables Described, and Their Utility Verified; With Precepts and Examp 线性表的描述及其效
￥311.1券后￥321.10人已购买
优惠券￥10 领券购买 
C++工具箱 Computing Numerical
海外直订C++ Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithm 用于验证计算的C++工具箱：
￥1,097券后￥1,1370人已购买
优惠券￥40 领券购买 
9781970001273 Programming Functional Verified
按需印刷Verified Functional Programming in Agda[9781970001273]
￥1,357券后￥1,4570人已购买
优惠券￥100 领券购买 
Experimen Verified Software Theories
海外直订Verified Software. Theories, Tools and Experimen... 验证软件。理论、工具和实验。
￥524券后￥5340人已购买
优惠券￥10 领券购买 
统计数据 Statistics 4.0 Official
海外直订Official Statistics 4.0: Verified Facts for People in the 21st Century 官方统计数据4.0：21世纪被证实的事实
￥787券后￥8170人已购买
优惠券￥30 领券购买 
9781970001242 Programming Functional Verified
按需印刷Verified Functional Programming in Agda[9781970001242]
￥1,133券后￥1,2330人已购买
优惠券￥100 领券购买 
International Experiments Conference Verified
海外直订Verified Software: Theorie, Tools, Experiments: 5th International Conference, Vs 验证软件:理论，工具，实验:
￥543券后￥5530人已购买
优惠券￥10 领券购买 
Agda Programming Functional Verified
海外直订Verified Functional Programming in Agda 在AGDA中验证功能编程
￥942券后￥9720人已购买
优惠券￥30 领券购买 
International Experiments Conference Verified
海外直订Verified Software: Theories, Tools and Experiments: 6th International Conference 验证软件：理论、工具和实验
￥484券后￥4940人已购买
优惠券￥10 领券购买 
Programming Functional Verified 海外
海外直订Verified Functional Programming in Agda
￥1,297券后￥1,3370人已购买
优惠券￥40 领券购买 
International Experiments Conference Verified
海外直订Verified Software: Theories, Tools, Experiments: Third International Conference, 验证软件：理论、工具、实验
￥609券后￥6390人已购买
优惠券￥30 领券购买 
Verified Software Theories Experime
海外直订Verified Software. Theories, Tools, and Experime... 已验证的软件。理论、工具和实验
￥524券后￥5340人已购买
优惠券￥10 领券购买 
Fm8501 微处理器 Microprocessor Verified
海外直订Fm8501: A Verified Microprocessor Fm8501：经过验证的微处理器
￥543券后￥5530人已购买
优惠券￥10 领券购买 
和实 International Experiments Verified
海外直订Verified Software. Theories, Tools, and Experiments: 10th International Conferen 已验证软件。理论、工具和实
￥543券后￥5530人已购买
优惠券￥10 领券购买 
预售新书 VERIFIED VALLEY
预售【2024新书】VALLEY VERIFIED
￥107券后￥1100人已购买
优惠券￥3 领券购买 
Hahnemann Principles Homeopathy Verified
海外直订A Compend of the Principles of Homeopathy as Taught by Hahnemann and Verified by Hahnemann教
￥473券后￥4830人已购买
优惠券￥10 领券购买 
预订 Verified Software Theories
【预订】Verified Software. Theories, Tools, ...
￥514券后￥5480人已购买
优惠券￥34 领券购买 
预售 Experiments Verified Software
【预售】Verified Software: Theories, Tools, Experiments:
￥1,015券后￥1,0950人已购买
优惠券￥80 领券购买 
预售 Implementation Verified Scheme
【预售】Vlisp: A Verified Implementation of Scheme
￥1,563券后￥1,6430人已购买
优惠券￥80 领券购买 
Experiments 预订 Verified Software
[预订]Verified Software. Theories, Tools and Experiments.
￥514券后￥5480人已购买
优惠券￥34 领券购买 
International Experiments Conference 预订
【预订】Verified Software. Theories, Tools, and Experiments: 11th International Conference, Vstte 2019, New York C...
￥514券后￥5480人已购买
优惠券￥34 领券购买 
预售 Experiments Verified Software
【预售】Verified Software: Theories, Tools, Experiments: 4th
￥514券后￥5480人已购买
优惠券￥34 领券购买 
9781013270130 Electronic Questions Equipment
[预订]The Huawei and Snowden Questions: Can Electronic Equipment From Untrusted Vendors Be Verified? Can a 9781013270130
￥661券后￥6950人已购买
优惠券￥34 领券购买 
9781013270123 Electronic Questions Equipment
[预订]The Huawei and Snowden Questions: Can Electronic Equipment From Untrusted Vendors Be Verified? Can a 9781013270123
￥492券后￥5260人已购买
优惠券￥34 领券购买 
预订 Breaking Ultimate Educator
预订 Paying for College Without Breaking the Bank: The Ultimate Student, Parent, and Educator Guide to Over 500 Verified
￥116券后￥1210人已购买
优惠券￥5 领券购买 
Backtesting Masterclass performance 预订
预订 The Backtesting Masterclass: Build, Validate, and Optimize with Python: Ideas are cheap. Verified performance is pr
￥622券后￥6560人已购买
优惠券￥34 领券购买 
预订 baronies Verified Baronia
预订 Baronia Anglica. An history of land-honors and baronies, and of tenure in capite. Verified by records. By Thomas Ma
￥373券后￥4070人已购买
优惠券￥34 领券购买 