关注微信公众号查券更方便
【预售】Verified Software: Theories, Tools, Experiments: 4th
【预订】Verified Software. Theories, Tools, ...
【预订】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
【预订】Piton: A Mechanically Verified Assem...
预订 Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, Octo
【预售】Verified Software: Theories, Tools, 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
海外直订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 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周达】Verified Software: Theories, Tools, Experiments: Second International Conference, Vstte 2008... [9783540878728]
【4周达】Verified Synthesis of Zeolitic Materials: Second Edition [9780444507037]
【4周达】Qed at Large: A Survey of Engineering of Formally Verified Software [9781680835946]
【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周达】Vlisp a Verified Implementation of Scheme: A Special Issue of LISP and Symbolic Computation,... [9781461359913]
【4周达】Verified Software: Theories, Tools, Experiments: Third International Conference, Vstte 2010,... [9783642150562]
【4周达】Piton : A Mechanically Verified Assembly-Level Language [9789401737913]
【4周达】Fm8501: A Verified Microprocessor [9783540579601]
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周达】Numerical Toolbox for Verified Computing I : Basic Numerical Problems Theory, Algorithms, an... [9783642784255]
【4周达】Demonism Verified and Analyzed [9798890962713]
【4周达】From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Languag... [9783866445949]
【4周达】Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014... [9783319121536]
【4周达】Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 201... [9783319488684]
【4周达】Demonism Verified and Analyzed [9798890962812]
【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]
