Lecture Notes in Computer Science 3085 Types for Proofs and Programs International Workshop
TYPES 2003 Torino2222 年出版0 页ISBN：
Lecture Notes in Computer Science 1696:Research and Advanced Technology for Digital Libraries
Serge Abiteboul1999 年出版499 页ISBN：3540665587
Lecture Notes in Computer Science 3232:Research and Advanced Technology for Digital Libraries
Rachel Heery2004 年出版528 页ISBN：3540230130
EVALUATING INFORMATION:A GUIDE FOR USERS OF SOCIAL SCIENCE RESEARCH SECOND EDITION
JEFFREY KATZER KENNETH H.COOK WAYNE W.CROUCH1982 年出版236 页ISBN：0394348427
交易圣经=THE UNIVERSAL PRINCIPLES OF SUCCESSFUL TRADING Essential Knowledge For All Traders in All Mark
（澳）布伦特·奔富（Brent Penfold）著2016 年出版0 页ISBN：
ESSENTIALS OF PHYSICS SECOND EDITION A TEXT FOR STUDENTS OF SCIENCE AND ENGINEERING
2222 年出版568 页ISBN：0201006634
Lecture Notes in Computer Science 3839 Types for Proofs and Programs International Workshop
TYPES 2004 Jouy-en-Josas2222 年出版0 页ISBN：
MATHEMATICAL STERUCTURES FOR COMPUTER SCIENCE A Modern Approach to Discrete Mathematics SIXTH EDITIO
2007 年出版807 页ISBN：071676864X
