关注微信公众号查券更方便
【预售 按需印刷】Verified Functional Programming in Agda
【预订】Verified Software. Theories, Tools, ...
【预售】Verified Software: Theories, Tools, Experiments: 4th
[预订]Verified Software. Theories, Tools and Experiments.
【预订】Verified Software. Theories, Tools, and Experiments: 11th International Conference, Vstte 2019, New York C...
预订 Verified Software. Theories, Tools, and Experiments
【预售】Verified Software: Theories, Tools, Experiments
【预订】Verified Software. Theories, Tools, and Experiments
预订 Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, Octo
【预订】Piton: A Mechanically Verified Assem...
【预订】Verified Software: Theorie, Tools, E...
[预订]The Huawei and Snowden Questions: Can Electronic Equipment From Untrusted Vendors Be Verified? Can a 9781013270130
【预售】Verified Software: Theories, Tools, Experiments:
[预订]Verified: How to Think Straight, Get Duped Less, and Make Better Decisions about What to Believe Onl 9780226829838
[预订]Verified Signal Processing Algorithms in Matlab and C 9783030933623
[预订]Verified Signal Processing Algorithms in MATLAB and C: Advised by Israel Greiss 9783030933654
预订 Galignani’s New Paris Guide, For 1860: Revised And Verified By Personal Inspection, And Arranged On An Entirely Ne
按需印刷Verified Functional Programming in Agda[9781970001242]
【预售】Vlisp: A Verified Implementation of Scheme
【预售】Vlisp a Verified Implementation of Sch
预订QED at Large:A Survey of Engineering of Formally Verified Software
预订 Baronia Anglica. An History of Land-honors and Baronies, and of Tenure in Capite. Verified by Records. By Thomas Ma
[预订]The Huawei and Snowden Questions: Can Electronic Equipment From Untrusted Vendors Be Verified? Can a 9781013270123
预订 Baronia Anglica. An history of land-honors and baronies, and of tenure in capite. Verified by records. By Thomas Ma
海外直订From Formal Semantics to Verified Slicing: A Modular Framework with Applications 从形式化语义到验证切片:一
海外直订Official Statistics 4.0: Verified Facts for People in the 21st Century 官方统计4.0:为21世纪人们验证的事实
海外直订Verified Software: Theories, Tools and Experiments: 6th International Conference 验证软件：理论、工具和实验
海外直订Verified Signal Processing Algorithms in MATLAB ... 用MATLAB和C语言验证信号处理算法
按需印刷Verified Functional Programming in Agda[9781970001273]
海外直订Verified Software: Theories, Tools, Experiments: 4th International Conference, V 验证软件：理论，工具，实验
海外直订Verified Software: Theories, Tools, Experiments: Third International Conference, 验证软件：理论、工具、实验
海外直订Verified Synthesis of Zeolitic Materials: Second Edition 验证沸石材料的合成：第二版
海外直订Qed at Large: A Survey of Engineering of Formally Verified Software Qed:正式验证软件的工程概况
海外直订Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conferen 验证软件:理论，工具，实验:
海外直订Numerical Toolbox for Verified Computing I: Basic Numerical Problems Theory, Alg 验证计算的数值工具箱I:基本
【4周达】Verified Software: Theories, Tools, Experiments: 4th International Conference, Vstte 2012, P... [9783642277047]
【4周达】Verified Software. Theories, Tools, and Experiments : 10th International Conference, VSTTE 2... [9783030035914]
厂家Natural Coconut Cleansing OilC Vegan EWG VERIFIED Mak
速发Research Verified Hair GrowtCh Support - with Biotin, DH
【4周达】Official Statistics 4.0 : Verified Facts for People in the 21st Century [9783030314910]
海外直订Verified Functional Programming in Agda 在Agda中验证函数编程
海外直订C++ Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithm 用于验证计算的C++工具箱：
【4周达】Vlisp a Verified Implementation of Scheme: A Special Issue of LISP and Symbolic Computation,... [9781461359913]
海外直订A Compend of the Principles of Homeopathy as Taught by Hahnemann and Verified by Hahnemann教授的顺势疗
【4周达】Verified Software. Theories, Tools and Experiments: 15th International Conference, Vstte 202... [9783031660634]
【4周达】Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014... [9783319121536]
【4周达】Verified Computers Solution for Parametric Problems [9783838358239]
【预售按需印刷】Swedenborg Verified By The Progress Of The Past Hundred Years (1883)
【4周达】Verified Signal Processing Algorithms in MATLAB and C : Advised by Israel Greiss [9783030933623]
【预售 按需印刷】A Compend of the Principles of Homeopathy as Taught by Hahnemann and Verified by a Century of Clinic
预售 按需印刷Sacred Chronology And Numbers Arranged And Verified In Their Application To Fulfilled And Unfulfil
推荐Natural Coconut Clreansing Oil Vegan EWG VERIFIED Mak
【4周达】Verified Synthesis of Zeolitic Materials: Second Edition [9780444507037]
【4周达】Official Statistics 4.0 : Verified Facts for People in the 21st Century [9783030314941]
海外直订Official Statistics 4.0: Verified Facts for People in the 21st Century 官方统计数据4.0：21世纪被证实的事实
【4周达】Verified Signal Processing Algorithms in MATLAB and C : Advised by Israel Greiss [9783030933654]
【4周达】The Impact of the Verified Gross Mass Regulations in Port Operations [9786139972166]
海外直订Verified Functional Programming in Agda 在AGDA中验证功能编程
C++ Toolbox for Verified Computing I : Basic Numerical Problems Theory, Algorithms, and Programs [9783642796531]
海外直订Verified Software. Theories, Tools, and Experiments: 11th International Conferen 已验证的软件。理论、工具和
海外直订Verified Software: Theories, Tools, and Experime... 验证软件：理论、工具和实验
海外直订Verified Software. Theories, Tools and Experimen... 验证软件。理论、工具和实验。
海外直订Verified Software. Theories, Tools, and Experime... 已验证的软件。理论、工具和实验
【4周达】Numerical Toolbox for Verified Computing I : Basic Numerical Problems Theory, Algorithms, an... [9783642784255]
【4周达】Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 20... [9783540691471]
海外直订Design and Implementation of a Cryptosystem SoC for Mobile Devices - A Verified 移动设备密码系统SoC的设计
海外直订Verified Software. Theories, Tools, and Experiments: 9th International Conferenc 验证过的软件。理论、工具和
海外直订Verified Software: Theorie, Tools, Experiments: 5th International Conference, Vs 验证软件:理论，工具，实验:
海外直订Fm8501: A Verified Microprocessor Fm8501：经过验证的微处理器
海外直订Verified Software. Theories, Tools, and Experiments: 10th International Conferen 已验证软件。理论、工具和实
海外直订Verified Software. Theories, Tools and Experiments: 15th International Conferenc Verified S
【4周达】Demonism Verified and Analyzed [9798890962812]
预订 Verified: How to Think Straight, Get Duped Less, and Make Better Decisions about What to Believe... [9780226829838]
【4周达】QED at Large: A Survey of Engineering of Formally Verified Software [9781680835946]
【4周达】From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Languag... [9783866445949]
【4周达】Verified Victories: Top JG 52 Aces Over Hungary 1944-45 [9781915070876]
预订 Paying for College Without Breaking the Bank: The Ultimate Student, Parent, and Educator Guide to Over 500 Verified
【4周达】Verified Software. Theories, Tools, and Experiments: 11th International Conference, VSTTE 20... [9783030415990]
【4周达】Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 201... [9783319723075]
【4周达】Verified Software: Theories, Tools, and Experiments: 7th International Conference, VSTTE 201... [9783319296128]
【4周达】Fm8501: A Verified Microprocessor [9783540579601]
【4周达】Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 201... [9783319488684]
【4周达】Verified Software: Theories, Tools, Experiments: Third International Conference, Vstte 2010,... [9783642150562]
【4周达】Verified Software: Theories, Tools, Experiments: Second International Conference, Vstte 2008... [9783540878728]
【4周达】Verified Software. Theories, Tools and Experiments.: 14th International Conference, VSTTE 20... [9783031258022]
【4周达】Piton : A Mechanically Verified Assembly-Level Language [9789401737913]
预订 The Effective Low Oxalate Diet Cookbook: Verified, Effortless and Tasty Recipes to Boost Your Energy and Strengthen
预订 The Verified Cancer Survival Cookbook for Teens: Empowering Young Patients to Cook for Health: 9798376216897
预订 Trusted and Verified: guides to successful parenting in 21st century: 9798857543238
预订 Glycemic Index Food Guide Chart 2024: Your Ultimate Toolkit for Tracking Glycemic Load and Scientifically Verified
【预售】英文原版 Valley Verified 山谷验证 Berkley Kyla Zhao 文学小说书籍
ValleyVerified山谷验证
预售【2024新书】VALLEY VERIFIED
verified-议价商品 联系客服
verified议价商品
Research Verified? Garcinia Cambogia Pure Extract 95% HCA
现货直销140DVO85300 140系列离散量Verified DC 输出模块140dvo8
现货直销140DVO85300 离散量Verified DC 输出,32 点,4 组隔离
