Formal什么牌子好,Formal哪里有卖? - 第56页 - 宝妈美购物网

全部>“Formal” 共2472个商品

预订 Advances Methods Formal
预订 Advances in Formal Design Methods for CAD
￥2,030券后￥2,1900人已购买
优惠券￥160 领券购买 
Approaches 预订 Systems Formal
【预订】Formal Approaches to Agent-Based Systems
￥514券后￥5480人已购买
优惠券￥34 领券购买 
形式化方法人工智能 Intelligence Artificial
海外直订Formal Methods in Artificial Intelligence 人工智能中的形式化方法
￥576券后￥5860人已购买
优惠券￥10 领券购买 
预售 Techniques Tolerant Formal
【预售】Formal Techniques in Real-Time and Fault-Tolerant
￥1,563券后￥1,6430人已购买
优惠券￥80 领券购买 
Engineering 预订 Software Methods
【预订】Formal Methods and Software Engineering
￥1,015券后￥1,0950人已购买
优惠券￥80 领券购买 
代数证明形式 Algebra
海外直订Formal Proofs in Maths: Book 1 First Order Algebra 数学形式证明：第一册一阶代数
￥546券后￥5560人已购买
优惠券￥10 领券购买 
形式化辅助设计 International Conference
海外直订Formal Methods in Computer-Aided Design: First International Conference, Fmcad ' 计算机辅助设计中的形式化方
￥543券后￥5530人已购买
优惠券￥10 领券购买 
Verification 电路 Circuits 验证
海外直订Formal Verification of Circuits 电路的形式验证
￥1,510券后￥1,5500人已购买
优惠券￥40 领券购买 
预订 Analysis Concept Formal
【预订】Formal Concept Analysis
￥514券后￥5480人已购买
优惠券￥34 领券购买 
形式化方法软件工程建模 Engineering
海外直订Domain Modeling-Based Software Engineering: A Formal Approach 基于领域建模的软件工程：一种形式化方法
￥2,007券后￥2,0670人已购买
优惠券￥60 领券购买 
验证 Applications Verification Leveraging
海外直订Leveraging Applications of Formal Methods, Verification and Validation. Software 利用形式方法、验证和验证的
￥709券后￥7390人已购买
优惠券￥30 领券购买 
医药图书分布式 Distributed 对象
海外直订医药图书Formal Methods for Open Object-Based Distributed Systems V: Ifip Tc6 / Wg6.1 Fif 开放对象分布式系统
￥993券后￥1,0330人已购买
优惠券￥40 领券购买 
语义 Understanding Specification Semantics
海外直订Understanding Z: A Specification Language and Its Formal Semantics 理解Z：一种规范语言及其形式语义
￥505券后￥5150人已购买
优惠券￥10 领券购买 
Specification International Conference Zum
海外直订Zum '95: The Z Formal Specification Notation: 9th International Conference of Z Zum'95:Z正式规范符号：
￥993券后￥1,0330人已购买
优惠券￥40 领券购买 
9781849966894 Refinement Operating 预订
【预订】Formal Refinement for Operating System Kernels 9781849966894
￥1,015券后￥1,0950人已购买
优惠券￥80 领券购买 
Approaches 预订 Systems Formal
【预订】Formal Approaches to Agent-Based Systems
￥514券后￥5480人已购买
优惠券￥34 领券购买 
形式逻辑反证 Disproof 证明
海外直订Proof and Disproof in Formal Logic 形式逻辑中的证明与反证
￥1,087券后￥1,1270人已购买
优惠券￥40 领券购买 
形式化 Introduction 实时 Systems
海外直订Introduction to the Formal Design of Real-Time Systems 实时系统的形式化设计简介
￥579券后￥5890人已购买
优惠券￥10 领券购买 
形式化方法工作组 Standards BCS
海外直订Formal Methods in Standards: A Report from the BCS Working Group 标准中的形式化方法：BCS工作组的一份报告
￥543券后￥5530人已购买
优惠券￥10 领券购买 
精装 Nederpelt 证明形式
Type Theory and Formal Proof 类型论和形式证明 Rob Nederpelt 精装
￥778券后￥8280人已购买
优惠券￥50 领券购买 
原版英文英语英文版
英文原版 Type Theory and Formal Proof 类型论和形式证明 Rob Nederpelt 精装英文版进口英语原版书籍
￥778券后￥8280人已购买
优惠券￥50 领券购买 
形式化 International Verification Conference
海外直订Formal Verification of Object-Oriented Software: International Conference, Foveo 面向对象软件的形式化验证：
￥578券后￥5880人已购买
优惠券￥10 领券购买 
预订 Formal Method
【预订】Formal Method
￥1,883券后￥2,0430人已购买
优惠券￥160 领券购买 
分布式 Distributed Techniques Networked
海外直订Formal Techniques for Networked and Distributed Systems - Forte 2004: 24th Ifip 化和分布式系统的正式技
￥543券后￥5530人已购买
优惠券￥10 领券购买 
容错形式化定时 Techniques
海外直订Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: J 定时和容错系统的形式化技术
￥543券后￥5530人已购买
优惠券￥10 领券购买 
原版英文英语英文版
英文原版 Type Theory and Formal Proof 类型论和形式证明 Rob Nederpelt 精装英文版进口英语原版书籍
￥778券后￥8280人已购买
优惠券￥50 领券购买 
9783030908690 预订 Methods Formal
【预订】Formal Methods 9783030908690
￥1,125券后￥1,2050人已购买
优惠券￥80 领券购买 
英文运算英文版原版
英文原版 The Great Formal Machinery Works 大规模正式机器运算数字时代诞生之际的演绎与计算理论 Jan von Plato 精装英文版
￥350.8券后￥380.80人已购买
优惠券￥30 领券购买 
Applications 形式 Methods 海外
海外直订Modern Formal Methods and Applications 现代形式方法和应用
￥1,047券后￥1,0870人已购买
优惠券￥40 领券购买 
9783540761402 Introduction 预订 Systems
【预订】Introduction to the Formal Design of Real-Time Systems 9783540761402
￥514券后￥5480人已购买
优惠券￥34 领券购买 
VDM International Development Software
海外直订VDM '90. VDM and Z - Formal Methods in Software Development: Third International VDM'90。VDM和Z——软
￥543券后￥5530人已购买
优惠券￥10 领券购买 
9783031081651 预订 Software Tasting
【预订】The Logic of Software. A Tasting Menu of Formal Methods 9783031081651
￥1,014券后￥1,0940人已购买
优惠券￥80 领券购买 
原版英文英语英文版
英文原版 Formal Knot Theory 形式结理论 Dover数学丛书英文版进口英语原版书籍
￥99券后￥1090人已购买
优惠券￥10 领券购买 
9783030850364 预订 Modeling Analysis
【预订】Formal Modeling and Analysis of Timed Systems 9783030850364
￥514券后￥5480人已购买
优惠券￥34 领券购买 
形式化 Proceedings CAD Advances
海外直订Advances in Formal Design Methods for CAD: Proceedings of the Ifip Wg5.2 Worksho CAD形式化设计方法的进展：I
￥2,007券后￥2,0670人已购买
优惠券￥60 领券购买 
9783540287551 Applications Artificial 预订
【预订】Artificial Neural Networks: Formal Models and Their Applications – ICANN 2005 9783540287551
￥1,015券后￥1,0950人已购买
优惠券￥80 领券购买 
预售 Internat Methods Formal
【预售】FM 2014: Formal Methods: 19th Internat
￥1,015券后￥1,0950人已购买
优惠券￥80 领券购买 
预售 Methods Biology Interna
【预售】Formal Methods in Macro-Biology: First Interna...
￥491券后￥5250人已购买
优惠券￥34 领券购买 
英文运算英文版原版
英文原版 The Great Formal Machinery Works 大规模正式机器运算数字时代诞生之际的演绎与计算理论 Jan von Plato 精装英文版
￥350.8券后￥380.80人已购买
优惠券￥30 领券购买 
建模 International 定时 Conference
海外直订Formal Modeling and Analysis of Timed Systems: 8th International Conference, FOR 定时系统的正式建模和分析：
￥609券后￥6390人已购买
优惠券￥30 领券购买 

上一页 1 ... 54 55 56 57 58 ... 62 下一页