机构

• 自然科学史研究所 [1]
• 计算技术研究所 [1]
• 软件研究所 [1]

采集方式

• OAI收割 [3]

内容类型

• 期刊论文 [3]

发表日期

• 2008 [1]
• 2003 [1]
• 1998 [1]

学科主题

• 科技史::数学史 [1]

筛选

浏览/检索结果: 共3条，第1-3条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 用于软件开发工作量估算的IOP模型 期刊论文  OAI收割 计算机工程与设计, 2008, 卷号: 29, 期号: 4, 页码: 784-788,796 汤子楠; 舒风笛   |  收藏  |  浏览/下载：9/0  |  提交时间：2011/06/10 工作量估算  成本驱动因子  估算模型  软件开发  构造性成本估算模型Ⅱ  软件开发工作量  估算  模型  软件项目  软件组织  项目管理  组织决策  软件行业  项目招标  项目特征  项目数据  统一框架  驱动因子  目标  回归分析  组织水  应用  扩充  国内  成本   一类构造性几何不等式的机器证明 期刊论文  OAI收割 计算机学报, 2003, 卷号: 26.0, 期号: 007, 页码: 769 作者:  杨路;  夏时洪   |  收藏  |  浏览/下载：1/0  |  提交时间：2023/12/04 构造性几何不等式  机器证明  自动证明  半代数系统   构造性的思维方式与数学机械化 期刊论文  OAI收割 大自然探索, 1998, 卷号: 17, 期号: 1, 页码: 119-122 傅海伦 收藏  |  浏览/下载：80/0  |  提交时间：2013/03/22 思维方式  构造性  数学机械化