欢迎您!
东篱公司
退出
申报数据库
申报指南
立项数据库
成果数据库
期刊论文
会议论文
著 作
专 利
项目获奖数据库
位置:
成果数据库
>
期刊
> 期刊详情页
<strong>带参数的共递归操作及其计算律</strong>
ISSN号:1000-1239
期刊名称:计算机研究与发展
时间:2013.12.1
页码:2672-2690
相关项目:Comonads理论及其在计算机科学中的应用研究
作者:
苏锦钿|
同期刊论文项目
Comonads理论及其在计算机科学中的应用研究
期刊论文 16
会议论文 1
同项目期刊论文
A Bialgebraic Perspective on Abstract Data Types
<span style="font-family:宋体;font-size:10.5pt;">论高校计算机专业开展函数式程序语言教学的必要性</span>
范畴数据类型上的子类型
强共归纳数据类型上的Comonadic共递归
广义共迭代及其计算律
AADL进程子集行为语义研究
TRIZ技术系统演进视角的计算机辅助创新软件体系架构
图形处理器上CSB+-树索引的并行构建算法
带固定参数的Monadic递归
一种新型面向普适计算的软件体系架构模型
GBLHT:一种GPU加速的批量插入线性哈希表
基于半监督学习的k平均聚类框架
GPU平台上大规模文本分类的研究
数据库视图更新的一种Opfibrations方法
期刊信息
《计算机研究与发展》
中国科技核心期刊
主管单位:中国科学院
主办单位:中国科学院计算技术研究所
主编:徐志伟
地址:北京市科学院南路6号中科院计算所
邮编:100190
邮箱:crad@ict.ac.cn
电话:010-62620696 62600350
国际标准刊号:ISSN:1000-1239
国内统一刊号:ISSN:11-1777/TP
邮发代号:2-654
获奖情况:
2001-2007百种中国杰出学术期刊,2008中国精品科...,中国期刊方阵“双效”期刊
国内外数据库收录:
俄罗斯文摘杂志,荷兰文摘与引文数据库,美国工程索引,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊(2004版),中国北大核心期刊(2008版),中国北大核心期刊(2011版),中国北大核心期刊(2014版),中国北大核心期刊(2000版)
被引量:40349