- 中国宇航出版社(1)
- 中国宇航出版社(1)
- 上海外语教育出版社(1)
- 上海外语教育出版社(1)
- 科学出版社(1)
- 科学出版社(1)
- 对外经济贸易大学出版社(1)
- 对外经济贸易大学出版社(1)
- 对外经济贸易大学出版社(1)
- 对外经济贸易大学出版社(1)
- 科学出版社(1)
- 科学出版社(1)
- 上海外语教育出版社(1)
- 上海外语教育出版社(1)
- 中国宇航出版社(1)
- 中国宇航出版社(1)
-
吴文俊全集 数学机械化 5
¥214.6(7.2折)定价:¥298.0本卷收录了吴文俊在数学机械化领域发表的46篇论文,内容包括:几何定理机器证明的吴方法、多项式系统符号求解的Ritt-吴特征列方法、构造性微分代数几何理论、不等式机器证明与优化问题的有限核定理等数学机械化领域的奠基性成果,还包括数学机械化方法在数学定理的自动发现、天体中心构型问题求解、平面机构定理的机器证明、机器人的运动学问题的自动求解、几何设计中的曲面拼接等问题中的应用...
-
(本科教材)综合教程教师用书.1
¥73.5(7.5折)定价:¥98.0来稿为我社策划教材,参考《英语类专业教学指南》和《高等学校课程思政建设指导纲要》编写,注重立德树人,供基础阶段英语专业教学使用。教材包含三篇选文,各有侧重,在打牢语言基本功的同时,让学生关注语篇、文体、话语、中西文化对比,培养学生批判性思维能力和对外沟通交流中讲述中国故事的能力。教师用书提供教学建议、练习答案、录音文字等,供教学参考...
-
企业走出去商务英语:上册:1
¥28.1(7.2折)定价:¥39.0这套教材具有以下特点:1. 内容比较全面,覆盖去海外生活和从事商务活动的不同方面,语言地道,反映商务英语的发展动向;2. 教材以阅读和口语为主,阅读材料为练习口语提供素材,对话部分为口语练习提供模板,从而为本教材的使用者提供规范地道的学习资料;3. 就课文中出现的商务方面的知识、以及语言现象,包括常用句子结构和词语的运用,做了详细的注释,并附以例句;4. 把商务知识和语言基本技能结合起来、规范性和实用性结合起来、在每篇课文后都附有大量