关注微信公众号查券更方便
SF/UTP CAT5E 4PR/26AWG VERIFIED TO EIA 568B.3 ISO/IEC 11801
【预订】Verified Software. Theories, Tools, and Experiments
预订 Verified Software. Theories, Tools, and Experiments
[预订]Verified Software. Theories, Tools and Experiments.
【预订】Verified Software. Theories, Tools, and Experiments: 11th International Conference, Vstte 2019, New York C...
【预售】Verified Software: Theories, Tools, Experiments
预订 Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, Octo
【预订】Verified Software. Theories, Tools, ...
【预订】Piton: A Mechanically Verified Assem...
【预售】Verified Software: Theories, Tools, Experiments: 4th
【预订】Verified Software: Theorie, Tools, E...
[预订]The Huawei and Snowden Questions: Can Electronic Equipment From Untrusted Vendors Be Verified? Can a 9781013270130
[预订]Verified Signal Processing Algorithms in Matlab and C 9783030933623
[预订]Verified Signal Processing Algorithms in MATLAB and C: Advised by Israel Greiss 9783030933654
【预售】Verified Software: Theories, Tools, Experiments:
[预订]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
预售 按需印刷Sacred Chronology And Numbers Arranged And Verified In Their Application To Fulfilled And Unfulfil
【预售 按需印刷】Verified Functional Programming in Agda
【预售按需印刷】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
【预售】英文原版 Valley Verified 山谷验证 Berkley Kyla Zhao 文学小说书籍
ValleyVerified山谷验证
预订 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
预订 The Effective Low Oxalate Diet Cookbook: Verified, Effortless and Tasty Recipes to Boost Your Energy and Strengthen
海外直订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... 已验证的软件。理论、工具和实验
海外直订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 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 Functional Programming in Agda 在Agda中验证函数编程
海外直订C++ Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithm 用于验证计算的C++工具箱:
【4周达】Verified Victories: Top JG 52 Aces Over Hungary 1944-45 [9781915070876]
海外直订From Formal Semantics to Verified Slicing: A Modular Framework with Applications 从形式化语义到验证切片:一
海外直订Verified Software: Theories, Tools and Experiments: 6th International Conference 验证软件:理论、工具和实验
海外直订Official Statistics 4.0: Verified Facts for People in the 21st Century 官方统计4.0:为21世纪人们验证的事实
海外直订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, 验证软件:理论、工具、实验
【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周达】Verified Software. Theories, Tools and Experiments.: 14th International Conference, VSTTE 20... [9783031258022]
【4周达】Fm8501: A Verified Microprocessor [9783540579601]
【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周达】Piton : A Mechanically Verified Assembly-Level Language [9789401737913]
【4周达】Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 201... [9783319488684]
【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]
【4周达】Verified Signal Processing Algorithms in MATLAB and C : Advised by Israel Greiss [9783030933623]
预订 Trusted and Verified: guides to successful parenting in 21st century: 9798857543238
【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]
海外直订A Compend of the Principles of Homeopathy as Taught by Hahnemann and Verified by Hahnemann教授的顺势疗
【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]
海外直订The Story of Penelope Stout: As Verified by the Events of History and Official R 佩内洛普·斯托特的故事:由
【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]
【4周达】The Impact of the Verified Gross Mass Regulations in Port Operations [9786139972166]
按需印刷Verified Functional Programming in Agda[9781970001242]
【4周达】Verified Signal Processing Algorithms in MATLAB and C : Advised by Israel Greiss [9783030933654]
预售【2024新书】VALLEY VERIFIED
海外直订医药图书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 Functional Programming in Agda[9781970001273]
C++ Toolbox for Verified Computing I : Basic Numerical Problems Theory, Algorithms, and Programs [9783642796531]
海外直订Qed at Large: A Survey of Engineering of Formally Verified Software Qed:正式验证软件的工程概况
预订 Verified: How to Think Straight, Get Duped Less, and Make Better Decisions about What to Believe... [9780226829838]
海外直订医药图书The Linear Tables Described, and Their Utility Verified; With Precepts and Examp 线性表的描述及其效
【4周达】Verified: Growing Into Your God Given Identity [9780578766836]
【4周达】Demonism Verified and Analyzed [9798890962812]
预订QED at Large:A Survey of Engineering of Formally Verified Software
【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]
海外直订Verified Synthesis of Zeolitic Materials: Second Edition 验证沸石材料的合成:第二版
【4周达】Demonism Verified and Analyzed [9798890962713]
【4周达】The Psychology of Mass Solitude: And Other Verified Signals [9780645422740]
【4周达】Effective Low Oxalate Diet Cookbook: Verified, Effortless and Tasty Recipes to Boost Your En... [9781801241847]
【4周达】From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Languag... [9783866445949]
【4周达】Kriss Kross Puzzle Book for Adults: 100 Interesting Classic Puzzles over 2000 Verified Words [9788119495078]
【4周达】The Verified Nobody's Brief Guide to Personal Finance [9781732176638]
【4周达】Verified Synthesis of Zeolitic Materials: Second Edition [9780444507037]
【4周达】Time Management: Verified Strategies For Efficient Time Management, Establishing A Routine, ... [9781837878239]
【4周达】Narcissism: A Comprehensive And Methodical Manual Outlining Effective And Verified Technique... [9781835734360]