计算机科学国家重点实验室

State Key Laboratory of Computer Science


Archive for the ‘学术报告’ Category

The Evolutionary Benefit of Recombination

2015/08/28, Andy Lewis-Pye

不可行路径片段制导的线性混成自动机有界可达性检验及全局性质推导

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

Rss Feeds