首页
│
系统简介
│
如何使用
│
管理用户登录
from
to
search
人文与社会科学
经济学
法学
艺术学、设计学
数学
物理学
化学
生物学
天文学
力学
机械
汽车工程
航空宇航科学与技术
材料科学与工程
光学与仪器
动力工程及工程热物理
电气工程
电子与通信工程
集成电路科学与工程
控制科学与工程
计算机科学与技术
建筑学
土木工程
水利工程
化学工程与技术
核科学与技术
环境科学与工程
生物医学工程
地球系统科学
管理科学与工程
工商管理
公共管理
图书馆讲座
未分类
Rotating strings and particles in AdS: Holography at weak gaugecouplingand wi...
清华大学材料科学与工程研究院《材料科学论坛》：Next-generation Ultra-high-effi...
Mixed-state quantum anomaly and multipartite entanglement
Mass Gap in AdS Spacetime
更多内容
更多内容
报告题目:
Lambda-Calculus (Lambda演算)
报告人:
Jean-Jacques Lévy
法国信息与自动化研究所微软联合实验室主任
报告时间:
2010-09-03 10:30
报告地点:
FIT楼 小报告厅
主办单位:
软件学院
简介:
研究生短期课程.doc
今日相关信息
A Critical Quantity for Noise Attenua...
境学术沙龙第49期：Climate-Chemistry C...
更多内容
同类别相关信息
Hashing big multimedia data for rea...
On the Nature of Autonomy – A Rigo...
大数据知识工程
智能供应链中的数据科学
云计算安全研究进展及未来趋势
更多内容
学术活动
研究生短期课程.doc
