关注微信公众号查券更方便
【预订】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
【预售】Verified Software: Theories, Tools, Experiments
【预订】Piton: A Mechanically Verified Assem...
【预订】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
[预订]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
预订 Baronia Anglica. An history of land-honors and baronies, and of tenure in capite. Verified by records. By Thomas Ma
【预售】Vlisp: A Verified Implementation of Scheme
【预售】Vlisp a Verified Implementation of Sch
预订 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
【预售按需印刷】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
海外直订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, Experiments: First IFIP TC 2/WG 2.3 Conferen 验证软件:理论，工具，实验:
海外直订Numerical Toolbox for Verified Computing I: Basic Numerical Problems Theory, Alg 验证计算的数值工具箱I:基本
预订 Paying for College Without Breaking the Bank: The Ultimate Student, Parent, and Educator Guide to Over 500 Verified
海外直订Design and Implementation of a Cryptosystem SoC for Mobile Devices - A Verified 移动设备密码系统SoC的设计
海外直订Verified Software: Theories, Tools, and Experime... 验证软件：理论、工具和实验
海外直订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 Functional Programming in Agda 在Agda中验证函数编程
海外直订C++ Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithm 用于验证计算的C++工具箱：
预订 The Verified Cancer Survival Cookbook for Teens: Empowering Young Patients to Cook for Health: 9798376216897
海外直订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 Software: Theories, Tools, Experiments: 4th International Conference, V 验证软件：理论，工具，实验
海外直订Verified Software: Theories, Tools, Experiments: Third International Conference, 验证软件：理论、工具、实验
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
海外直订A Compend of the Principles of Homeopathy as Taught by Hahnemann and Verified by Hahnemann教授的顺势疗
海外直订The Story of Penelope Stout: As Verified by the Events of History and Official R 佩内洛普·斯托特的故事：由
按需印刷Verified Functional Programming in Agda[9781970001242]
海外直订医药图书A Compend of the Principles of Homoeopathy: As taught by Hahnemann, and verified 同人病原理简编
海外直订Official Statistics 4.0: Verified Facts for People in the 21st Century 官方统计数据4.0：21世纪被证实的事实
海外直订Verified Functional Programming in Agda 在AGDA中验证功能编程
verified议价商品
按需印刷Verified Functional Programming in Agda[9781970001273]
预售【2024新书】VALLEY VERIFIED
海外直订Qed at Large: A Survey of Engineering of Formally Verified Software Qed:正式验证软件的工程概况
海外直订医药图书The Linear Tables Described, and Their Utility Verified; With Precepts and Examp 线性表的描述及其效
预订 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周达】Qed at Large: A Survey of Engineering of Formally Verified Software [9781680835946]
【4周达】Verified Software: Theories, Tools, Experiments: Second International Conference, Vstte 2008... [9783540878728]
【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 [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周达】Piton : A Mechanically Verified Assembly-Level Language [9789401737913]
【4周达】Fm8501: A Verified Microprocessor [9783540579601]
【4周达】Verified Software. Theories, Tools and Experiments.: 14th International Conference, VSTTE 20... [9783031258022]
C++ Toolbox for Verified Computing I : Basic Numerical Problems Theory, Algorithms, and Programs [9783642796531]
【4周达】Verified Signal Processing Algorithms in MATLAB and C : Advised by Israel Greiss [9783030933654]
【4周达】Verified Software. Theories, Tools, and Experiments : 10th International Conference, VSTTE 2... [9783030035914]
【4周达】Official Statistics 4.0 : Verified Facts for People in the 21st Century [9783030314910]
【4周达】Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 201... [9783319488684]
【4周达】Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014... [9783319121536]
【4周达】Numerical Toolbox for Verified Computing I : Basic Numerical Problems Theory, Algorithms, an... [9783642784255]
【4周达】Demonism Verified and Analyzed [9798890962713]
【4周达】Demonism Verified and Analyzed [9798890962812]
【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]
【4周达】Kriss Kross Puzzle Book for Adults: 100 Interesting Classic Puzzles over 2000 Verified Words [9788119495078]
【4周达】Valley Verified [9780593546154]
【4周达】Valley Verified : The addictive and outrageously fun new novel from the author of THE FRAUD ... [9781472296993]
