首页
│
系统简介
│
如何使用
│
管理用户登录
from
to
search
人文与社会科学
经济学
法学
艺术学、设计学
数学
物理学
化学
生物学
天文学
力学
机械
汽车工程
航空宇航科学与技术
材料科学与工程
光学与仪器
动力工程及工程热物理
电气工程
电子与通信工程
集成电路科学与工程
控制科学与工程
计算机科学与技术
建筑学
土木工程
水利工程
化学工程与技术
核科学与技术
环境科学与工程
生物医学工程
地球系统科学
管理科学与工程
工商管理
公共管理
图书馆讲座
未分类
“清芬”学术论坛-分子诊断探针精准设计与临床应用研究
环境学术沙龙第699期:Integrated Modeling of Economy-Energy-Environment Nexus
PYRROLE-BASED POROUS MATERIALS (AND FRIENDS)
物理系colloquium: Unveiling Microscopic Dynamics of Energy Transfer atInterfa...
更多内容
更多内容
报告题目:
Lambda-Calculus (Lambda演算)
报告人:
Jean-Jacques Lévy
法国信息与自动化研究所微软联合实验室主任
报告时间:
2010-09-03 10:30
报告地点:
FIT楼 小报告厅
主办单位:
软件学院
简介:
研究生短期课程.doc
今日相关信息
A Critical Quantity for Noise Attenua...
境学术沙龙第49期:Climate-Chemistry C...
更多内容
同类别相关信息
清华论坛第78讲:全球气候治理与中美气...
量子计算:从大数分解到大数据处理
量子计算: 一场从根上开始的革命
清华-罗姆国际产学连携论坛2018
2018清华五道口全球金融论坛
更多内容
学术活动