Lecture Notes in Computer Science 3299 Automated Technology for Verification and analysis Second Int
ATVA 20042004 年出版506 页ISBN：3540236104
Lecture Notes in Computer Science 3707 Automated Technology for Verification and Analysis Third Inte
ATVA 20052005 年出版506 页ISBN：3540292098
THE SCIENCE OF LINGUISTICS IN THE ART OF TRANSLATION SOME TOOLS FROM LINGUISTICS FOR THE ANALYSIS AN
JOSEPH L. MALONE1988 年出版241 页ISBN：
Lecture Notes in Computer Science 3670 Formal Techniques for Comprter Systems and Busoness Processes
EPEW 20052005 年出版349 页ISBN：3540287019
MODERN METHODS OF FEEDING IN INFANCY AND CHILDHOOD
DONALD PATERSON AND J.FOREST SMITH1946 年出版184 页ISBN：
HANDBOOK OF THERMAL ANALYSIS AND CALORIMETRY VOLUME 3
2222 年出版828 页ISBN：0444512861
Biochemical method of analysis theory and applications
Saroj.Dua and neera garg2010 年出版209 页ISBN：1842655906
