关注微信公众号查券更方便
软件工程形式化方法与语言/吴江琴 李莹
高考基础乐理解析音乐正版包邮
工业数据分析工程:基于CRISP-DM的形式化方法 田春华 工业大数据分析师必读田春华 解光耀 裴忠一 等数据库专业科技
正版图书 形式化方法在构件组装实时系统中的应用研究席琳马传连中央民族大学出版社有限责任公司
正版图书 软件开发的形式化方法古天龙高等教育出版社
现代逻辑与形式化方法清华蔡曙山视频
官网正版机械工业出版社
机械工业出版官网正版
嵌入式软件系统测试 基于形式化方法的自动化测试解决方案 1版,殷
【官方正版新书】 形式化方法导论(第2版) 张广泉 清华大学出版社 形式语言-高等学校-教材
【正版书包邮】软件工程形式化方法与语言李莹吴江琴浙江大学出版社
【纸版图书】T/CIE130-2022区块链智能合约形式化设计与验证方法
【纸版图书】T/CIE130-2022区块链 智能合约 形式化设计与验证方法
封锁机场跑道的SEA建模与评估方法 效能 作战效能与效能分析方法 选取效能指标的原则 效能函数的形式化描述 打击封锁机场的意义
官方旗舰店 智能合约工程 智能合约工程化开发方法智能合约法律化形式化设计验证方法并行化 区块链智能合约研究开发参考书 胡凯
【正版书籍】形式化方法导论 21世纪高等学校计算机专业实用规划教材 张广泉
包邮 软件工程形式化方法与语言(高等院校精品教材) 李莹//吴江琴 9787308066679 浙江大学出版社
形式化方法理论及应用 华保健编著 中国科学技术大学一流规划教材书籍 中国科学技术大学出版社9787312058752
二手正版形式化方法导论/21世纪高等学校计算机专业实用规划教材张广泉清华大学出版社9787302411611
工业数据分析工程 基于CRISP-DM的形式化方法 田春华 解光耀 裴忠一 9787111759799 机械工业出版
正版-工业数据分析工程:基于CRISP-DM的形式化方法机械工业出版社9787111759799
正版-形式化方法导论第二版清华大学9787302626602
正版-法律知识形式化管理理论及工程方法经济管理9787509672082
正版图书法律知识形式化管理理论及工程方法刘振宇|责编:高娅经济管理9787509672082
T/CIE 130-2022 区块链 智能合约形式化设计与验证方法
形式化方清华大学出版社
【全2册】可视化微分几何和形式 +复分析可视化方法 微分几何微分形式可视化几何相对论常微分方程数学本科大专教材数学之美书籍
正版包邮 领域专用计算 结构与应用 中国科学技术大学一流规划教材 王超 等 编著 中国科大出版社 形式化方法 理论及应用
形式化方法:理论及应用 中国科学技术大学一流规划教材 华保健 编著 中国科学技术大学出版社
正版包邮 工业数据分析工程 基于CRISP-DM的形式化方法 田春华 解光耀 裴忠一 9787111759799 机械工业出版
新华正版 工业数据分析工程基于CRISPDM的形式化方法数字化工厂与智能制造丛书 畅销书 图书籍
区块链智能合约形式化设计与验证
T/CIE 130-2022区块链 智能合约形式化设计与验证方法
形式化清华大学出版社
形式化方法导论(第2版) 张广泉 清华大学出版社
形式化方法导论(第2版) 张广泉 形式语言-高等学校-教材9787302626602 清华大学出版社全新正版
【全新正版】 软件工程形式化方法与语言 /教材//教材/大学教材 9787308066679
【全新正版】 嵌入式软件系统测试:基于形式化方法的自动化测试解决方案 计算机/网络/计算机软件工程(新) 9787111672425
正版可视化微分几何和形式 复分析可视化方法 全2册 人民邮电出版社 微分几何微分形式可视化几何相对论常微分方程数学本科教材书
工业数据分析工程 基于CRISP-DM的形式化方法 田春华 解光耀 裴忠一 等 机械工业出版社9787111759799预售
工业数据分析工程:基于CRISP-DM的形式化方法
正版 精益管理理论与应用 蔺宇 齐二石 工业工程 丰田 技术体系 自动化 思想 文化 方法体系 布局设计 流动形式 准时化生产
2024新书 形式化方法 理论及应用 华保健 研究生系列教材 信息计算机类 形式建模性质推理书 中国科学技术大学出版社9787312058752
软件工程形式化方法与语言(高等院校精品教
软件工程形式化方法与语言(高等院校精品教材)
【新华文轩】软件工程形式化方法与语言 吴江琴,李莹 著作 正版书籍 新华书店旗舰店文轩官网 浙江大学出版社
软件工程形式化方法与语言 吴江琴,李莹 著作 著 大学教材大中专 新华书店正版图书籍 浙江大学出版社
软件工程形式化方法与语言:吴江琴,李莹 著作 大中专公共计算机 大中专 浙江大学出版社 图书
【新华文轩】形式化方法在构件组装实时系统中的应用研究 席琳马传连 正版书籍 新华书店旗舰店文轩官网 中央民族大学出版社
形式化方法在构件组装实时系统中的应用研究 博库网
形式化方法在构件组装实时系统中的应用研究
【当当网正版书籍】软件工程形式化方法与语言
【当当网正版书籍】形式化方法在构件组装实时系统中的应用研究
高等量子力学 闫学群 量子力学基础教材书籍 二次量子化方法 辐射场的量子化及其与物质的相互作用 形式散射理论 相对论量子力学
循环流化床锅炉技术1000问 循环流化床锅炉培训教材 以问答形式介绍循环流化床锅炉基础知识及运行设备事故处理方法书籍
幼儿园大型活动组织与策划手册 李春玲 著 使舞台化 形式化的大型活动变得生活化 课程化 各类大型活动的组织与指导方法书籍
嵌入式软件系统测试 基于形式化方法的自动化测试解决方案 殷永峰,姜博 编 程序设计(新)专业科技 新华书店正版图书籍
【新华文轩】嵌入式软件系统测试 基于形式化方法的自动化测试解决方案 正版书籍 新华书店旗舰店文轩官网 机械工业出版社
正版包邮 嵌入式软件系统测试:基于形式化方法的自动化测试解决方案殷永峰书店计算机与网络机械工业出版社书籍 读乐尔畅销书
法律知识形式化管理理论及工程方法
海外直订Domain Modeling-Based Software Engineering: A Formal Approach 基于领域建模的软件工程:一种形式化方法
海外直订Formal Methods for Distributed Processing: A Survey of Object-Oriented Approache 分布式处理的形式化方法:面向
海外直订Formal Methods in Standards: A Report from the BCS Working Group 标准中的形式化方法:BCS工作组的一份报告
海外直订Verification of Reactive Systems: Formal Methods and Algorithms 反应系统的验证:形式化方法和算法
海外直订Integrated Formal Methods 综合形式化方法
【当当网正版书籍】法律知识形式化管理理论及工程方法
博物馆陈列展览设计数字化管理
海外直订Formal Methods for Discrete-Time Dynamical Systems 离散时间动力系统的形式化方法
海外直订Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7-11, 形式化方法。FM 2019国际
海外直订Formal Methods for Nonmonotonic and Related Logics: Vol I: Preference and Size 非单调逻辑和相关逻辑的形式化方法
海外直订Integration of Processes using Formal Methods 使用形式化方法集成过程
海外直订Formal Methods for Open Object-Based Distributed Systems: Volume 2 基于开放对象的分布式系统的形式化方法:第2卷
【当当网 正版书籍】软件工程形式化方法与语言
海外直订Formal Methods in Manufacturing Systems: Recent Advances 制造系统的形式化方法:最新进展
海外直订Formal Methods and Object Technology 形式化方法与对象技术
海外直订Advances in Formal Design Methods for CAD: Proceedings of the Ifip Wg5.2 Worksho CAD形式化设计方法的进展:I
海外直订Formal Methods for Open Object-Based Distributed Systems: Volume 1 基于开放对象的分布式系统的形式化方法:第1卷
海外直订Formal Methods in Computer Science 计算机科学中的形式化方法