关注微信公众号查券更方便
【预售 按需印刷】Verified Functional Programming in Agda
【预订】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, 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, and Experiments
【预订】Verified Software: Theorie, Tools, E...
【预售】Verified Software: Theories, Tools, Experiments:
[预订]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
预订QED at Large:A Survey of Engineering of Formally Verified Software
海外直订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 Functional Programming in Agda[9781970001242]
海外直订Verified Signal Processing Algorithms in MATLAB ... 用MATLAB和C语言验证信号处理算法
【预售】Vlisp: A Verified Implementation of Scheme
【预售】Vlisp a Verified Implementation of Sch
[预订]Verified: How to Think Straight, Get Duped Less, and Make Better Decisions about What to Believe Onl 9780226829838
海外直订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:基本
海外直订Verified Software: Theories, Tools, Experiments: 4th International Conference, V 验证软件：理论，工具，实验
海外直订Verified Software: Theories, Tools, Experiments: Third International Conference, 验证软件：理论、工具、实验
预订 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
[预订]Verified Signal Processing Algorithms in MATLAB and C: Advised by Israel Greiss 9783030933654
预订 Baronia Anglica. An history of land-honors and baronies, and of tenure in capite. Verified by records. By Thomas Ma
海外直订Verified Functional Programming in Agda 在Agda中验证函数编程
海外直订Verified Synthesis of Zeolitic Materials: Second Edition 验证沸石材料的合成：第二版
海外直订C++ Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithm 用于验证计算的C++工具箱：
海外直订Qed at Large: A Survey of Engineering of Formally Verified Software Qed:正式验证软件的工程概况
预订 Galignani’s New Paris Guide, For 1860: Revised And Verified By Personal Inspection, And Arranged On An Entirely Ne
按需印刷Verified Functional Programming in Agda[9781970001273]
新品Natural Coconut Cleansing Oil Vegan EWG VERIFIED Make
海外直订Official Statistics 4.0: Verified Facts for People in the 21st Century 官方统计数据4.0：21世纪被证实的事实
【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
海外直订Verified Functional Programming in Agda 在AGDA中验证功能编程
【4周达】Official Statistics 4.0 : Verified Facts for People in the 21st Century [9783030314910]
【4周达】Vlisp a Verified Implementation of Scheme: A Special Issue of LISP and Symbolic Computation,... [9781461359913]
【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]
【4周达】Verified Signal Processing Algorithms in MATLAB and C : Advised by Israel Greiss [9783030933623]
【4周达】Verified Synthesis of Zeolitic Materials: Second Edition [9780444507037]
【4周达】Official Statistics 4.0 : Verified Facts for People in the 21st Century [9783030314941]
【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]
C++ Toolbox for Verified Computing I : Basic Numerical Problems Theory, Algorithms, and Programs [9783642796531]
【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]
海外直订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
预售 按需印刷Sacred Chronology And Numbers Arranged And Verified In Their Application To Fulfilled And Unfulfil
【4周达】Demonism Verified and Analyzed [9798890962812]
预订 Verified: How to Think Straight, Get Duped Less, and Make Better Decisions about What to Believe... [9780226829838]
预订 Paying for College Without Breaking the Bank: The Ultimate Student, Parent, and Educator Guide to Over 500 Verified
【4周达】Qed at Large: A Survey of Engineering of Formally Verified Software [9781680835946]
海外直订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
【4周达】From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Languag... [9783866445949]
verified watch时尚简约水钻女士石英手表女 直播热销手表女
预订 Trusted and Verified: guides to successful parenting in 21st century: 9798857543238
【4周达】Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 201... [9783319723075]
【4周达】Verified Software. Theories, Tools, and Experiments: 11th International Conference, VSTTE 20... [9783030415990]
【4周达】Verified Software: Theories, Tools, and Experiments: 7th International Conference, VSTTE 201... [9783319296128]
【4周达】Verified Software: Theories, Tools, Experiments: Second International Conference, Vstte 2008... [9783540878728]
【4周达】Verified Software: Theories, Tools, Experiments: Third International Conference, Vstte 2010,... [9783642150562]
【4周达】Fm8501: A Verified Microprocessor [9783540579601]
【4周达】Verified Software. Theories, Tools and Experiments.: 14th International Conference, VSTTE 20... [9783031258022]
【4周达】Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 201... [9783319488684]
【4周达】Piton : A Mechanically Verified Assembly-Level Language [9789401737913]
预订 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议价商品
预售【2024新书】VALLEY VERIFIED
海外直订Sober Curious Drinks For Beginners: Proven And verified Non-Alcoholic Cocktail R Sober Curi
海外直订Verified 验证
SCHNEIDER 140DVO85300 开关量Verified DC 输出，32 点 全新
海外直订CompTIA Network+ Verified Questions and Answers: Pass Your Certification Examina CompTIA Ne
海外直订医药图书The Linear Tables Described, and Their Utility Verified; With Precepts and Examp 线性表的描述及其效
海外直订The Story of Penelope Stout: As Verified by the Events of History and Official R 佩内洛普·斯托特的故事：由
