2015二十一世纪的计算大会 | A Mathematical View of Computer Systems

2015二十一世纪的计算大会 | A Mathematical View of Computer Systems