题名	责任者	出版社	索书号
计算机维护技术	瓮正科编著	清华大学出版社	TP307/8012
可计算性与计算复杂性导引	张立昂编著	北京大学出版社	TP301/1206