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

微分可视化几何复分析

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

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

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

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

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

￥94.2 券后￥97.2 0人已购买
优惠券￥ 3  领券购买 
可视化微分几何复分析

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

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

【正版书】形式化方法导论张广泉清华大学出版社

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

【正版书籍】形式化方法导论张广泉清华大学出版社

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

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

￥46.2 券后￥49.2 0人已购买
优惠券￥ 3  领券购买 
大荣科学出版社形式化建模

正版全新平装零信任环境下车联网信息安全传输的形式化建模与分析方法黄大荣科学出版社 9787030816177

￥92 券后￥95 0人已购买
优惠券￥ 3  领券购买 
形式化建模联网下车

零信任环境下车联网信息安全传输的形式化建模与分析方法

￥91.4 券后￥96.2 0人已购买
优惠券￥ 4.81  领券购买 
科学出版社黄大形式化建模

零信任环境下车联网信息传输的形式化建模与分析方法黄大荣等科学出版社9787030816177

￥91.9 券后￥94.9 0人已购买
优惠券￥ 3  领券购买 
大荣形式化建模联网

零信任环境下车联网信息传输的形式化建模与分析方法黄大荣交通运输书籍正版

￥99.7 券后￥102.7 0人已购买
优惠券￥ 3  领券购买 
形式化建模联网下车

零信任环境下车联网信息安全传输的形式化建模与分析方法

￥79.5 券后￥82.5 0人已购买
优惠券￥ 3  领券购买 
大荣形式化人工智能新华书店

零信任环境下车联网信息安全传输的形式化建模与分析方法黄大荣等著计算机控制仿真与人工智能专业科技新华书店正版图书籍

￥83.5 券后￥88.5 0人已购买
优惠券￥ 5  领券购买 
大荣形式化建模 9787030816177

零信任环境下车联网信息传输的形式化建模与分析方法黄大荣中国科技出版传媒股份9787030816177 交通运输书籍

￥99.7 券后￥102.7 0人已购买
优惠券￥ 3  领券购买 
大荣科学出版社形式化建模

正版全新平装零信任环境下车联网信息安全传输的形式化建模与分析方法黄大荣科学出版社 9787030816177

￥92 券后￥95 0人已购买
优惠券￥ 3  领券购买 
大荣科学出版社形式化建模

正版全新平装零信任环境下车联网信息安全传输的形式化建模与分析方法黄大荣科学出版社 9787030816177

￥92 券后￥95 0人已购买
优惠券￥ 3  领券购买 
科学出版社黄大形式化建模

零信任环境下车联网信息传输的形式化建模与分析方法黄大荣等科学出版社9787030816177

￥91.9 券后￥94.9 0人已购买
优惠券￥ 3  领券购买 
形式化建模联网下车

零信任环境下车联网信息安全传输的形式化建模与分析方法

￥90.1 券后￥97.1 0人已购买
优惠券￥ 7  领券购买 
形式化建模联网下车

零信任环境下车联网信息安全传输的形式化建模与分析方法

￥93.5 券后￥97.5 0人已购买
优惠券￥ 4  领券购买 
大荣科学出版社形式化建模

正版全新平装零信任环境下车联网信息安全传输的形式化建模与分析方法黄大荣科学出版社 9787030816177

￥92 券后￥95 0人已购买
优惠券￥ 3  领券购买 
科学出版社黄大形式化建模

零信任环境下车联网信息传输的形式化建模与分析方法黄大荣等科学出版社9787030816177

￥91.9 券后￥94.9 0人已购买
优惠券￥ 3  领券购买 
切除图谱肿瘤骨肿瘤

【赠手术视频】骨肿瘤标准化图谱图谱的形式详细阐述手术过程和方法肿瘤切除肿瘤切除北京大学医学出版社

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

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

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

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

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

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

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

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

￥36.4 券后￥41.4 0人已购买
优惠券￥ 5  领券购买 
形式化方法软件工程语言

软件工程形式化方法与语言

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

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

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

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

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

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

￥97.1 券后￥101.1 0人已购买
优惠券￥ 4.04  领券购买 
形式化方法 Integrated Methods 海外

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

￥503 券后￥553 0人已购买
优惠券￥ 50  领券购买 
形式化方法分布式 Distributed Processing

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

￥1,549 券后￥1,649 0人已购买
优惠券￥ 100  领券购买 
形式化方法 Verification 算法 Algorithms

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

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

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

￥1,657 券后￥1,757 0人已购买
优惠券￥ 100  领券购买 
形式化方法 Computer Methods Science

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

￥846 券后￥896 0人已购买
优惠券￥ 50  领券购买 
逻辑形式化方法 Nonmonotonic 单调

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

￥893 券后￥943 0人已购买
优惠券￥ 50  领券购买 
形式化方法离散 Dynamical Discrete

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

￥1,657 券后￥1,757 0人已购买
优惠券￥ 100  领券购买 
形式化方法定量 Quantitative Evaluation

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

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

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

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

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

￥484 券后￥534 0人已购买
优惠券￥ 50  领券购买 