Formal什么牌子好,Formal哪里有卖? - 第65页 - 农业优选

全部>“Formal” 共2644个商品

国际会议 International 语法 Conference

海外直订Formal Grammar: 14th International Conference, FG 2009, Bordeaux, France, July 2 正式语法:第十四届国际会议

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
预订 Methods Formal NASA

【预订】NASA Formal Methods

￥621 券后￥711 0人已购买
优惠券￥ 90  领券购买 
Databases 预订 Oracle Tuning

【预订】Formal SQL Tuning for Oracle Databases

￥513 券后￥603 0人已购买
优惠券￥ 90  领券购买 
精装 Nederpelt 证明形式

Type Theory and Formal Proof 类型论和形式证明 Rob Nederpelt 精装

￥728 券后￥828 0人已购买
优惠券￥ 100  领券购买 
代数证明形式 Algebra

海外直订Formal Proofs in Maths: Book 1 First Order Algebra 数学形式证明：第一册一阶代数

￥506 券后￥556 0人已购买
优惠券￥ 50  领券购买 
Manufacturing 预订 Methods Formal

【预订】Formal Methods in Manufacturing

￥2,277 券后￥2,577 0人已购买
优惠券￥ 300  领券购买 
Perspective Technology 预订 Formal

【预订】Agent Technology from a Formal Perspective

￥1,463 券后￥1,643 0人已购买
优惠券￥ 180  领券购买 
Techniques Modelling 预订 Tolerant

【预订】Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

￥458 券后￥548 0人已购买
优惠券￥ 90  领券购买 
Probabilistic 预订 Systems Methods

【预订】Formal Methods for Real-Time and Probabilistic Systems

￥458 券后￥548 0人已购买
优惠券￥ 90  领券购买 
Industrial 预订 Systems Complex

【预订】Formal Methods Applied To Industrial Complex Systems

￥2,266 券后￥2,566 0人已购买
优惠券￥ 300  领券购买 
Engineering 预订 Software Methods

【预订】Formal Methods and Software Engineering

￥915 券后￥1,095 0人已购买
优惠券￥ 180  领券购买 
Applications 预订 Methods Formal

【预订】Modern Formal Methods and Applications

￥1,025 券后￥1,205 0人已购买
优惠券￥ 180  领券购买 
Verification 预订 Circuits Formal

【预订】Formal Verification of Circuits

￥1,463 券后￥1,643 0人已购买
优惠券￥ 180  领券购买 
理系统建模 International Verification

海外直订Formal Modeling and Verification of Cyber-Physical Systems: 1st International Su 物理系统的正式建模与验

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
Integrated 预订 Methods Formal

【预订】Integrated Formal Methods

￥458 券后￥548 0人已购买
优惠券￥ 90  领券购买 
Distributed Techniques Networked 预订

【预订】Formal Techniques for Networked and Distributed Systems - FORTE 2003

￥458 券后￥548 0人已购买
优惠券￥ 90  领券购买 
Distributed 预订 Methods Systems

【预订】Formal Methods for Open Object-Based Distributed Systems

￥458 券后￥548 0人已购买
优惠券￥ 90  领券购买 
预订 Methods Formal 2003

【预订】FME 2003: Formal Methods

￥915 券后￥1,095 0人已购买
优惠券￥ 180  领券购买 
预订 Analysis Modeling Systems

【预订】Formal Modeling and Analysis of Timed Systems

￥458 券后￥548 0人已购买
优惠券￥ 90  领券购买 
Fortest Selected Revised Outcome

海外直订Formal Methods and Testing: An Outcome of the Fortest Network. Revised Selected 正式方法和测试：Fortest

￥503 券后￥553 0人已购买
优惠券￥ 50  领券购买 
Distributed Techniques 预订 Formal

【预订】Formal Techniques for Distributed Ob...

￥458 券后￥548 0人已购买
优惠券￥ 90  领券购买 
Techniques Processes 预订 Business

【预订】Formal Techniques for Computer Systems and Business Processes

￥458 券后￥548 0人已购买
优惠券￥ 90  领券购买 
Specification 预订 Notation Formal

【预订】ZUM ’98: The Z Formal Specification Notation

￥458 券后￥548 0人已购买
优惠券￥ 90  领券购买 
Engineering Foundations 预订 Software

【预订】Formal Foundations for Software Engineering Methods

￥458 券后￥548 0人已购买
优惠券￥ 90  领券购买 
非正式 Hospitality 城镇招待

海外直订Hospitality in Town and Country with Usages: Formal and Informal 城镇和乡村的招待方式：正式和非正式

￥211 券后￥226 0人已购买
优惠券￥ 15  领券购买 
9781441954206 Verification 预订 Advanced

【预订】Advanced Formal Verification 9781441954206

￥915 券后￥1,095 0人已购买
优惠券￥ 180  领券购买 
International Structured 预订 Language

【预订】Structured Object-Oriented Formal Language and Method: 9th International Workshop, Sofl+msvl 2019, Shenzhe...

￥458 券后￥548 0人已购买
优惠券￥ 90  领券购买 
9783030906351 Component 预订 Software

【预订】Formal Aspects of Component Software 9783030906351

￥432 券后￥492 0人已购买
优惠券￥ 60  领券购买 
形式化模块化 Specification Engineering

海外直订Formal Specification Techniques for Engineering Modular C Programs 工程模块化C程序的形式化规范技术

￥1,888 券后￥1,988 0人已购买
优惠券￥ 100  领券购买 
Pictorial 预订 Aspects Formal

【预订】Pictorial and Formal Aspects of Shap...

￥458 券后￥548 0人已购买
优惠券￥ 90  领券购买 
Specifications Foundations 实时 Computing

海外直订Foundations of Real-Time Computing: Formal Specifications and Methods 实时计算的基础：形式规范和方法

￥1,888 券后￥1,988 0人已购买
优惠券￥ 100  领券购买 
预售 Complaint Bill's Formal

【预售】Bill's Formal Complaint

￥222 券后￥252 0人已购买
优惠券￥ 30  领券购买 
Techniques 预订 Tolerant Systems

【预订】Formal Techniques in Real-Time and Fault-Tolerant Systems

￥458 券后￥548 0人已购买
优惠券￥ 90  领券购买 
项目开发 Ifip Development 2.1

海外直订Formal Program Development: Ifip Tc2/Wg 2.1 State-Of-The-Art Report 正式项目开发：Ifip Tc2/Wg 2.1最新报告

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
International Conference 组件 Component

海外直订Formal Aspects of Component Software: 16th International Conference, Facs 2019, 组件软件的正式方面：第16届

￥484 券后￥534 0人已购买
优惠券￥ 50  领券购买 
2009 Methods 海外正式

海外直订FM 2009: Formal Methods FM 2009：正式方法

￥1,225 券后￥1,325 0人已购买
优惠券￥ 100  领券购买 
分布式 Distributed 基于对象

海外直订Formal Methods for Open Object-Based Distributed Systems: Ifip Tc6 / Wg6.1 Third 基于开放对象的分布式系统的

￥2,551 券后￥2,651 0人已购买
优惠券￥ 100  领券购买 
形式化方法 Formal International Dynamical

海外直订Formal Methods for Dynamical Systems: 13th International School on Formal Method 动力系统的形式化方法：第13

￥461 券后￥491 0人已购买
优惠券￥ 30  领券购买 
预订 Method Formal

【预订】Formal Method

￥1,743 券后￥2,043 0人已购买
优惠券￥ 300  领券购买 
分布式 Distributed Techniques Networked

海外直订Formal Techniques for Networked and Distributed Systems - Forte 2006: 26th Ifip 化和分布式系统的正式技

￥1,093 券后￥1,193 0人已购买
优惠券￥ 100  领券购买 

上一页 1 ... 63 64 65 66 67 下一页

扫描二维码打开

关于我们: 关于我们; 联系我们; 新浪微博; QQ空间; 腾讯微博

商务合作: 卖家报名; 免责声明; 广告合作; APP客户端

用户帮助: 常见问题; 抢购小技巧; 消费者保障

会员中心: 我的收藏; 免费注册; 登录本站; 找回密码

最新资讯：

农业优选　　Copyright © 2010 - 2021 http://gsslszz.yuncomcn.com/ All Rights Reserved