论文部分内容阅读
勇攀计算机科学理论新高峰:记"并发进程的代数理论及验证工具"项目主要完成
【出 处】
：
中国科技奖励
【发表日期】
：
2000年2期
其他文献
旅游旺季将至，2018年5月，新疆维吾尔自治区博乐市小营盘镇明格陶勒哈村村民乌云正忙着建新的蒙古包。2017年，她开起了草原特色牧家乐，一个蒙古包半年就赚了四五万元。
采摘、分拣、打包……这几天，云南省昆明市寻甸回族彝族自治县倘甸镇计施宽村马久珍忙得不亦乐乎。她双手捧着几朵像极了羊胃的菌种，高兴地说：“对别的农户来说，这一阵是播种的时
中国铁通在今年“十一”国庆黄金周期间采取多种措施，确保铁路运输通信安全畅通，为全国人民过一个欢乐祥和的节日贡献了自己的一份力量。为了保证国庆节．中秋节期间铁路运输通信
驾驭社会主义市场经济的能力,是指人们运用经济理论,观察、分析、判断、决定、解决经济问题的能力.提高驾驭社会主义市场经济的能力,要求在社会主义市场经济条件下,按照客观
目的探讨共情护理对食管癌手术患者希望水平的影响。方法选择2015年1月-2016年12月在本院手术治疗的38例食管癌患者作为观察组，实施共情护理，回顾性分析2013年1月-2014年12月本
途经北京海淀区上庄乡某地，总会看到路边矗立着很多疑似“大锅”一样的东西。这些“大锅”是做什么的？大多数百姓会告诉你，这是卫星接收设备，有了它，可以收到来自世界各地的上百个
“有了这样一张告知单，村里的收人支出情况、发展党员等信息我们都能及时了解，心里有了底，感觉自己也是村集体的一分子。”2018年9月13日，在河南省沁阳西向镇捏掌村，村民尚亮拿着
近日，农业部发布《关于北方农牧交错带农业结构调整的指导意见》（以下简称《意见》）。力争通过5～10年时间，北方农牧交错带畜牧业增加值占农业增加值的比重达到50％左右，农牧民家庭经
在政府大力推进国家治理现代化和公共体育服务购买的新常态下,积极探索和推行公共体育服务购买标准化建设是提高政府购买公共体育服务绩效和实现国家现代化治理的有效措施。