关注微信公众号查券更方便
【预订】Verified Software. Theories, Tools, ...
【预售】Verified Software: Theories, Tools, Experiments: 4th
【预订】Verified Software. Theories, Tools, and Experiments: 11th International Conference, Vstte 2019, New York C...
[预订]Verified Software. Theories, Tools and 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: Theories, Tools, Experiments
【预订】Verified Software. Theories, Tools, and Experiments
【预订】Verified Software: Theorie, Tools, E...
[预订]Verified Signal Processing Algorithms in Matlab and C 9783030933623
[预订]The Huawei and Snowden Questions: Can Electronic Equipment From Untrusted Vendors Be Verified? Can a 9781013270130
【预售】Verified Software: Theories, Tools, Experiments:
预订 Galignani’s New Paris Guide, For 1860: Revised And Verified By Personal Inspection, And Arranged On An Entirely Ne
海外直订From Formal Semantics to Verified Slicing: A Modular Framework with Applications 从形式化语义到验证切片:一
[预订]Verified Signal Processing Algorithms in MATLAB and C: Advised by Israel Greiss 9783030933654
[预订]Verified: How to Think Straight, Get Duped Less, and Make Better Decisions about What to Believe Onl 9780226829838
海外直订Official Statistics 4.0: Verified Facts for People in the 21st Century 官方统计4.0:为21世纪人们验证的事实
海外直订Verified Software: Theories, Tools and Experiments: 6th International Conference 验证软件：理论、工具和实验
预订 Baronia Anglica. An history of land-honors and baronies, and of tenure in capite. Verified by records. By Thomas Ma
海外直订Verified Signal Processing Algorithms in MATLAB ... 用MATLAB和C语言验证信号处理算法
【预售】Vlisp: A Verified Implementation of Scheme
【预售】Vlisp a Verified Implementation of Sch
海外直订Verified Software: Theories, Tools, Experiments: 4th International Conference, V 验证软件：理论，工具，实验
海外直订Verified Software: Theories, Tools, Experiments: Third International Conference, 验证软件：理论、工具、实验
海外直订Verified Synthesis of Zeolitic Materials: Second Edition 验证沸石材料的合成：第二版
海外直订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:基本
海外直订Qed at Large: A Survey of Engineering of Formally Verified Software Qed:正式验证软件的工程概况
海外直订Verified Functional Programming in Agda 在Agda中验证函数编程
海外直订C++ Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithm 用于验证计算的C++工具箱：
预订 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
海外直订Official Statistics 4.0: Verified Facts for People in the 21st Century 官方统计数据4.0：21世纪被证实的事实
新品Natural Coconut Cleansing Oil Vegan EWG VERIFIED Make
海外直订Verified Functional Programming in Agda 在AGDA中验证功能编程
海外直订A Compend of the Principles of Homeopathy as Taught by Hahnemann and Verified by Hahnemann教授的顺势疗
【预售按需印刷】Swedenborg Verified By The Progress Of The Past Hundred Years (1883)
【预售 按需印刷】A Compend of the Principles of Homeopathy as Taught by Hahnemann and Verified by a Century of Clinic
【预售 按需印刷】Verified Functional Programming in Agda
预售 按需印刷Sacred Chronology And Numbers Arranged And Verified In Their Application To Fulfilled And Unfulfil
厂家Natural Coconut Cleansing OilC Vegan EWG VERIFIED Mak
新品EWG Verified Castile Soap - 1 Gallon - No Palm Oil - Uns
预订 Paying for College Without Breaking the Bank: The Ultimate Student, Parent, and Educator Guide to Over 500 Verified
推荐Natural Coconut Clreansing Oil Vegan EWG VERIFIED Mak
海外直订Verified Software. Theories, Tools, and Experiments: 11th International Conferen 已验证的软件。理论、工具和
海外直订Verified Software. Theories, Tools, and Experime... 已验证的软件。理论、工具和实验
海外直订Verified Software. Theories, Tools and Experimen... 验证软件。理论、工具和实验。
预订 The Verified Cancer Survival Cookbook for Teens: Empowering Young Patients to Cook for Health: 9798376216897
海外直订Verified Software: Theories, Tools, and Experime... 验证软件：理论、工具和实验
海外直订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
verified watch时尚简约水钻女士石英手表女 直播热销手表女
预订 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
预订 The Effective Low Oxalate Diet Cookbook: Verified, Effortless and Tasty Recipes to Boost Your Energy and Strengthen
按需印刷Verified Functional Programming in Agda[9781970001242]
verified议价商品
按需印刷Verified Functional Programming in Agda[9781970001273]
预售【2024新书】VALLEY VERIFIED
预订 Verified: How to Think Straight, Get Duped Less, and Make Better Decisions about What to Believe... [9780226829838]
【4周达】Verified: How to Think Straight, Get Duped Less, and Make Better Decisions about What to Bel... [9780226822068]
【4周达】Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 20... [9783540691471]
【4周达】Verified Computers Solution for Parametric Problems [9783838358239]
【4周达】The Impact of the Verified Gross Mass Regulations in Port Operations [9786139972166]
【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周达】Verified Software. Theories, Tools, and Experiments: 11th International Conference, VSTTE 20... [9783030415990]
【4周达】Verified Software: Theories, Tools, Experiments: 4th International Conference, Vstte 2012, P... [9783642277047]
【4周达】The Verified Nobody's Brief Guide to Personal Finance [9781732176638]
【4周达】Verified: Growing Into Your God Given Identity [9780578766836]
【4周达】Verified Software. Theories, Tools and Experiments: 15th International Conference, Vstte 202... [9783031660634]
【4周达】Official Statistics 4.0 : Verified Facts for People in the 21st Century [9783030314941]
【4周达】Qed at Large: A Survey of Engineering of Formally Verified Software [9781680835946]
【4周达】Verified Synthesis of Zeolitic Materials: Second Edition [9780444507037]
【4周达】Verified Software: Theories, Tools, Experiments: Second International Conference, Vstte 2008... [9783540878728]
【4周达】Verified Signal Processing Algorithms in MATLAB and C : Advised by Israel Greiss [9783030933623]
【4周达】Verified Software: Theories, Tools, Experiments: Third International Conference, Vstte 2010,... [9783642150562]
【4周达】Vlisp a Verified Implementation of Scheme: A Special Issue of LISP and Symbolic Computation,... [9781461359913]
【4周达】Fm8501: A Verified Microprocessor [9783540579601]
【4周达】Piton : A Mechanically Verified Assembly-Level Language [9789401737913]
C++ Toolbox for Verified Computing I : Basic Numerical Problems Theory, Algorithms, and Programs [9783642796531]
【4周达】Verified Software. Theories, Tools and Experiments.: 14th International Conference, VSTTE 20... [9783031258022]
【4周达】Verified Software. Theories, Tools, and Experiments : 10th International Conference, VSTTE 2... [9783030035914]
【4周达】Verified Signal Processing Algorithms in MATLAB and C : Advised by Israel Greiss [9783030933654]
【4周达】Official Statistics 4.0 : Verified Facts for People in the 21st Century [9783030314910]
【4周达】Demonism Verified and Analyzed [9798890962713]
【4周达】Numerical Toolbox for Verified Computing I : Basic Numerical Problems Theory, Algorithms, an... [9783642784255]
【4周达】Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014... [9783319121536]
【4周达】Demonism Verified and Analyzed [9798890962812]
【4周达】Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 201... [9783319488684]
【4周达】From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Languag... [9783866445949]
【4周达】Narcissism: A Comprehensive And Methodical Manual Outlining Effective And Verified Technique... [9781835734360]
