馆藏书目查询系统 - 上海图书馆

1

Cover is for reference only

Main Authors: (英) 阿蒂亚 Atiyah, Michael Francis (1929-2019) ((英)阿蒂亚著)
Group Author: 袁向东 (编译)
Published: 大连理工大学出版社
Publication Dates: 2022
Call Number: O1-0/7241-1

Book

2

Cover is for reference only

数学的建筑 = The architecture of mathematics：珍藏版

Main Authors: (法) 布尔巴基 Bourbaki, Nicolas ((法)布尔巴基著)
Group Author: 胡作玄 (编译)
Published: 大连理工大学出版社
Publication Dates: 2022
Call Number: O1-06/4227-1

Book

3

Cover is for reference only

最优控制理论讲义

Main Authors: 黄琳 (黄琳编著)
Published: 科学出版社
Publication Dates: 2021
Call Number: O232/4811

Book

4

117个多项式问题来自AwesomeMath夏季课程 from the AwesomeMath summer program

Cover is for reference only

117个多项式问题：来自AwesomeMath夏季课程 = 117 polynomial problems：from the AwesomeMath summer program

Main Authors: (美) 安德雷斯库 Andreescu, Titu ((美)蒂图·安德雷斯库(Titu Andreescu)，(伊朗)纳维德·萨法伊(Navid Safaei)，(意)亚历山德罗·文图洛(Alessandro Ventullo)著); (伊朗) 萨法伊 Safaei, Navid; (意) 文图洛 Ventullo, Alessandro
Group Author: 隋振林 (译)
Published: 哈尔滨工业大学出版社
Publication Dates: 2021
Call Number: O174.14/3421

Book

5

Cover is for reference only

机器学习的数学理论 = Mathematical theories of machine learning-theory and applications

Main Authors: 史斌 (史斌，(美)S.S. 艾扬格(S.S. Iyengar)著); 美艾扬格 Iyengar, S. S.
Group Author: 李飞 (译); 赵文飞 (译); 王希彬 (译); 刘涛 (译)
Published: 机械工业出版社
Publication Dates: 2020
Call Number: TP181/5004

Book Online Online

6

吴文俊全集数学机械化卷 Ⅱ Mathematics mechanization Ⅱ mechanical theorem proving in geometries: basic principles

Cover is for reference only

吴文俊全集. 数学机械化卷. Ⅱ = The complete works of Wu Wen-tsun. Mathematics mechanization. Ⅱ：mechanical theorem proving in geometries: basic principles

Main Authors: 吴文俊 1919-2017 (吴文俊著)
Published: 龙门书局
Publication Dates: 2019
Call Number: O1-53/6802-4#2

Book

7

吴文俊全集数学机械化卷 Ⅳ Mathematics mechanization Ⅳ 几何定理机器证明的基本原理

Cover is for reference only

吴文俊全集. 数学机械化卷. Ⅳ = The complete works of Wu Wen-Tsun. Mathematics mechanization. Ⅳ：几何定理机器证明的基本原理

Main Authors: 吴文俊 (吴文俊著)
Published: 科学出版社
Publication Dates: 2019
Call Number: O1-53/6802-4#4

Book

8

Cover is for reference only

义务教育阶段学生数学符号意识发展水平研究

Main Authors: 朱立明 (朱立明著)
Published: 吉林大学出版社
Publication Dates: 2019
Call Number: O1-0/2906

Book

9

吴文俊全集数学机械化卷 Ⅴ Mathematics mechanization Ⅴ 数学机械化

Cover is for reference only

吴文俊全集. 数学机械化卷. Ⅴ = The complete works of Wu Wen-Tsun. Mathematics mechanization. Ⅴ：数学机械化

Main Authors: 吴文俊 (1919-2017) (吴文俊著)
Group Author: 高小山 (编订)
Published: 科学出版社
Publication Dates: 2019
Call Number: O1-53/6802-4#5

Book

10

吴文俊全集数学机械化卷 Ⅲ Mathematics mechanization Ⅲ 数学机械化

Cover is for reference only

吴文俊全集. 数学机械化卷. Ⅲ = The complete works of Wu Wen-Tsun. Mathematics mechanization. Ⅲ：数学机械化

Main Authors: 吴文俊 (吴文俊著)
Group Author: 高小山 (编订)
Published: 科学出版社
Publication Dates: 2019
Call Number: O1-53/6802-4#3

Book

11

吴文俊全集数学机械化卷 Ⅰ Mathematics mechanization Ⅰ

Cover is for reference only

吴文俊全集. 数学机械化卷. Ⅰ = The complete works of Wu Wen-tsun. Mathematics mechanization. Ⅰ

Main Authors: 吴文俊 (吴文俊著)
Group Author: 高小山 (编订)
Published: 科学出版社龙门书局
Publication Dates: 2019
Call Number: O1-53/6802-4#1

Book

12

Cover is for reference only

编程原本 = Elements of programming

Main Authors: 美斯特潘诺夫 Stepanov, Alexander ((美)亚历山大·斯特潘诺夫(Alexander Stepanov)，(美)保罗·麦克琼斯(Paul McJones)著); 美麦克琼斯 McJones, Paul
Group Author: 裘宗燕 (译)
Published: 人民邮电出版社
Publication Dates: 2019
Call Number: TP311.1/4823-2

Book Online Online

13

Cover is for reference only

黑洞的数学理论 = The mathematical theory of black holes

Main Authors: 美钱德拉塞卡 Chandrasekhar, S 1910-1995) ((美)S. 钱德拉塞卡著)
Group Author: 卢炬甫 (1947-2017) (译)
Published: 高等教育出版社
Publication Dates: 2018
Call Number: P145.8/8725

Book

14

Cover is for reference only

最优化原理与方法

Main Authors: 李军 (李军编著)
Published: 华南理工大学出版社
Publication Dates: 2018
Call Number: O224/4435

Book

15

Cover is for reference only

给教师的建议

Main Authors: 苏苏霍姆林斯基 B. A (1918-1970) ((苏)B. A. 苏霍姆林斯基著)
Group Author: 周蕖 (译); 王义高 (译); 刘启娴 (译); 董友 (译)
Published: 长江文艺出版社
Publication Dates: 2018
Call Number: G42/4314-4

Book

16