CHEMICAL AND BIOCHEMICAL APPLICATIONS OF LASERS VOLUME Ⅰ
C.BRADLEY MOORE2222 年出版398 页ISBN:0125054017
Handbook of Logic and Proof Techniques for Computer Science
2002 年出版245 页ISBN:081764220X
ENCYCLOPEDIA OF MATHEMATICS AND ITS APPLICATIONS 135 COMBINATORICS
AUTOMATA AND NUMBER THEORY2010 年出版615 页ISBN:9780521515979
我在青科大听讲座=Lectures at Qingdao University of Science and Technology
王瑞芳主编;聂法良,任允晓副主编2012 年出版459 页ISBN:
Theory and Design of Digital Computer Systems Second Edition
Douglas Lewin1980 年出版472 页ISBN: