TN432.02/19(美) Ivan Sutherland, Bob Sproull, David Harris著/科学出版社/ 2021
TP274/627(美) Edmund M. Clarke, Jr, Orna Grumberg, Doron A. Peled著/电子工业出版社/ 2018.11
TN01/276马洪连主编/电子工业出版社/ 2018
TP332/275马洪连主编/北京航空航天大学出版社/ 2015.01
首页
我的图书馆