Lecture Notes in Computer Science 2283 Isabelle/HOL A Proof Assistant for Higher-Order Logic
2002 年出版218 页ISBN：3540433767
Lecture Notes in Computer Science 3617 Image Analysis and Processing-ICIAP 2005 13th International C
2005 年出版1221 页ISBN：3540288694
Lecture Notes in Computer Science 3390 Software Engineering for Multi-Agent Systems III Research Iss
2005 年出版289 页ISBN：3540248439
Lecture Notes in Computer Science 2992 Advances in Database Technology-EDBT 2004 9th International C
2004 年出版877 页ISBN：3540212000
LECTURE NOTES IN COMPUTER SCIENCE 38 AN OPTIMIZED TRANSLATION PROCESS AND ITS APPLICATION TO ALGOL 6
G.GOOS AND J.HARTMANIS1976 年出版334 页ISBN：3540075453
新世纪生活英语教程 成人教育版 第3册 for adult learners Book three
杨永林总主编；司建国主编2006 年出版202 页ISBN：730212504X
本教程是专门为成年英语爱好者编写的新世纪外语教材。在编写的过程中，充分使用了清华大学在教学、科研等方面的资源，使得本套教材编写质量得到了保障。教程的选材贴近生活，采用“语境设定”同“角色扮演”相结...
覃朝宪，尹明祥总主编；覃朝宪，张家政册主编2005 年出版248 页ISBN：7040174936
本套教材始终如一地贯彻了《大学英语课程教学要求》（试行）的精神和要求，结合当前大学英语教学改革的发展趋势，力图以建构主义为理论基石，构筑“以动机为先导，以兴趣为动力，以学生为中心，以任务为基础，以自学......
初中英语阅读 第1册 教师用书 供初中一年级第一和第二学期使用 ＝ JUNIOR ENGLISH READER TEACHER'S BOOK 1
（英）桑普森编2000 年出版141 页ISBN：7810468332
暂缺《初中英语阅读（教师用书第1册供初1使用）》简介
