题名	责任者	出版社	索书号
形式语言与自动机	陈崇昕编著	北京邮电学院出版社	TP23/10
智能化测量控制仪表原理与设计	徐爱钧编著	北京航空航天大学出版社	TP23/12