形式化方法什么牌子好,形式化方法哪里有卖? - 第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  领券购买 
形式化方法大学论及大中专

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

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

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

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

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

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

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

￥6 券后￥7 0人已购买
优惠券￥ 1  领券购买 
论证挖掘论辩形式化

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

￥91 券后￥101.1 0人已购买
优惠券￥ 10.11  领券购买 
形式化方法离散 Dynamical Discrete

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

￥1,698 券后￥1,748 0人已购买
优惠券￥ 50  领券购买 
形式化方法分布式 Distributed Processing

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

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

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

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

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

￥866 券后￥896 0人已购买
优惠券￥ 30  领券购买 
形式化方法 Verification 算法 Algorithms

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

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

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

￥548 券后￥553 0人已购买
优惠券￥ 5  领券购买 
形式化方法离散 Dynamical Discrete

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

￥1,698 券后￥1,748 0人已购买
优惠券￥ 50  领券购买 
形式化方法 Verification Automated Internat

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

￥548 券后￥553 0人已购买
优惠券￥ 5  领券购买 
形式化方法 Industrial 强度 Practice

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

￥1,615 券后￥1,665 0人已购买
优惠券￥ 50  领券购买 
形式化方法 Applications Verification Leveraging

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

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

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

￥571 券后￥576 0人已购买
优惠券￥ 5  领券购买 
形式化方法构件 International Components

海外直订Formal Methods for Components and Objects: First International Symposium, Fmco 2 构件和对象的形式化方法:第

￥548 券后￥553 0人已购买
优惠券￥ 5  领券购买 
结构化 Structured Oriented Language

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

￥529 券后￥534 0人已购买
优惠券￥ 5  领券购买 
形式化方法软件工程 International Engineering

海外直订Software Engineering and Formal Methods: 14th International Conference, Sefm 201 软件工程和形式化方法:第十

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

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

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

海外直订Formal Methods for Multicore Programming: 15th International School on Formal Me 多核编程的形式化方法：第15

￥485 券后￥490 0人已购买
优惠券￥ 5  领券购买 
形式化方法 Integrated Methods 海外

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

￥609 券后￥639 0人已购买
优惠券￥ 30  领券购买 
形式化方法软件工程 Engineering Software

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

￥548 券后￥553 0人已购买
优惠券￥ 5  领券购买 
形式化方法 Discourse 话语 Approach

海外直订A Formal Approach to Discourse Anaphora 话语回指的形式化方法

￥461 券后￥466 0人已购买
优惠券￥ 5  领券购买 
形式化方法 International Conference Industrial

海外直订Formal Methods for Industrial Critical Systems: 27th International Conference, F 工业关键系统的形式化方法:

￥647 券后￥677 0人已购买
优惠券￥ 30  领券购买 
形式化方法软件工程 International Engineering

海外直订Software Engineering and Formal Methods: 10th International Conference, Sefm 201 软件工程和形式化方法:第10

￥545 券后￥550 0人已购买
优惠券￥ 5  领券购买 
形式化方法 Technology 对象 Methods

海外直订Formal Methods and Object Technology 形式化方法与对象技术

￥1,163 券后￥1,193 0人已购买
优惠券￥ 30  领券购买 
形式化方法 Probabilistic International 概率

海外直订Formal Methods for Real-Time and Probabilistic Systems: 5th International Amast 实时和概率系统的形式化方法

￥548 券后￥553 0人已购买
优惠券￥ 5  领券购买 
形式化方法 Fm89 可信 Trustworthy

海外直订Formal Methods for Trustworthy Computer Systems (Fm89): Report from Fm89: A Work 可信计算机系统的形式化方法

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

海外直订Formal Foundations for Software Engineering Methods 软件工程方法的形式化基础

￥548 券后￥553 0人已购买
优惠券￥ 5  领券购买 
形式化方法演算实时 Duration

海外直订Duration Calculus: A Formal Approach to Real-Time Systems 持续时间演算:实时系统的形式化方法

￥1,003 券后￥1,033 0人已购买
优惠券￥ 30  领券购买 
形式化方法 Optimization Behavioral Synthesis

海外直订Power Optimization and Synthesis at Behavioral and System Levels Using Formal Me 使用形式化方法在行为级和系

￥1,157 券后￥1,187 0人已购买
优惠券￥ 30  领券购买 
形式化 Specifications Foundations 实时

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

￥1,520 券后￥1,550 0人已购买
优惠券￥ 30  领券购买 
形式化方法 Formal 体系结构 International

海外直订Formal Methods for Software Architectures: Third International School on Formal 软件体系结构的形式化方法:

￥548 券后￥553 0人已购买
优惠券￥ 5  领券购买 