论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 工业技术期刊 \
- 自动化技术与计算机技术期刊 \
- 计算机科学技术学报(英文版)期刊 \
null
Formally Analyzing Expected Time Complexity of Algorithms Using Theorem Proving
基本信息来源于合作网站，原文需代理用户跳转至来源网站获取
摘要：
推荐文章
期刊_丙丁烷TDLAS测量系统的吸收峰自动检测
带间级联激光器
调谐半导体激光吸收光谱
雾剂检漏 中红外吸收峰 洛伦兹光谱线型
不同盐度、温度及光照对漂浮浒苔生理生态的影响
浒苔
盐度
温度
光照
生理生态
期刊_联合空间信息的改进低秩稀疏矩阵分解的高光谱异常目标检测
高光谱图像
异常目标检测 低秩稀疏矩阵分解 稀疏矩阵 残差矩阵
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
文献信息
| 篇名 | Formally Analyzing Expected Time Complexity of Algorithms Using Theorem Proving | ||
| 来源期刊 | 计算机科学技术学报（英文版） | 学科 | 工学 |
| 关键词 | |||
| 年，卷（期） | 2010,（6） | 所属期刊栏目 | |
| 研究方向 | 页码范围 | 1305-1320 | |
| 页数 | 分类号 | TP3 | |
| 字数 | 语种 | 英文 | |
| DOI | 10.1007/s11390-010-1103-6 | ||
五维指标
引文网络
引文网络
二级参考文献 (0)
共引文献 (0)
参考文献 (14)
节点文献
引证文献 (1)
同被引文献 (0)
二级引证文献 (0)
1940(1)
- 参考文献（1）
- 二级参考文献（0）
1960(1)
- 参考文献（1）
- 二级参考文献（0）
1966(1)
- 参考文献（1）
- 二级参考文献（0）
1978(1)
- 参考文献（1）
- 二级参考文献（0）
1980(1)
- 参考文献（1）
- 二级参考文献（0）
1983(1)
- 参考文献（1）
- 二级参考文献（0）
1985(1)
- 参考文献（1）
- 二级参考文献（0）
1991(1)
- 参考文献（1）
- 二级参考文献（0）
1992(1)
- 参考文献（1）
- 二级参考文献（0）
1998(1)
- 参考文献（1）
- 二级参考文献（0）
2003(1)
- 参考文献（1）
- 二级参考文献（0）
2005(1)
- 参考文献（1）
- 二级参考文献（0）
2008(1)
- 参考文献（1）
- 二级参考文献（0）
2009(1)
- 参考文献（1）
- 二级参考文献（0）
2010(0)
- 参考文献(0)
- 二级参考文献(0)
- 引证文献(0)
- 二级引证文献(0)
2017(1)
- 引证文献（1）
- 二级引证文献（0）
引文网络交叉学科
相关学者/机构
期刊影响力
计算机科学技术学报(英文版)
主办单位：
中国计算机学会
出版周期：
双月刊
ISSN：
1000-9000
CN：
11-2296/TP
开本：
16开
出版地：
北京中关村科学院南路6号 《计算机科学技术学报（英）》编辑部
邮发代号：
创刊时间：
1986
语种：
eng
出版文献量（篇）
2207
总下载数（次）
1
期刊文献
相关文献
推荐文献
- 期刊分类
- 期刊（年）
- 期刊（期）
- 期刊推荐
一般工业技术
交通运输
军事科技
冶金工业
动力工程
化学工业
原子能技术
大学学报
建筑科学
无线电电子学与电信技术
机械与仪表工业
水利工程
环境科学与安全科学
电工技术
石油与天然气工业
矿业工程
自动化技术与计算机技术
航空航天
轻工业与手工业
金属学与金属工艺
计算机科学技术学报(英文版)2022
计算机科学技术学报(英文版)2021
计算机科学技术学报(英文版)2020
计算机科学技术学报(英文版)2019
计算机科学技术学报(英文版)2018
计算机科学技术学报(英文版)2017
计算机科学技术学报(英文版)2016
计算机科学技术学报(英文版)2015
计算机科学技术学报(英文版)2014
计算机科学技术学报(英文版)2013
计算机科学技术学报(英文版)2012
计算机科学技术学报(英文版)2011
计算机科学技术学报(英文版)2010
计算机科学技术学报(英文版)2009
计算机科学技术学报(英文版)2008
计算机科学技术学报(英文版)2007
计算机科学技术学报(英文版)2006
计算机科学技术学报(英文版)2005
计算机科学技术学报(英文版)2004
计算机科学技术学报(英文版)2003
计算机科学技术学报(英文版)2002
计算机科学技术学报(英文版)2001
计算机科学技术学报(英文版)2000
计算机科学技术学报(英文版)1999
计算机科学技术学报(英文版)2010年第6期
计算机科学技术学报(英文版)2010年第5期
计算机科学技术学报(英文版)2010年第4期
计算机科学技术学报(英文版)2010年第3期
计算机科学技术学报(英文版)2010年第2期
计算机科学技术学报(英文版)2010年第1期
中国软科学
价值工程
科技管理研究
中小企业管理与科技
财经界
中国高新技术企业
系统工程
中国管理信息化
管理科学学报
现代管理科学
合作经济与科技
企业改革与管理
低碳世界
中外企业家
产业与科技论坛
内蒙古科技与经济
民营科技
管理观察
山西财经大学学报
企业导报
知识经济
工业工程与管理
财会学习
系统工程学报
经济体制改革
东方企业文化
现代城市研究
科学管理研究
财会月刊
系统管理学报
中国石油和化工标准与质量
科技经济市场
中国乡镇企业会计
财会月刊(理论版)
财务与会计
物流工程与管理
企业技术开发(下半月)
职业
行政事业资产与财务
财会月刊(综合版)
计算机工程与应用
计算机工程
计算机应用研究
软件学报
计算机应用
计算机学报
系统仿真学报
计算机研究与发展
计算机工程与设计
计算机科学
控制与决策
电脑知识与技术
计算机集成制造系统
计算机仿真
自动化学报
计算机技术与发展
计算机应用与软件
计算机辅助设计与图形学学报
小型微型计算机系统
控制理论与应用
控制理论与应用
遥感学报
传感器与微系统
传感技术学报
制造业自动化
微电子学与计算机
计算机工程与科学
机器人
计算机系统应用
计算机与现代化
测控技术
计算机与数字工程
工业控制计算机
测绘与空间地理信息
电机与控制学报
中文信息学报
福建电脑
控制工程
遥感技术与应用
信息与控制
