Demands of the Day:On the Logic of Anthropological Inquiry
Paul Rabinow2013 年出版127 页ISBN：9780226036915
TURING'S LEGACY:DEVELOPMENTS FROM TURING'S IDEAS IN LOGIC
ROD DOWNEY2014 年出版529 页ISBN：9781107043480
Proceedings Sixth Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE
IEEE Computer society1991 年出版417 页ISBN：
SYMBOLIC ANALYSIS FOR AUTOMATED DESIGN OF ANALOG INTEGRATED CIRCUITS
Georges Gielen1991 年出版290 页ISBN：
Fundamentals of High-Frequency CMOS Analog Integrated Circuits
Duran Leblebici2009 年出版302 页ISBN：
