Lecture Notes in Computer Science 3185 Formal Methods for the Design of Real-Time Systems Internatio
Communication and Systems2004 年出版295 页ISBN：
HANDBOOK OF LOGIC IN ARTIFICIAL INTELLIGENCE AND LOGIC PROGRAMMING Volume 2 Deduction Methodologies
DOV M.GABBAY1994 年出版511 页ISBN：
ENCYCLOPAEDIA OF REFERENCES HUMAN LIFE AND WISDOM VOLUME 2
HENRY SOUTHGATE1993 年出版656 页ISBN：
SOCIAL BONDS IN LATER LIFE AGING AND INTERDEPENDENCE
WARREN A.PETERSON AND JILL QUADAGNO1985 年出版447 页ISBN：080392237X
BLACK MARKETE THE SUPPLY AND DEMAND OF BODY PARTS
MICHELE GOODWIN2006 年出版294 页ISBN：9780521852807
ECONOMETRIC MODELS AND ECONOMIC FORECASTS SECOND EDITION
ROBERT S.PINDYCK DANIEL L.RUBINFELD1981 年出版630 页ISBN：
Choices and Constraints in Family Life 3rd Edition
Maureen Baker2014 年出版255 页ISBN：0199005376
HARRAP'S STANDARD FRENCH AND ENGLISH DICTIONARY PART ONE
J.E.MANSION1956 年出版912 页ISBN：
