2015/08/28, Andy Lewis-Pye
Archive for the ‘学术报告’ Category
不可行路径片段制导的线性混成自动机有界可达性检验及全局性质推导
2015/01/08, 卜磊
Practical Concurrent and Parallel Programming
2014/12/09, 14:30 to 17:30. Prof. Peter Sestoft
Communicating Transactions (a Survey)
2014/12/12, Matthew Hennessy
Fast sheet-defined functions in spreadsheets
2014/12/08, 10:00 to 12:00. Peter Sestoft