LECTURE NOTES IN MATHEMATICS 1295: SEMINAIRE D'ANALYSE P. LELONG - P. DOLBEAULT - H. SKODA
1987 年出版288 页ISBN:3540186913;0387186913
Computation and Reasoning A Type Theory for Computer Science
1994 年出版228 页ISBN:0198538359
LECTURE NOTES ON CLINICAL MEDICINE AND SURGERY FOR DENTAL STUDENTS THIRD EDITION
D.MACLEAN P.E.PREECE1986 年出版317 页ISBN:0632011149
ENCYCLOPEDIA OF COMPUTER SCIENCE AND TECHNOLOGY VOLUME 5 CLASSICAL OPTIMIZATION TO COMPUTER OUTPUT
JACK BELZER ALBERT G.HOLZMAN ALLEN KENT2222 年出版506 页ISBN:0824722558
Handbook of Logic and Proof Techniques for Computer Science
2002 年出版245 页ISBN:081764220X
REDUCED INSTRUCTION SET COMPUTER ARCHITECTURES FOR VLSI
MANOLIS G.H.KATEVENIS2222 年出版215 页ISBN:0262111039
FOUNDATIONS OF QUANTUM CHROMODYNAMICS Third Edition World Scientific Lecture Notes in Physics-Vol.78
T Muta2010 年出版409 页ISBN:9789812793546