工学 >>> 计算机科学技术 >>> 计算机软件 >>> 软件理论 操作系统与操作环境 程序设计及其语言 编译系统 数据库 软件开发环境与开发技术 软件工程 计算机软件其他学科
搜索结果: 1-4 共查到知识要闻 计算机软件 2010相关记录4条 . 查询时间(0.164 秒)
第12届国际形式化工程大会(ICFEM 2010)于11月17日至19日在校召开。我校软件学院院长何积丰院士担任大会主席。国际形式化工程大会(ICFEM)将形式化方法与计算机系统相结合, 既包含科学界的研究探索型问题也包含工业界的应用问题,主要关注已在工业界得到应用的或可以为工业界带来切实利益的理论技术,该会议自1997年在日本举办第一届至今,已成功举办了12届,具有相当的知名度,是形式化方向最重...
201010月17至18日,中科院数据应用环境建设与服务专项启动2010年度科学数据库工作检查与项目验收部署,按照此前发布的“十一五”科学数据库验收管理办法,首批18个科学数据库建设项目参加了汇报,接受专家组咨询和建议。来自有关建库单位的代表50余人参加了会议。
近日,大连理工大学软件学院接到学校科学技术研究院关于2010年国家自然科学基金获得资助的通知,软件学院共获得国家自然科学基金资助5项,合计资助金额281万;其中国家自然科学基金重点基金项目1项,面上基金项目2项,青年基金项目2项,数量和质量创学院历年资助之最;其中罗钟铉院长领衔的科研团队实现了大连理工大学软件学院国家自然科学基金重点项目零的突破。
NSFC/JSPS协议项目是由中国国家自然科学基金委员会(NSFC)与日本学术振兴会(JSPS)联合资助的合作项目。经双方协商,2010年度将共同资助合作项目14项,其中合作交流项目10项,双边研讨会4个(其中2个在中国举办,2个在日本举办)。

中国研究生教育排行榜-

正在加载...

中国学术期刊排行榜-

正在加载...

世界大学科研机构排行榜-

正在加载...

中国大学排行榜-

正在加载...

人 物-

正在加载...

课 件-

正在加载...

视听资料-

正在加载...

研招资料 -

正在加载...

知识要闻-

正在加载...

国际动态-

正在加载...

会议中心-

正在加载...

学术指南-

正在加载...

学术站点-

正在加载...