搜索
人大经济论坛 › 标签 › 形式化 › 相关帖子

tag 标签: 形式化经管大学堂：名校名师名课

相关帖子

 版块 作者 回复/查看 最后发表
语义网格资源描述模型形式化理论和支撑技术PartI attachment 经管文库（原现金交易版） 打了个飞的 2025-5-31 0 46 打了个飞的 2025-5-31 13:55:26
04章-形式化说明技术汇编 attachment 经管文库（原现金交易版） 打了个飞的 2025-4-2 0 50 打了个飞的 2025-4-2 22:02:44
软件开发的形式化方法 attachment 经管文库（原现金交易版） 打了个飞的 2025-1-14 0 139 打了个飞的 2025-1-14 18:39:31
(8.6)物业服务标识系统303-306 attachment 经管文库（原现金交易版） ruhemiadui 2024-12-18 0 127 ruhemiadui 2024-12-18 14:26:19
大学组织行为第十二讲：组织结构与设计 attachment 经管文库（原现金交易版） ruhemiadui 2024-11-15 0 189 ruhemiadui 2024-11-15 11:26:55
第1章-软件开发的形式化方法概述ppt课件 attachment 经管文库（原现金交易版） fsaasdfs~ 2024-11-15 0 139 fsaasdfs~ 2024-11-15 07:26:36
无法启动更新检查（错误代码为 1: 0x80004005 坛友说 shinbade 2024-2-29 0 0 shinbade 2024-2-29 05:24:56
代数规范和形式化软件开发的基础 attachment IT基础 wxwpxh 2022-11-13 1 846 wxwpxh 2023-3-19 07:36:54
拍卖的预算不平衡标准：一个形式化定理 attachment 外文文献专区 可人4 2022-5-7 14 583 可人4 2022-5-7 04:57:29
人工智能的形式化定义 外文文献专区 kedemingshi 2022-3-18 0 586 三江鸿 2022-5-3 15:25:51
GOMS的缺点 学道会 清河日语 2022-4-25 0 4242 清河日语 2022-4-25 09:10:25
基于a的有限理性的公理形式化 效用-信息等价 外文文献专区 kedemingshi 2022-3-25 0 273 kedemingshi 2022-3-25 17:30:00
Maple程序的形式化说明 外文文献专区 kedemingshi 2022-3-23 0 430 kedemingshi 2022-3-23 20:10:00
蛋白质信号网络逻辑模型训练的再认识 基于答案集规划的形式化方法 外文文献专区 mingdashike22 2022-3-23 0 243 mingdashike22 2022-3-23 15:05:00
数学形式化的自动推理和表示支持 在米扎尔 外文文献专区 mingdashike22 2022-3-6 0 201 mingdashike22 2022-3-6 21:26:00
形式化模型理论在增强个性化中的应用 医学 外文文献专区 能者818 2022-3-6 0 342 能者818 2022-3-6 14:27:25
生物记忆建模的一种形式化方法 外文文献专区 能者818 2022-3-4 0 421 能者818 2022-3-4 22:52:00
用形式化方法构建基因调控动力学知识库 概念分析方法 外文文献专区 能者818 2022-3-3 0 265 能者818 2022-3-3 12:53:00
悬赏 李莹、吴江琴.软件工程形式化方法与语言.浙江大学出版社，2010 - [悬赏 20 个论坛币] attachment 文献求助专区 lehe 2021-10-10 2 823 lehe 2022-1-1 21:42:09
1234下一页

京ICP备16021002号-2 京B2-20170662号 京公网安备 11010802022788号 论坛法律顾问：王进律师 知识产权保护声明   免责及隐私声明

GMT+8, 2025-12-28 11:30