搜索结果: 16-22 共查到“会议中心 程序设计及其语言”相关记录22条 . 查询时间(5.387 秒)
首届计量逻辑与程序量化国际学术会议在校举行
首届 计量逻辑 程序量化 国际学术会议
2009/6/12
由我校软件学院主办的第一届计量逻辑与程序量化国际学术会议（the First International Conference on Quantitative Logic and Quantification of Software）于6月6-8日在中山北路校区召开。会议由软件学院院长何积丰院士担任会议主席。本次会议主要研讨逻辑学、软件理论与工程和数学在计算机科学方面的应用等相关领域中的各个...
第一届云计算国际会议
第一届 云计算 国际会议
2009/4/17
"Cloud" is a common metaphor for an Internet accessible infrastructure (e.g. data storage and computing hardware) which is hidden from users. Cloud Computing makes data truly mobile and a user can sim...
2007年5月26日，浙江工业大学6支队伍在浙江省“舜宇杯”第四届大学生程序设计竞赛上获2项银奖、4项铜奖。浙江工业大学获最佳组织奖。
2007年5月26日晚，“搜狐杯”第11届清华大学智能体大赛暨校际邀请赛决赛在就业中心举行。来自清华大学各个院系及北大、北航的12位选手在此进行了激烈的角逐。最终，来自清华大学计43班的栗师夺得了本届智能体大赛的冠军。
全国第五次次程序设计语言发展与教学学术会议
第五次 次程序设计语言发展与教学学术会议 程序设计
2006/8/28
全国第五次次程序设计语言发展与教学学术会议定于2006年10月1日在南京召开。本次会议由东南大学主办，将就程序设计语言现状与发展、各类程序设计语言及其设计与实现、程序设计语言教学与教材等方面的内容进行广泛的学术交流。
由中国计算机学会理论计算机科学专业委员会主办，吉林大学计算机科学与技术学院承办的“2006年全国理论计算机科学学术年会”将于2006年8月在吉林省长春市召开。征文范围包括程序理论，计算理论，语言理论，人工智能等。
