Lecture Notes in Computer Science 4732 Theorem Proving in Higher Order Logics 20th International Con
TPHOLs 20072007 年出版400 页ISBN:9783540745907
Lecture Notes in Computer Science 3603 Theorem Proving in Higher Order Logics 18th International Con
TPHOLs 20052005 年出版409 页ISBN:3540283722
ADVICE ONLINE ADVICE-GIVING IN AN AMERICAN INTERNET HEALTH COLUME
MIRIAM A.LOCHER2006 年出版277 页ISBN:9027253927
PROBLEM SOLVING & PROGRAM DESIGN IN C THIRD EDITION UPDATE
2222 年出版770 页ISBN:0201754908
AUTOMATING DESIGN IN PRO/ENGINEER WITH PRO/PROGRAM
MARK HENAULT SEAN SEVRENCE MIKE WALRAVEN FRED KARAM GREG MLOTKOWSKI1997 年出版284 页ISBN:1566901170
PROBLEM SOLVING AND PROGRAM DESIGN IN C THIRD EDITION
1999 年出版770 页ISBN:0201357488
ACADEMIC ARTICLE WRITING IN ENGLISH(IN ECONOMICS AND BUSINESS MANAGEMENT):PRINCIPLES AND PRACTICES
李桂荣著2007 年出版257 页ISBN:9787310025078
STRATEGIES IN TEACHING ANTHROPOLOGY
PATRICIA C.RICE DAVID W.MCCURDY2000 年出版181 页ISBN:0130256838