安卓客户端
    排序： 综合 有券 销量↓ 价格↑ 人气↓
    价格： 全部 ￥0 - 200 ￥200 - 500 ￥500以上

    ￥ -

    颜色：
    【新华文轩】形式化方法 理论及应用 正版书籍 新华书店旗舰店文轩官网 中国科学技术大学出版社

    文轩形式化方法论及新华

    ￥56.6
    4
    新华文轩旗舰
    新华文轩旗舰

    发布了

    【新华文轩】形式化方法 理论及应用 正版书籍 新华书店旗舰店文轩官网 中国科学技术大学出版社
    当当网 拉格朗日力学理论的形式化与机器人动力学形式化分析 计算机/网络 科学出版社 正版书籍

    形式化拉格科学出版社朗日

    ￥69.7
    6
    当当网官方旗舰店
    当当网官方旗舰店

    发布了

    当当网 拉格朗日力学理论的形式化与机器人动力学形式化分析 计算机/网络 科学出版社 正版书籍
    新书现货 形式化方法：理论及应用 中国科学技术大学一流规划教材 华保健 编著 中国科大出版社旗舰店

    中国科大形式化方法论及旗舰店

    ￥57
    21
    中国科大出版社旗舰店
    中国科大出版社旗舰店

    发布了

    新书现货 形式化方法：理论及应用 中国科学技术大学一流规划教材 华保健 编著 中国科大出版社旗舰店
    【新华文轩】形式化方法导论 第2版 正版书籍 新华书店旗舰店文轩官网 清华大学出版社

    文轩清华大学出版社形式化方法新华

    ￥51.8
    15
    新华文轩旗舰
    新华文轩旗舰

    发布了

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

    清华大学出版社广泉形式化方法导论

    ￥51.1
    1
    深蓝图书专营店
    深蓝图书专营店

    发布了

    【官方正版新书】形式化方法导论（第2版） 张广泉 清华大学出版社 形式语言－高等学校－教材
    软件安全性需求形式化建模和验证 李震 著 软件工程专业科技 新华书店正版图书籍 江苏大学出版社

    江苏大学形式化软件工程新华书店

    ￥26
    1
    新华在线图书专营店
    新华在线图书专营店

    发布了

    软件安全性需求形式化建模和验证 李震 著 软件工程专业科技 新华书店正版图书籍 江苏大学出版社
    论证挖掘与论证形式化 鞠实儿 广义论证本土化研究程序与机器学习论证模式论证元素及结构抽象论辩理论证挖掘方法论证科学人工智能
    10.1 元券

    论证挖掘论辩形式化

    ￥91
    0
    昱欣图书专营店
    昱欣图书专营店

    发布了

    论证挖掘与论证形式化 鞠实儿 广义论证本土化研究程序与机器学习论证模式论证元素及结构抽象论辩理论证挖掘方法论证科学人工智能
    正版书籍 矩阵结构与矩阵函数的形式化 施智平等 科学出版社 9787030763303
    6.2 元券

    矩阵科学出版社形式化9787030763303

    ￥55.4
    0
    金卫图书音像专营店
    金卫图书音像专营店

    发布了

    正版书籍 矩阵结构与矩阵函数的形式化 施智平等 科学出版社 9787030763303
    正版书籍 矩阵结构与矩阵函数的形式化 施智平等 科学出版社 9787030763303
    6.2 元券

    矩阵科学出版社形式化9787030763303

    ￥55.4
    0
    昱欣图书专营店
    昱欣图书专营店

    发布了

    正版书籍 矩阵结构与矩阵函数的形式化 施智平等 科学出版社 9787030763303
    论证挖掘与论证形式化 博库网
    15 元券

    论证博库形式化挖掘

    ￥86.1
    0
    博库旗舰店
    博库旗舰店

    发布了

    论证挖掘与论证形式化 博库网
    正版图书 软件开发的形式化方法古天龙高等教育出版社
    6 元券

    高等教育出版社天龙形式化方法软件开发

    ￥40
    0
    英喆旗舰店
    英喆旗舰店

    发布了

    正版图书 软件开发的形式化方法古天龙高等教育出版社
    分数阶系统高阶逻辑形式化验证 赵春娜 蒋慕蓉9787030622068科学出版社
    15.3 元券

    慕蓉科学出版社赵春形式化

    ￥102.4
    0
    阳沐园图书音像专营店
    阳沐园图书音像专营店

    发布了

    分数阶系统高阶逻辑形式化验证 赵春娜 蒋慕蓉9787030622068科学出版社
    分数阶系统高阶逻辑形式化验证 赵春娜 蒋慕蓉9787030622068科学出版社
    15.3 元券

    慕蓉科学出版社赵春形式化

    ￥102.4
    0
    恒安泰图书音像专营店
    恒安泰图书音像专营店

    发布了

    分数阶系统高阶逻辑形式化验证 赵春娜 蒋慕蓉9787030622068科学出版社
    语用寓义推理形式化研究毛眺源9787030704078科学出版社
    10.1 元券

    科学出版社语用形式化9787030704078

    ￥67.3
    0
    恒安泰图书音像专营店
    恒安泰图书音像专营店

    发布了

    语用寓义推理形式化研究毛眺源9787030704078科学出版社
    语用寓义推理形式化研究毛眺源9787030704078科学出版社
    10.1 元券

    科学出版社语用形式化9787030704078

    ￥67.3
    0
    阳沐园图书音像专营店
    阳沐园图书音像专营店

    发布了

    语用寓义推理形式化研究毛眺源9787030704078科学出版社
    电子商务领域事件语义形式化描写研究
    3 元券

    形式化语义描写领域

    ￥20.6
    0
    华智书源图书专营店
    华智书源图书专营店

    发布了

    电子商务领域事件语义形式化描写研究
    分数阶系统高阶逻辑形式化验证 博库网
    15 元券

    博库形式化高阶分数

    ￥109
    0
    博库旗舰店
    博库旗舰店

    发布了

    分数阶系统高阶逻辑形式化验证 博库网
    论证挖掘与论证形式化 鞠实儿 等9787030734679科学出版社
    12.1 元券

    论证科学出版社形式化9787030734679

    ￥89
    0
    阳沐园图书音像专营店
    阳沐园图书音像专营店

    发布了

    论证挖掘与论证形式化 鞠实儿 等9787030734679科学出版社
    论证挖掘与论证形式化 鞠实儿 等9787030734679科学出版社
    12.1 元券

    论证科学出版社形式化9787030734679

    ￥89
    0
    恒安泰图书音像专营店
    恒安泰图书音像专营店

    发布了

    论证挖掘与论证形式化 鞠实儿 等9787030734679科学出版社
    安全协议形式化分析与验证 肖美华 著 科学出版社
    10.3 元券

    美华科学出版社形式化验证

    ￥75.8
    0
    恒安泰图书音像专营店
    恒安泰图书音像专营店

    发布了

    安全协议形式化分析与验证 肖美华 著 科学出版社
    矩阵结构与矩阵函数的形式化9787030763303施智平等科学出版社
    7.4 元券

    矩阵科学出版社形式化9787030763303

    ￥54.2
    0
    阳沐园图书音像专营店
    阳沐园图书音像专营店

    发布了

    矩阵结构与矩阵函数的形式化9787030763303施智平等科学出版社
    矩阵结构与矩阵函数的形式化9787030763303施智平等科学出版社
    7.4 元券

    矩阵科学出版社形式化9787030763303

    ￥54.2
    0
    恒安泰图书音像专营店
    恒安泰图书音像专营店

    发布了

    矩阵结构与矩阵函数的形式化9787030763303施智平等科学出版社
    安全协议形式化分析与验证 肖美华 著 科学出版社
    10.3 元券

    美华科学出版社形式化验证

    ￥75.8
    0
    阳沐园图书音像专营店
    阳沐园图书音像专营店

    发布了

    安全协议形式化分析与验证 肖美华 著 科学出版社
    哈密顿力学理论的形式化与机器人动力学形式化分析9787030532046施智平等科学出版社
    8.4 元券

    形式化哈密科学出版社动力学

    ￥61.9
    0
    阳沐园图书音像专营店
    阳沐园图书音像专营店

    发布了

    哈密顿力学理论的形式化与机器人动力学形式化分析9787030532046施智平等科学出版社
    哈密顿力学理论的形式化与机器人动力学形式化分析9787030532046施智平等科学出版社
    8.4 元券

    形式化哈密科学出版社动力学

    ￥61.9
    0
    恒安泰图书音像专营店
    恒安泰图书音像专营店

    发布了

    哈密顿力学理论的形式化与机器人动力学形式化分析9787030532046施智平等科学出版社
    【新华正版】工业数据分析工程(基于CRISP-DM的形式化方法)/数字化工厂与智能制造丛书 田春华 机械工业
    3.7 元券

    形式化方法工业春华新华

    ￥70.6
    0
    临海市新华书店图书专营店
    临海市新华书店图书专营店

    发布了

    【新华正版】工业数据分析工程(基于CRISP-DM的形式化方法)/数字化工厂与智能制造丛书 田春华 机械工业
    形式化框架下置换和查找类算法的组装生成
    4.3 元券

    形式化置换组装算法

    ￥49.4
    0
    昱欣图书专营店
    昱欣图书专营店

    发布了

    形式化框架下置换和查找类算法的组装生成
    T/CIE 095-2020区块链智能合约形式化表达
    2 元券

    形式化区块合约表达

    ￥15.6
    0
    兴科图书专营店
    兴科图书专营店

    发布了

    T/CIE 095-2020区块链智能合约形式化表达
    预售 按需印刷 Formal versus explanatory generalizations in generative transformational grammar生成转换语法中的形式化概括
    208.3 元券

    形式化transformational预售generalizations

    ￥1874.7
    0
    中图数字图书专营店
    中图数字图书专营店

    发布了

    预售 按需印刷 Formal versus explanatory generalizations in generative transformational grammar生成转换语法中的形式化概括
    海外直订Formal Methods for Dynamical Systems: 13th International School on Formal Method 动力系统的形式化方法：第13
    50 元券

    形式化方法FormalInternationalDynamical

    ￥454
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Formal Methods for Dynamical Systems: 13th International School on Formal Method 动力系统的形式化方法：第13
    海外直订Formal Modeling and Analysis of Timed Systems: 17th International Conference, Fo 定时系统的形式化建模与分析
    50 元券

    形式化建模International定时

    ￥458
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Formal Modeling and Analysis of Timed Systems: 17th International Conference, Fo 定时系统的形式化建模与分析
    海外直订Formal Methods: Foundations and Applications 形式化方法：基础与应用
    50 元券

    形式化方法ApplicationsFoundationsMethods

    ￥458
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Formal Methods: Foundations and Applications 形式化方法：基础与应用
    海外直订Formal Methods for Control of Nonlinear Systems 非线性系统控制的形式化方法
    100 元券

    形式化方法非线性NonlinearControl

    ￥924
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Formal Methods for Control of Nonlinear Systems 非线性系统控制的形式化方法
    海外直订Formal Methods for the Quantitative Evaluation o... 集体适应系统定量评价的形式化方法
    50 元券

    形式化方法定量QuantitativeEvaluation

    ￥465
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Formal Methods for the Quantitative Evaluation o... 集体适应系统定量评价的形式化方法
    海外直订Algebraic Formalization of Smart Systems: Theory and Practice 智能系统的代数形式化：理论与实践
    100 元券

    形式化代数FormalizationAlgebraic

    ￥933
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Algebraic Formalization of Smart Systems: Theory and Practice 智能系统的代数形式化：理论与实践
    海外直订Algebraic Formalization of Smart Systems 智能系统的代数形式化
    100 元券

    形式化代数FormalizationAlgebraic

    ￥933
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Algebraic Formalization of Smart Systems 智能系统的代数形式化
    海外直订Formal Methods in Computer-Aided Design: Third International Conference, Fmcad 2 计算机辅助设计中的形式化方
    100 元券

    形式化辅助设计InternationalConference

    ￥933
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Formal Methods in Computer-Aided Design: Third International Conference, Fmcad 2 计算机辅助设计中的形式化方
    海外直订Formal Specification Level: Concepts, Methods, and Algorithms 形式化规范级别:概念、方法和算法
    100 元券

    形式化Specification算法Algorithms

    ￥933
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Formal Specification Level: Concepts, Methods, and Algorithms 形式化规范级别:概念、方法和算法
    海外直订Formal Approaches to Semantics and Pragmatics: Japanese and Beyond 语义学和语用学的形式化方法：日语及其他
    100 元券

    语用学语义学形式化方法日语

    ￥933
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Formal Approaches to Semantics and Pragmatics: Japanese and Beyond 语义学和语用学的形式化方法：日语及其他
    海外直订Formal Semantics and Proof Techniques for Optimizing VHDL Models VHDL模型优化的形式化语义与证明技术
    100 元券

    形式化语义VHDLOptimizing

    ￥933
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Formal Semantics and Proof Techniques for Optimizing VHDL Models VHDL模型优化的形式化语义与证明技术
    海外直订Duration Calculus: A Formal Approach to Real-Time Systems 持续时间演算:实时系统的形式化方法
    100 元券

    形式化方法演算实时Duration

    ￥933
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Duration Calculus: A Formal Approach to Real-Time Systems 持续时间演算:实时系统的形式化方法
    海外直订Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International S 实时和容错系统中的形式化技
    100 元券

    容错形式化InternationalTechniques

    ￥933
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International S 实时和容错系统中的形式化技
    海外直订Formal Methods for Embedded Distributed Systems: How to Master the Complexity 嵌入式分布式系统的形式化方法:
    100 元券

    形式化方法分布式嵌入式Distributed

    ￥933
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Formal Methods for Embedded Distributed Systems: How to Master the Complexity 嵌入式分布式系统的形式化方法:
    海外直订Formal Descriptions of Developing Systems 开发系统的形式化描述
    100 元券

    形式化DescriptionsDeveloping描述

    ￥933
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Formal Descriptions of Developing Systems 开发系统的形式化描述
    海外直订Artificial Neural Networks: Formal Models and Their Applications - Icann 2005: 1 人工神经：形式化模型及
    100 元券

    形式化ApplicationsArtificial人工

    ￥933
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Artificial Neural Networks: Formal Models and Their Applications - Icann 2005: 1 人工神经：形式化模型及
    海外直订Formal Methods for Embedded Distributed Systems: How to Master the Complexity 嵌入式分布式系统的形式化方法:如何
    100 元券

    形式化方法分布式嵌入式Distributed

    ￥933
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Formal Methods for Embedded Distributed Systems: How to Master the Complexity 嵌入式分布式系统的形式化方法:如何
    海外直订Formal Descriptions of Developing Systems 开发系统的形式化描述
    100 元券

    形式化DescriptionsDeveloping描述

    ￥933
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Formal Descriptions of Developing Systems 开发系统的形式化描述
    海外直订Formal Refinement for Operating System Kernels 操作系统内核的形式化细化
    100 元券

    形式化细化内核Refinement

    ￥933
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Formal Refinement for Operating System Kernels 操作系统内核的形式化细化
    海外直订Power Optimization and Synthesis at Behavioral and System Levels Using Formal Me 使用形式化方法在行为和系统
    100 元券

    形式化方法OptimizationBehavioralSynthesis

    ￥933
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Power Optimization and Synthesis at Behavioral and System Levels Using Formal Me 使用形式化方法在行为和系统
    海外直订Formal Description of Programming Concepts 编程概念的形式化描述
    100 元券

    形式化DescriptionProgrammingConcepts

    ￥933
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Formal Description of Programming Concepts 编程概念的形式化描述
    海外直订Duration Calculus: A Formal Approach to Real-Time Systems 持续时间演算:实时系统的形式化方法
    100 元券

    形式化方法演算实时Duration

    ￥933
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Duration Calculus: A Formal Approach to Real-Time Systems 持续时间演算:实时系统的形式化方法
    海外直订Formal Methods for Industrial Applications: Specifying and Programming the Steam 工业应用的形式化方法:蒸汽
    100 元券

    形式化方法蒸汽ApplicationsProgramming

    ￥933
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Formal Methods for Industrial Applications: Specifying and Programming the Steam 工业应用的形式化方法:蒸汽
    海外直订Practical Formal Software Engineering 实用形式化软件工程
    50 元券

    形式化软件工程EngineeringPractical

    ￥469
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Practical Formal Software Engineering 实用形式化软件工程
    海外直订Formal Techniques for Distributed Objects, Compo... 分布式对象、组件和系统的形式化技术
    50 元券

    形式化分布式DistributedTechniques

    ￥470
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Formal Techniques for Distributed Objects, Compo... 分布式对象、组件和系统的形式化技术
    海外直订Formal Modeling and Analysis of Timed Systems 定时系统的形式化建模与分析
    50 元券

    形式化建模定时Modeling

    ￥470
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Formal Modeling and Analysis of Timed Systems 定时系统的形式化建模与分析
    海外直订NASA Formal Methods NASA形式化方法
    50 元券

    形式化方法NASAMethods海外

    ￥470
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

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

    形式化方法软件工程EngineeringSoftware

    ￥470
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Formal Methods and Software Engineering 形式化方法与软件工程“，
    海外直订Software Engineering and Formal Methods. Sefm 2021 Collocated Workshops: Cifma, 软件工程与形式化方法“，”
    50 元券

    形式化方法软件工程EngineeringCollocated

    ￥470
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Software Engineering and Formal Methods. Sefm 2021 Collocated Workshops: Cifma, 软件工程与形式化方法“，”
    海外直订Formal Methods and Software Engineering: 23rd International Conference on Formal 形式化方法与软件工程:第23
    50 元券

    形式化方法Formal软件工程International

    ￥470
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Formal Methods and Software Engineering: 23rd International Conference on Formal 形式化方法与软件工程:第23
    海外直订Formal Modeling and Analysis of Timed Systems: 19th International Conference, Fo 时间系统的形式化建模与分析
    50 元券

    形式化建模InternationalConference

    ￥471
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Formal Modeling and Analysis of Timed Systems: 19th International Conference, Fo 时间系统的形式化建模与分析
    首页 12345678910 >末页