Lecture Notes in Computer Science 3839 Types for Proofs and Programs International Workshop
TYPES 2004 Jouy-en-Josas2222 年出版0 页ISBN：
Applications of Vibrational Spectoscopy in Food Science Volume I:Instrumentationa and Fundamental Ap
2010 年出版345 页ISBN：9780470742990
Lecture Notes in Computer Science 3796 Cryptography and Coding 10th IMA International Conference
2005 年出版460 页ISBN：354030276X
FOUNDATIONS OF PROBABILITY THEORY STATISTICAL INFERENCE AND STATISTICAL THEORIES OF SCIENCE VOLUME 3
W.L.HARPER & C.A.HOOKER2222 年出版243 页ISBN：
GEOCHEMICAL INVESTIGATIONS IN ERATH AND SPACE SCIENCE:A TRIBUTE TO ISAAC R.KAPLAN
RONALD2004 年出版466 页ISBN：0444516476
Lecture Notes in Computer Science 4533 Term Rewriting and Applications 18th International Conference
RTA 20072007 年出版419 页ISBN：9783540734475
Lecture Notes in Computer Science 4598 Computing and Combinatorics 13th Annual International Confere
COCOON 20072007 年出版570 页ISBN：9783540735441
