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

现货 Deodorat Verified umium

现货速发Frem EWG Verified 100% atur umium Free Deodorat

￥939.2 券后￥942.2 0人已购买
优惠券￥ 3  领券购买 
verified

verified

￥445 券后￥450 0人已购买
优惠券￥ 5  领券购买 
International Experiments Conferenc Software

海外直订Verified Software. Theories, Tools, and Experiments: 9th International Conferenc 验证过的软件。理论、工具和

￥503 券后￥553 0人已购买
优惠券￥ 50  领券购买 
Design Implementation Cryptosystem Methodology

预订Design and Implementation of a Cryptosystem SoC for Mobile Devices - A Verified Design Methodology o

￥759 券后￥766 0人已购买
优惠券￥ 7  领券购买 
International Experiments Conference Theories

海外直订Verified Software: Theories, Tools, Experiments: 4th International Conference, V 验证软件：理论，工具，实验

￥589 券后￥639 0人已购买
优惠券￥ 50  领券购买 
International Experiments Software Verified

海外直订Verified Software. Theories, Tools, and Experiments: 11th International Conferen 已验证的软件。理论、工具和

￥484 券后￥534 0人已购买
优惠券￥ 50  领券购买 
Statistics 4.0 Official Verified

海外直订Official Statistics 4.0: Verified Facts for People in the 21st Century 官方统计4.0:为21世纪人们验证的事实

￥563 券后￥613 0人已购买
优惠券￥ 50  领券购买 
Experiments Conferen Theories Software

海外直订Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conferen 验证软件:理论，工具，实验:

￥933 券后￥1,033 0人已购买
优惠券￥ 100  领券购买 
Verified 验证海外

海外直订Verified 验证

￥146 券后￥151 0人已购买
优惠券￥ 5  领券购买 
Theories Software Experime Verified

海外直订Verified Software: Theories, Tools, and Experime... 验证软件：理论、工具和实验

￥502 券后￥552 0人已购买
优惠券￥ 50  领券购买 
Implementation Cryptosystem SoC Verified

海外直订Design and Implementation of a Cryptosystem SoC for Mobile Devices - A Verified 移动设备密码系统SoC的设计

￥549 券后￥599 0人已购买
优惠券￥ 50  领券购买 
Numerical 数值工具箱 Computing

海外直订Numerical Toolbox for Verified Computing I: Basic Numerical Problems Theory, Alg 验证计算的数值工具箱I:基本

￥933 券后￥1,033 0人已购买
优惠券￥ 100  领券购买 
沸石 Synthesis Materials 合成

海外直订Verified Synthesis of Zeolitic Materials: Second Edition 验证沸石材料的合成：第二版

￥2,475 券后￥2,575 0人已购买
优惠券￥ 100  领券购买 
Engineering Qed 概况 Formally

海外直订Qed at Large: A Survey of Engineering of Formally Verified Software Qed:正式验证软件的工程概况

￥945 券后￥1,045 0人已购买
优惠券￥ 100  领券购买 
MATLAB 信号处理算法 Algorithms

海外直订Verified Signal Processing Algorithms in MATLAB ... 用MATLAB和C语言验证信号处理算法

￥639 券后￥689 0人已购买
优惠券￥ 50  领券购买 
形式化语义切片 Applications

海外直订From Formal Semantics to Verified Slicing: A Modular Framework with Applications 从形式化语义到验证切片:一

￥639 券后￥689 0人已购买
优惠券￥ 50  领券购买 
医药图书线性 Described Precepts

海外直订医药图书The Linear Tables Described, and Their Utility Verified; With Precepts and Examp 线性表的描述及其效

￥288 券后￥318 0人已购买
优惠券￥ 30  领券购买 
医药图书线性 Described Precepts

海外直订医药图书The Linear Tables Described, and Their Utility Verified; With Precepts and Examp 线性表的描述及其效

￥165 券后￥170 0人已购买
优惠券￥ 5  领券购买 
Verified International Experiments Conferenc

海外直订Verified Software. Theories, Tools and Experiments: 15th International Conferenc Verified S

￥504 券后￥554 0人已购买
优惠券￥ 50  领券购买 
Engineering 预订 Verified Software

预订QED at Large:A Survey of Engineering of Formally Verified Software

￥986 券后￥993 0人已购买
优惠券￥ 7  领券购买 
统计数据 Statistics 4.0 Official

海外直订Official Statistics 4.0: Verified Facts for People in the 21st Century 官方统计数据4.0：21世纪被证实的事实

￥767 券后￥817 0人已购买
优惠券￥ 50  领券购买 
9781970001242 Programming Functional Verified

按需印刷Verified Functional Programming in Agda[9781970001242]

￥1,226 券后￥1,233 0人已购买
优惠券￥ 7  领券购买 
C++工具箱 Algorithm Computing

海外直订C++ Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithm 用于验证计算的C++工具箱：

￥1,037 券后￥1,137 0人已购买
优惠券￥ 100  领券购买 
Experimen Verified Theories Software

海外直订Verified Software. Theories, Tools and Experimen... 验证软件。理论、工具和实验。

￥484 券后￥534 0人已购买
优惠券￥ 50  领券购买 
9781970001273 Programming Functional Verified

按需印刷Verified Functional Programming in Agda[9781970001273]

￥1,450 券后￥1,457 0人已购买
优惠券￥ 7  领券购买 
International Experiments Conference Verified

海外直订Verified Software: Theories, Tools, Experiments: Third International Conference, 验证软件：理论、工具、实验

￥589 券后￥639 0人已购买
优惠券￥ 50  领券购买 
Theories Software Experime Verified

海外直订Verified Software. Theories, Tools, and Experime... 已验证的软件。理论、工具和实验

￥484 券后￥534 0人已购买
优惠券￥ 50  领券购买 
International Experiments Conference Verified

海外直订Verified Software: Theorie, Tools, Experiments: 5th International Conference, Vs 验证软件:理论，工具，实验:

￥503 券后￥553 0人已购买
优惠券￥ 50  领券购买 
Programming Functional Verified 海外

海外直订Verified Functional Programming in Agda

￥1,206 券后￥1,306 0人已购买
优惠券￥ 100  领券购买 
Agda Programming Functional Verified

海外直订Verified Functional Programming in Agda 在AGDA中验证功能编程

￥900 券后￥950 0人已购买
优惠券￥ 50  领券购买 
International Experiments Conference Theories

海外直订Verified Software: Theories, Tools and Experiments: 6th International Conference 验证软件：理论、工具和实验

￥563 券后￥613 0人已购买
优惠券￥ 50  领券购买 
Fm8501 微处理器 Microprocessor Verified

海外直订Fm8501: A Verified Microprocessor Fm8501：经过验证的微处理器

￥503 券后￥553 0人已购买
优惠券￥ 50  领券购买 
预售新书 VERIFIED VALLEY

预售【2024新书】VALLEY VERIFIED

￥103 券后￥110 0人已购买
优惠券￥ 7  领券购买 
和实 International Experiments Theories

海外直订Verified Software. Theories, Tools, and Experiments: 10th International Conferen 已验证软件。理论、工具和实

￥503 券后￥553 0人已购买
优惠券￥ 50  领券购买 
Experiments 预订 Theories Software

【预订】Verified Software. Theories, Tools, and Experiments

￥488 券后￥608 0人已购买
优惠券￥ 120  领券购买 
Inspection Galignani 预订 Personal

预订 Galignani’s New Paris Guide, For 1860: Revised And Verified By Personal Inspection, And Arranged On An Entirely Ne

￥478 券后￥578 0人已购买
优惠券￥ 100  领券购买 
9783030933654 Processing Algorithms 预订

[预订]Verified Signal Processing Algorithms in MATLAB and C: Advised by Israel Greiss 9783030933654

￥732 券后￥852 0人已购买
优惠券￥ 120  领券购买 
9798857543238 successful parenting 预订

预订 Trusted and Verified: guides to successful parenting in 21st century: 9798857543238

￥135 券后￥150 0人已购买
优惠券￥ 15  领券购买 
预售 Implementation Verified Scheme

【预售】Vlisp: A Verified Implementation of Scheme

￥1,625 券后￥1,825 0人已购买
优惠券￥ 200  领券购买 
9781013270130 Electronic Untrusted Equipment

[预订]The Huawei and Snowden Questions: Can Electronic Equipment From Untrusted Vendors Be Verified? Can a 9781013270130

￥575 券后￥695 0人已购买
优惠券￥ 120  领券购买 