INTRODU<em>Cem>TION TO LOGI<em>Cem> DESEGN SE<em>Cem>OND EDITION
<em><em>Aem>L<em>Aem>Nem> <em>Bem>.M<em>Aem>R<em>Cem>OVITZ FLORID<em>Aem> <em>Aem>TO<em>Aem>NTI<em>Cem> UNIVERSITY著2006 年出版652 页ISBN：
PRIN<em>Cem>IPLES OF M<em>Aem><em>Cem>RO E<em>Cem>ONOMI<em>Cem>S SE<em>Cem>OND EDITION
JOHN E.S<em>Aem>YRE <em><em>Aem>L<em>Aem>Nem> J.MORRIS1999 年出版516 页ISBN：0075604639
H<em>aem>nd<em>bem>ook of <em>aem>utom<em>aem>ted re<em>aem>soning; volume II
editors <em><em>Aem>l<em>aem>nem> Ro<em>bem>inson <em>aem>nd <em>Aem>ndrei Voronkov2001 年出版2122 页ISBN：0444508120
MI<em>Cem>ROE<em>Cem>ONOMI<em>Cem>S PRIN<em>Cem>IPLES <em>Aem>ND POLI<em>Cem>Y EIGHTH EDITION
WILLI<em>Aem>M J.<em>Bem><em>Aem>UMOL <em><em>Aem>L<em>Aem>Nem> S.<em>Bem>LINDER1999 年出版816 页ISBN：0030259487
H<em>aem>nd<em>bem>ook of <em>aem>utom<em>aem>ted re<em>aem>soning; volume I
editors <em><em>Aem>l<em>aem>nem> Ro<em>bem>inson <em>aem>nd <em>Aem>ndrei Voronkov2001 年出版970 页ISBN：0444829490
E<em>Cem>ONOMI<em>Cem>S PRIN<em>Cem>IPLES <em>Aem>ND POLI<em>Cem>Y FIFTH EDITION
WILLI<em>Aem>M J.<em>Bem><em>Aem>UMOL <em><em>Aem>L<em>Aem>Nem> S.<em>Bem>LINDER2222 年出版912 页ISBN：0155188631
TE<em>Cem>HNOLOGY IN <em>Aem>MERI<em>Cem><em>Aem> <em>Aem> <em>Bem>RIEF HISTORY
<em><em>Aem>L<em>Aem>Nem> I M<em>Aem>R<em>Cem>US HOW<em>Aem>RD P.SEG<em>Aem>L1989 年出版380 页ISBN：0155897624
（美）<em>P<em>Aem>TRI<em>Cem>Kem> NIEMEYER，D<em>Aem>NIEL LEU<em>Cem>K著；李强，王建新，吴戈译2014 年出版928 页ISBN：9787115356307
本书帮助读者全面地学习和掌握J<em>aem>v<em>aem>开发技能。全书按照示例驱动的方式进行讲解，内容全面，涵盖了J<em>aem>v<em>aem>7最新的语言功能和<em>Aem>PI。对于中高级的J<em>aem>v<em>aem>读者来说，本书也专门深入介绍了并发编程和JVM方面的内容。本书是Ore...
（美）<em>P<em>Aem>TRI<em>Cem>Kem> NIEMEYER，D<em>Aem>NIEL LEU<em>Cem>K著；李强，王建新，吴戈译2014 年出版463 页ISBN：9787115356307
本书帮助读者全面地学习和掌握J<em>aem>v<em>aem>开发技能。全书按照示例驱动的方式进行讲解，内容全面，涵盖了J<em>aem>v<em>aem>7最新的语言功能和<em>Aem>PI。对于中高级的J<em>aem>v<em>aem>读者来说，本书也专门深入介绍了并发编程和JVM方面的内容。本书是Ore...
（德）托马斯·魏根特（<em>Thom<em>aem>sem> Weigend）著；岳礼玲，温小洁译2004 年出版277 页ISBN：7562024545
本书是《德国刑事诉讼程序法》的译著。
