1989 ACM SEVENTEENTH ANNUAL COMPUTER SCIENCE CONFERENCE
2222 年出版491 页ISBN：0897912993
1985 ACM THIRTEENTH ANNUAL COMPUTER SCIENCE CONFERENCE
2222 年出版438 页ISBN：0897911504
STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS VOLUME 121 CONSTRUCTIVISM IN MATHEMATICS AN IN
A.S.TROELSTRA AND D.VAN DALEN1988 年出版356 页ISBN：0444702660
STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS VOLUME 136 ADMISSIBILITY OF LOGICAL INFERENCE
VLADIMIR V.RYBAKOV1997 年出版617 页ISBN：0444895051
STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS VOLUME 137 HANDBOOK OF PROOF THEORY
SAMUEL R.BUSS1998 年出版811 页ISBN：0444898409
Handbook of research on emerging advancements and technologies in software engineering
Imran Ghani ; Wan Mohd Nasir Wan Kadir ; Mohammad Nazir Ahmad2014 年出版688 页ISBN：1466660267
FUNDAMENTALS OF MATERIALS SCIENCE AND ENGINEERING AN INTEGRATED APPROACH INTERNATIONAL STUDENT VERSI
WILLIAM D.CALLISTER2016 年出版932 页ISBN：1119249252
CASARETT AND DOULL'S TOXICOLOGY THE BASIC SCIENCE OF POISONS THIRD EDITION
MACMILLAN PUBLISHING COMPANY1986 年出版974 页ISBN：0023646500
CASARETT AND DOULL'S TOXICOLOGY THE BASIC SCIENCE OF POSIONS FIFTH EDITION
CURTIS D.KLAASSEN1998 年出版1111 页ISBN：7506240165
Thomas Kuhn's revolutions a historical and an evolutionary philosophy of science?
James A. Marcum2015 年出版288 页ISBN：1472530493
