切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
Static typing for a substructural lambda calculus
Static typing for a substructural lambda calculus
来源 :城市道桥与防洪 | 被引量 : 0次 | 上传用户:yr
【摘 要】
:
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
【作 者】
:
Baojian HUA
【机 构】
:
School of Software Engineering, University of Science and Technology of China, Hefei 230027, China“,
【出 处】
:
城市道桥与防洪
【发表日期】
:
2011年3期
【关键词】
:
Programming languages
linear type systems
substructural type system
subtyping th
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥主桥连续预应力混凝土变截面箱梁2#~7#块、8#、8
其他文献
基于模糊综合评价法的水路危险化学品运输风险评价
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
LTE BBU集中放置应用研究
期刊
克山病的病理形态学观察
1959年冬,我校在某患区开展对克山病的防治抢救工作。在当地党政组织的领导和群众的大力支持下,我们收集到部分尸检材料。加上在其他患区所作的少数尸检例在内,计41例。现将
期刊
病理形态学
嗜酸性白血球
主动脉内膜
当地党政
乳头肌
包曼氏囊
肌浆
白血球浸润
变性坏死
核染色质
浅谈种子经营信息的管理与应用
种子经营信息是种子企业进行计划和决策的基础,它是关于经营目标、经营过程和经营结果的消息或新情况.种子企业制定经营目标需要信息,种子企业开展经营活动需要信息,农民采购
期刊
种子企业
经营信息
管理与应用
Information
Marketing
Seed
Application
种子经营企业
经营目标
信息的管理
计划和决策
信
氨基酸复合微肥在酿酒葡萄上的应用效果
1 试验目的甘肃莫高实业股份有限公司目前拥有2万余亩葡萄生产基地,是我国最佳的葡萄生产基地之一,也是甘肃省目前最大的酿酒葡萄生产基地,其生产的“莫高”牌干红葡萄酒在1999
期刊
氨基酸
复合微肥
酿酒葡萄
应用效果
compound fertilizer
生产基地
干红葡萄酒
干白葡萄酒
甘肃省
试验
评比
股份
超声行波马达环形定子的振动模式
期刊
高品质鱼粉价格为何不断攀升
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
高品质
鱼粉
CDMA高层导频污染探讨
随着城市高层建筑的增加,“高层导频污染”问题在CDMA无线网络优化中愈显突出,针对该问题,从室内分布、室外分布、异频覆盖、扇区裂化、小区分布、参数优化和天线上瓣抑制等几个
期刊
拔海4260米高原健康藏族牧民560例心电图分析
我们于1972年5~10月在甘孜藏族自治州,对拔海4260米高原地区藏族牧民进行冠心病普查,鉴于目前对高原健康藏族牧民心电图的资料报道尚少。为此,我们将普查所得健康藏族牧民560
期刊
心电图分析
心血管疾病
右心室肥大
电轴
室壁激动时间
右室肥大
窦性心动过速
室性期前收缩
完全性
垂位心
PEO-LiClO4-SiO2复合型聚合物电解质
期刊
与本文相关的学术论文