当前位置：首页 > 名称
大约有3,000项符合查询结果项。（搜索耗时：0.0109秒）
为您推荐： 英语习语 dk英语习语 雕刻英语习语 牛津英语习语词典 英语常用短语习语一本全 京联正品dk英语习语英国 出版社9787500167808
-
-
-
-
中学生常用英语短语 习语3000例
费仲芳编著2013 年出版270 页ISBN：9787562836216本书是一部简易实用、通俗便携的英语常用短语、习语参考书，涵盖了中学阶段所需要掌握的3000余例常用英语短语及习语，对学生扩大阅读面、增强语言素材积累、提高英语口语会话和阅读写作水平均有一定帮助。所选...
-
华研外语 淘金高阶英语专业8级 人文知识与改错 1000题训练 2014
刘绍龙主编；于建华，陶竹，王柳琪副主编；邓建国，李慧敏，马道珍等编2013 年出版330 页ISBN：9787506293778本书是针对英语专业8级考试的单项训练，包括人文知识与改错两大题型。其中人文知识分英语国家概况、英美文学、语言学三大块讲述理论，每一块后面有相应的训练题150道。改错包括理论及改错题训练50篇。...
-
2014淘金高阶英语专业八级阅读120篇 全文翻译+难句分析+词汇
刘绍龙，王柳琪主编；傅蓓，韩玉萍副主编；梅美莲，李逸涵，毛澄怡等编2013 年出版484 页ISBN：9787506293808本书是针对英语专业8级考试的阅读单项训练，包括答题理论，题30个单元共120篇，题后有译文、答案、解析、难句分析、词汇突破等解说方式。本书是目前解析最详尽的英语专业8级阅读单项训练。...
-
新英语短语习语大词典=A NEW COMPREHENSIVE DICTIONARY OF NEGLISH PHRASES AND IDIOMS
钱厚生主编2013 年出版1118 页ISBN： -
牛津英语习语词典 英汉双解版
牛津大学出版社编2013 年出版613 页ISBN：9787513528962本书以2006年出版的Oxford Idioms Dictionary（2nd Edition）为蓝本编译，收录10000多条口语书面语中常用的英语和美语习语，解释深入详尽，并附以大量取材于语料库和互联网的示例，在理解之余，展示正确用法。100余条语...
-
-
高阶逻辑辅助证明系统
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
学科分类