论文部分内容阅读
Hanoi塔非递归算法的形式化推导和正确性验证
【出 处】
：
计算机研究与发展
【发表日期】
：
2008年z1期
其他文献
为探明温水去雄处理对甘蔗杂交后代杂种真实性的影响效应,本研究在进行甘蔗有性杂交前利用50℃温水对甘蔗母本粤糖91-976及桂糖92-66的花穗浸泡5 min后,将其分别与父本粤糖93
多环芳烃是一类典型的环境污染物,其代谢产物能够与DNA特异性结合形成DNA加合物。由于DNA加合物具有特异性的优点,作为多环芳烃暴露的生物标志被广泛应用于健康风险的评价,成
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
“廉洁从教”属于一项系统的工程,其是师德的根本所在。对于幼儿园教师来说,“勤勉执教”与“廉洁从教”是一个互相联系、互为师风建设条件。
“Integrity from teaching
对于意大利的著名传动系统供应商卡拉罗(CARRARO)来说,2007年在中国的活动真是频繁.除了最重要的青岛新工厂开业典礼外,还参加了北京的农机展,上海的PTC展及本届广州CONEXPO
随着经济全球化的不断推进，迫使区域之间实行优势互补，联动发展。以经济圈的形式，开展区域联合，促进区域经济合作，集团化地参与国际竞争，这是当今世界经济发展的重要特征。党的十六