形式化方法什么牌子好,形式化方法哪里有卖? - 第1页

微分可视化几何复分析

【全2册】可视化微分几何和形式 +复分析可视化方法微分几何微分形式可视化几何相对论常微分方程数学本科大专教材数学之美书籍

￥178 券后￥188 0人已购买
优惠券￥ 10  领券购买 
微分可视化几何复分析

【全2册】可视化微分几何和形式 +复分析可视化方法微分几何微分形式可视化几何相对论常微分方程数学本科大专教材数学之美书籍

￥168 券后￥188 0人已购买
优惠券￥ 20  领券购买 
可视化微分几何复分析

【2本套】复分析可视化方法+可视化微分几何和形式图灵数学之美微积分微分几何可视化本科专科教材正版书籍

￥221.9 券后￥241.9 0人已购买
优惠券￥ 20  领券购买 
可视化尼达姆复分析特里斯坦

【套装2册】可视化微分几何和形式:一部五幕数学正剧+复分析:可视化方法图灵数学经典 (美)特里斯坦·尼达姆著新华官网正版书籍

￥206.1 券后￥229 0人已购买
优惠券￥ 22.9  领券购买 
清华大学出版社广泉形式化方法导论

【官方正版新书】形式化方法导论（第2版）张广泉清华大学出版社形式语言－高等学校－教材

￥55.2 券后￥69 0人已购买
优惠券￥ 13.8  领券购买 
席琳连中形式化方法构件

正版】形式化方法在构件组装实时系统中的应用研究席琳马传连著席琳马传连中央民族大学出版社有限责任公司9787566016683

￥37 券后￥39 0人已购买
优惠券￥ 2  领券购买 
清华大学出版社广泉形式化方法手书

二手书形式化方法导论/21世纪高等学校计算机专业实用规划教材张广泉清华大学出版社9787302411611

￥10.8 券后￥11.8 0人已购买
优惠券￥ 1  领券购买 
浙江大学李莹形式化方法软件工程

二手软件工程形式化方法与语言李莹浙江大学出版社

￥6 券后￥7 0人已购买
优惠券￥ 1  领券购买 
高等教育出版社天龙形式化方法软件开发

【正版书】软件开发的形式化方法古天龙　编高等教育出版社

￥40.4 券后￥41.4 0人已购买
优惠券￥ 1  领券购买 
浙江大学李莹形式化方法软件工程

二手软件工程形式化方法与语言李莹浙江大学出版社

￥6 券后￥7 0人已购买
优惠券￥ 1  领券购买 
形式化方法工业 CRISP 春华

工业数据分析工程基于CRISP-DM的形式化方法机械工业出版社田春华等著 CRISP-DM方法的实战“套用”指南数据库正版

￥94 券后￥99 0人已购买
优惠券￥ 5  领券购买 
医学知识中国协和医科大学图谱结构化

医学知识图谱构建方法与应用实践方安等编以图谱的形式进行结构化表达从而有效地组织庞大的医学知识资中国协和医科大学出版社

￥86 券后￥90 0人已购买
优惠券￥ 4  领券购买 
医学知识中国协和医科大学图谱结构化

医学知识图谱构建方法与应用实践方安等编以图谱的形式进行结构化表达从而有效地组织庞大的医学知识资中国协和医科大学出版社

￥76.8 券后￥79.8 0人已购买
优惠券￥ 3  领券购买 
广泉形式化方法导论高等学校

【正版】形式化方法导论 21世纪高等学校计算机专业实用规划教材张广泉

￥18 券后￥19 0人已购买
优惠券￥ 1  领券购买 
体系丰田工业工程管理理论

精益管理理论与应用蔺宇齐二石工业工程丰田技术体系自动化思想文化方法体系布局设计流动形式准时化生产

￥46.2 券后￥49.2 0人已购买
优惠券￥ 3  领券购买 
清华大学出版社广泉形式化方法导论

【官方正版新书】形式化方法导论（第2版）张广泉清华大学出版社形式语言－高等学校－教材

￥56.1 券后￥59.1 0人已购买
优惠券￥ 3  领券购买 
形式化方法大学论及大中专

形式化方法理论及应用华保健编大学教材大中专新华书店正版图书籍中国科学技术大学出版社

￥56.4 券后￥61.4 0人已购买
优惠券￥ 5  领券购买 
论证挖掘论辩形式化

论证挖掘与论证形式化鞠实儿广义论证本土化研究程序与机器学习论证模式论证元素及结构抽象论辩理论证挖掘方法论证科学人工智能

￥91 券后￥101.1 0人已购买
优惠券￥ 10.11  领券购买 
论证挖掘论辩形式化

论证挖掘与论证形式化鞠实儿广义论证本土化研究程序与机器学习论证模式论证元素及结构抽象论辩理论证挖掘方法论证科学人工智能

￥97.1 券后￥101.1 0人已购买
优惠券￥ 4.04  领券购买 
形式化方法 Formal 软件工程 International

海外直订Formal Methods and Software Engineering: 16th International Conference on Formal 形式化方法与软件工程:第16

￥609 券后￥639 0人已购买
优惠券￥ 30  领券购买 
形式化方法 Industrial Critical Methods

海外直订Formal Methods for Industrial Critical Systems 工业关键系统的形式化方法

￥485 券后￥490 0人已购买
优惠券￥ 5  领券购买 
形式化方法分布式 Distributed Processing

海外直订Formal Methods for Distributed Processing: A Survey of Object-Oriented Approache 分布式处理的形式化方法：面向

￥1,599 券后￥1,649 0人已购买
优惠券￥ 50  领券购买 
形式化方法离散 Dynamical Discrete

海外直订Formal Methods for Discrete-Time Dynamical Systems 离散时间动力系统的形式化方法

￥1,698 券后￥1,748 0人已购买
优惠券￥ 50  领券购买 
逻辑形式化方法 Nonmonotonic 单调

海外直订Formal Methods for Nonmonotonic and Related Logics: Vol I: Preference and Size 非单调逻辑和相关逻辑的形式化方法

￥913 券后￥943 0人已购买
优惠券￥ 30  领券购买 
形式化方法 Integrated Methods 海外

海外直订Integrated Formal Methods 综合形式化方法

￥548 券后￥553 0人已购买
优惠券￥ 5  领券购买 
形式化方法 Applications Foundations Methods

海外直订Formal Methods: Foundations and Applications 形式化方法：基础与应用

￥529 券后￥534 0人已购买
优惠券￥ 5  领券购买 
形式化方法 Verification 算法 Algorithms

海外直订Verification of Reactive Systems: Formal Methods and Algorithms 反应系统的验证：形式化方法和算法

￥548 券后￥553 0人已购买
优惠券￥ 5  领券购买 
形式化方法 NASA Methods 海外

海外直订NASA Formal Methods NASA形式化方法

￥529 券后￥534 0人已购买
优惠券￥ 5  领券购买 
Methods 形式化方法 Formal International

海外直订Formal Methods for Web Services: 9th International School on Formal Methods for 服务的形式化方法:第九

￥571 券后￥576 0人已购买
优惠券￥ 5  领券购买 
形式化方法 Computer Methods Science

海外直订Formal Methods in Computer Science 计算机科学中的形式化方法

￥866 券后￥896 0人已购买
优惠券￥ 30  领券购买 
形式化方法 Integrated Methods 海外

海外直订Integrated Formal Methods 综合形式化方法

￥609 券后￥639 0人已购买
优惠券￥ 30  领券购买 
形式化方法 Industrial 强度 Practice

海外直订Industrial-Strength Formal Methods in Practice 工业强度形式化方法的实践

￥1,615 券后￥1,665 0人已购买
优惠券￥ 50  领券购买 
形式化方法离散 Dynamical Discrete

海外直订Formal Methods for Discrete-Time Dynamical Systems 离散时间动力系统的形式化方法

￥1,698 券后￥1,748 0人已购买
优惠券￥ 50  领券购买 
结构化 Structured Oriented Language

海外直订Structured Object-Oriented Formal Language and M... 结构化面向对象形式语言与方法

￥529 券后￥534 0人已购买
优惠券￥ 5  领券购买 
形式化方法分布式 Distributed Development

海外直订Formal Methods for Distributed System Development: Forte / Pstv 2000 Ifip Tc6 Wg 分布式系统开发的形式化方法

￥2,017 券后￥2,067 0人已购买
优惠券￥ 50  领券购买 
形式化方法软件工程 International Engineering

海外直订Software Engineering and Formal Methods: 9th International Conference, SEFM 2011 软件工程和形式化方法：第9

￥548 券后￥553 0人已购买
优惠券￥ 5  领券购买 
形式化方法 Applications Verification Leveraging

海外直订Leveraging Applications of Formal Methods, Verification and Validation. Technolo 利用形式化方法的应用，验证

￥548 券后￥553 0人已购买
优惠券￥ 5  领券购买 
形式化方法定量 Quantitative Evaluation

海外直订Formal Methods for the Quantitative Evaluation o... 集体适应系统定量评价的形式化方法

￥510 券后￥515 0人已购买
优惠券￥ 5  领券购买 
形式化方法 Verification Automated Internat

海外直订Critical Systems: Formal Methods and Automated Verification: Joint 21st Internat 关键系统：形式化方法和自动

￥548 券后￥553 0人已购买
优惠券￥ 5  领券购买 
形式化方法软件工程 Engineering Software

海外直订Formal Methods and Software Engineering 形式化方法与软件工程“，

￥529 券后￥534 0人已购买
优惠券￥ 5  领券购买 