7.4 元券 沟通华东师范大学被动式如何 ¥36 0去看看 秋林书城图书专营店发布了 大夏书系班主任家校沟通的艺术如何解决家校沟通形式化单向化被动化的问题如何扭转告状式通知式被动式的程序化沟通华东师范大学 测试形式化方法计算机网络程序设计 ¥61.9 0去看看 当当网官方旗舰店发布了 当当网 嵌入式软件系统测试:基于形式化方法的自动化测试解决方案 计算机网络 程序设计(新) 机械工业出版社 正版书籍 7.1 元券 论证挖掘论辩形式化 ¥94 0去看看 昱欣图书专营店发布了 论证挖掘与论证形式化 鞠实儿 广义论证本土化研究程序与机器学习论证模式论证元素及结构抽象论辩理论证挖掘方法论证科学人工智能 4.3 元券 矩阵科学出版社形式化9787030763303 ¥57.3 0去看看 昱欣图书专营店发布了 正版书籍 矩阵结构与矩阵函数的形式化 施智平等 科学出版社 9787030763303 2 元券 形式化区块合约表达 ¥15.6 0去看看 兴科图书专营店发布了 T/CIE 095-2020区块链智能合约形式化表达 10 元券 形式化代数几何初步 ¥89 0去看看 浙江新华书店图书专营店发布了 几何代数的形式化与初步应用 10 元券 论证形式化挖掘 ¥91.1 0去看看 上海书城旗舰店发布了 论证挖掘与论证形式化 10 元券 论证形式化挖掘 ¥97.9 0去看看 木垛旗舰店发布了 论证挖掘与论证形式化 10 元券 自然语言形式化认知基于 ¥101 0去看看 上海书城旗舰店发布了 基于认知的自然语言自动形式化研究 10 元券 形式化高阶分数逻辑 ¥104.7 0去看看 木垛旗舰店发布了 分数阶系统高阶逻辑形式化验证 10 元券 形式化高阶分数逻辑 ¥107.7 0去看看 上海书城旗舰店发布了 分数阶系统高阶逻辑形式化验证 3 元券 形式化建模列车正版 ¥33 0去看看 寅辰图书专营店发布了 正版(包邮)列车运行安全行为建模与形式化技术研究 5 元券 形式化拉格朗日动力学 ¥56.5 0去看看 当科图书专营店发布了 拉格朗日力学理论的形式化与机器人动力学形式化分析 5 元券 形式化拉格朗日动力学 ¥61.5 0去看看 当科图书音像专营店发布了 拉格朗日力学理论的形式化与机器人动力学形式化分析 5 元券 形式化代数几何当当网 ¥63.5 0去看看 当科图书专营店发布了 【当当网正版书籍】几何代数的形式化与初步应用 2 元券 形式化区块合约验证 ¥25.9 0去看看 兴科图书专营店发布了 T/CIE 130-2022区块链 智能合约形式化设计与验证方法 2 元券 形式化区块合约验证 ¥25.9 0去看看 水利电力图书专营店发布了 T/CIE 130-2022区块链 智能合约形式化设计与验证方法 5 元券 形式化哈密动力学力学 ¥65.3 0去看看 木垛旗舰店发布了 哈密顿力学理论的形式化与机器人动力学形式化分析 5 元券 语用形式化推理研究 ¥65.7 0去看看 当科图书音像专营店发布了 语用寓义推理形式化研究 5 元券 语用形式化推理研究 ¥65.7 0去看看 当科图书专营店发布了 语用寓义推理形式化研究 3.8 元券 形式化构件装配构造 ¥49.9 0去看看 昱欣图书专营店发布了 形式化构件装配的领域算法构造 5 元券 形式化代数几何当当网 ¥69 0去看看 当科图书音像专营店发布了 【当当网 正版书籍】几何代数的形式化与初步应用 5 元券 形式化验证协议分析 ¥70.4 0去看看 当科图书专营店发布了 安全协议形式化分析与验证 5 元券 语用形式化推理研究 ¥73.3 0去看看 木垛旗舰店发布了 语用寓义推理形式化研究 5 元券 形式化代数几何初步 ¥74.5 0去看看 木垛旗舰店发布了 几何代数的形式化与初步应用 5 元券 形式化当当网正版验证 ¥76.4 0去看看 当科图书音像专营店发布了 【当当网 正版书籍】安全协议形式化分析与验证 5 元券 自然语言形式化认知基于 ¥76.7 0去看看 当科图书音像专营店发布了 基于认知的自然语言自动形式化研究 5 元券 形式化验证协议分析 ¥81.7 0去看看 木垛旗舰店发布了 安全协议形式化分析与验证 120 元券 形式化transformational预售generalizations ¥1963 0去看看 中图数字图书专营店发布了 预售 按需印刷 Formal versus explanatory generalizations in generative transformational grammar生成转换语法中的形式化概括 5 元券 论证形式化挖掘 ¥83.5 0去看看 当科图书专营店发布了 论证挖掘与论证形式化 5 元券 自然语言形式化认知基于 ¥85.2 0去看看 木垛旗舰店发布了 基于认知的自然语言自动形式化研究 5 元券 亚楠社会科学徐超自然语言 ¥86.3 0去看看 正信图书专营店发布了 基于认知的自然语言自动形式化研究徐超|责编:刘亚楠9787522714615社会科学/社会科学总论 3 元券 形式化构件装配构造 ¥53.6 0去看看 寅辰图书专营店发布了 正版(包邮)形式化构件装配的领域算法构造 5 元券 论证形式化挖掘 ¥90.6 0去看看 当科图书音像专营店发布了 论证挖掘与论证形式化 5 元券 自然语言形式化认知基于 ¥93.2 0去看看 浙江外文图书专营店发布了 基于认知的自然语言自动形式化研究 3 元券 清华大学出版社广泉形式化方法导论 ¥56.1 0去看看 兴科图书专营店发布了 【官方正版新书】 形式化方法导论(第2版) 张广泉 清华大学出版社 形式语言-高等学校-教材 3 元券 清华大学出版社广泉形式化方法导论 ¥56.1 0去看看 兴科图书专营店发布了 【官方正版新书】 形式化方法导论(第2版) 张广泉 清华大学出版社 形式语言-高等学校-教材 3 元券 清华大学出版社广泉形式化方法导论 ¥56.1 0去看看 水利电力图书专营店发布了 【官方正版新书】 形式化方法导论(第2版) 张广泉 清华大学出版社 形式语言-高等学校-教材 3 元券 清华大学出版社广泉形式化方法导论 ¥56.1 0去看看 水利电力图书专营店发布了 【官方正版新书】 形式化方法导论(第2版) 张广泉 清华大学出版社 形式语言-高等学校-教材 1 元券 形式化方法软件工程高等院校教材 ¥19 0去看看 纽聚图书旗舰店发布了 软件工程形式化方法与语言(高等院校精品教材) 5 元券 形式化高阶分数逻辑 ¥94.9 0去看看 中贸欣泰图书专营店发布了 分数阶系统高阶逻辑形式化验证 4.3 元券 论证形式化9787030734679挖掘 ¥81.7 0去看看 鼎思图书专营店发布了 正版 论证挖掘与论证形式化 鞠实儿 9787030734679 科学 1.4 元券 江苏大学形式化软件工程建模 ¥26.6 0去看看 鼎思图书专营店发布了 正版 软件安全性需求形式化建模和验证 李震 著 江苏大学 软硬件技术 软件工程 4.5 元券 博库自然语言形式化认知 ¥85.7 0去看看 博库旗舰店发布了 基于认知的自然语言自动形式化研究 博库网 5 元券 论证科学出版社形式化平装 ¥96.1 0去看看 麦德逊图书专营店发布了 正版现货 论证挖掘与论证形式化 鞠实儿 等 科学出版社 9787030734679平装胶订 5 元券 论证科学出版社形式化平装 ¥96.1 0去看看 世纪在线图书专营店发布了 正版现货 论证挖掘与论证形式化 鞠实儿 等 科学出版社 9787030734679平装胶订 5 元券 论证科学出版社形式化平装 ¥96.1 0去看看 国家图书馆出版社图书专营发布了 正版现货 论证挖掘与论证形式化 鞠实儿 等 科学出版社 9787030734679平装胶订 3 元券 矩阵形式化函数结构 ¥58.6 0去看看 三易天行图书专营店发布了 矩阵结构与矩阵函数的形式化 3 元券 矩阵科学出版社张倩王国 ¥58.6 0去看看 麦德逊图书专营店发布了 现货正版 平装胶订 矩阵结构与矩阵函数的形式化 施智平吴爱轩关永王国辉张倩颖 科学出版社 9787030763303 3 元券 矩阵科学出版社张倩王国 ¥58.6 0去看看 世纪在线图书专营店发布了 现货正版 平装胶订 矩阵结构与矩阵函数的形式化 施智平吴爱轩关永王国辉张倩颖 科学出版社 9787030763303 3 元券 矩阵科学出版社张倩王国 ¥58.6 0去看看 希尔麦图书专营店发布了 现货正版 平装胶订 矩阵结构与矩阵函数的形式化 施智平吴爱轩关永王国辉张倩颖 科学出版社 9787030763303 3 元券 矩阵科学出版社张倩王国 ¥58.6 0去看看 国家图书馆出版社图书专营发布了 现货正版 平装胶订 矩阵结构与矩阵函数的形式化 施智平吴爱轩关永王国辉张倩颖 科学出版社 9787030763303 2 元券 形式化置换组装算法 ¥39.5 0去看看 盛世天佑图书专营店发布了 形式化框架下置换和查找类算法的组装生成 3 元券 形式化拉格科学出版社朗日 ¥59.3 0去看看 翰林静轩图书专营店发布了 RT现货速发 拉格朗日力学理论的形式化与机器人动力学形式化分析9787030720979 关永科学出版社工业技术 3 元券 形式化哈密科学出版社动力学 ¥59.3 0去看看 翰林静轩图书专营店发布了 RT现货速发 哈密顿力学理论的形式化与机器人动力学形式化分析9787030532046 施智科学出版社自然科学 4 元券 形式化验证协议分析 ¥82.1 0去看看 三易天行图书专营店发布了 安全协议形式化分析与验证 3 元券 语用形式化推理研究 ¥62.4 0去看看 中贸欣泰图书专营店发布了 语用寓义推理形式化研究/毛眺源 3 元券 形式化验证协议分析 ¥63.5 0去看看 盛世天佑图书专营店发布了 安全协议形式化分析与验证 3 元券 科学出版社语用形式化9787030704078 ¥65.6 0去看看 翰林静轩图书专营店发布了 RT现货速发 语用寓义推理形式化研究9787030704078 毛眺源科学出版社励志与成功 5 元券 逻辑德尔义和祈使 ¥111.9 0去看看 书香图书专营店发布了 正版 逻辑学导论 原书第三版 三段论逻辑 意义与定义 谬误与论证 基础模态逻辑 道义和祈使逻辑 一个形式化的伦理理论 哥德尔定理