×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
武汉大学 [5]
软件研究所 [3]
暨南大学 [1]
上海生物化学与细胞生... [1]
内容类型
期刊论文 [6]
学位论文 [3]
会议论文 [1]
发表日期
2017 [3]
2015 [1]
2014 [1]
2012 [1]
2011 [1]
2010 [1]
更多...
学科主题
Biochemist... [1]
计算机软件::程序设... [1]
计算机软件::软件工... [1]
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共10条,第1-10条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
Apla+ 语言的云服务交互机制的研究
学位论文
2017
作者:
江东明
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2019/12/05
交互机制,
Apla+ 会话机制
会话类型
PAR 平台
血清抗心磷脂抗体和单个核细胞Tim-1在APLA阴性习惯性流产免疫治疗失败的意义
期刊论文
2017, 卷号: 41, 期号: 8, 页码: 828
作者:
何婷
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2019/12/17
抗心磷脂抗体
Tim-1
APLA阴性
淋巴细胞免疫治疗
云服务编程语言Apla+及其实现方法研究
学位论文
2017
作者:
谢武平
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2019/12/05
Apla+语言
PAR平台
软件形式化
程序生成
云服务编程
Research on a New Abstract Programming Language for Generic Constraints
会议论文
作者:
Lu, J. X.
;
You, Z.
;
Wang, C. J.
;
Zuo, Z. K.
;
Xie, W. P.
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2019/12/05
abstract programming language
generic constraints
Apla
algebraic structures
Radl算法到Apla程序的生成系统
期刊论文
计算机研究与发展, 2014, 卷号: 51, 期号: 4
作者:
谢武平
;
薛锦云
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2019/12/05
PAR方法
Radl算法
程序生成
算法推导
生成规则
Apla语言中并发分布式机制的研究
期刊论文
计算机科学, 2012, 卷号: 39, 期号: 1
作者:
游珍
;
薛锦云
;
应时
收藏
  |  
浏览/下载:5/0
  |  
提交时间:2019/12/05
并发分布式程序设计
Orc语言
Apla抽象程序设计语言
并发分布式机制
PAR中泛型约束机制的设计与实现
学位论文
博士, 北京: 中国科学院大学, 2011
左正康
收藏
  |  
浏览/下载:13/0
  |  
提交时间:2013/06/07
泛型约束机制
Hoare公理语义
代数结构
PAR
Kleene泛型算法
后序遍历二叉树非递归算法的推导及形式化证明
期刊论文
计算机工程与科学, 2010, 卷号: 32, 期号: 3, 页码: 119-123
左正康
;
游珍
;
薛锦云
收藏
  |  
浏览/下载:9/0
  |  
提交时间:2011/05/23
后序遍历二叉树
循环不变式
PAR方法
非线性数据结构
Dijkstra-Gries标准程序证明法
一种用于APLA→JAVA系统可靠性评估模型
期刊论文
昆明理工大学学报(理工版), 2009, 卷号: 34, 期号: 6, 页码: 40-43
杨乐
;
刘珊慧
;
薛锦云
收藏
  |  
浏览/下载:7/0
  |  
提交时间:2011/03/18
APLA→JAVA
Purification, gene cloning and expression of an acidic phospholipase A(2) from Agkistrodon shedaoensis Zhao
期刊论文
ACTA BIOCHIMICA ET BIOPHYSICA SINICA, 2004, 卷号: 36, 期号: 1, 页码: 27-32
作者:
Jin, Q
;
Yang, LX
;
Jiao, HM
;
Lu, B
;
Wu, YQ
收藏
  |  
浏览/下载:8/0
  |  
提交时间:2015/07/22
Agkistrodon shedaoensis Zhao
APLA(2)
purification
cloning
gene expression
©版权所有 ©2017 CSpace - Powered by
CSpace