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

1

Cover is for reference only

Reviews in computational chemistry.. Vol. 26

Group Author: Lipkowitz Kenny B; Cundari Thomas R 1964-; Boyd Donald B
Published: Wiley,
Publication Dates: c2009.
Call Number: O6-37/R454/V.26

Book

2

Cover is for reference only

Wavelets XII：26-29 August 2007, San Diego, California, USA

Corporate Authors: Society of Photo-Optical Instrumentation Engineers
Group Author: Goyal Vivek K.; Papadakis Manos.; Van De Ville Dimitri.
Published: SPIE,
Publication Dates: c2007.
Call Number: TN911.74-532/W355/2007

Book

3

Cover is for reference only

Mathematical methods in geophysical imaging II：25-26 July 1994, San Diego, California

Corporate Authors: Society of Exploration Geophysicists; Society of Photo-Optical Instrumentation Engineers
Group Author: Hassanzadeh Siamak
Published: SPIE,
Publication Dates: c1994.
Call Number: P3-05/M426/1994

Book

4

Cover is for reference only

Mathematical methods in medical imaging III：25-26 July 1994, San Diego, California

Corporate Authors: Society of Photo-Optical Instrumentation Engineers
Group Author: Bookstein Fred L 1947-
Published: SPIE,
Publication Dates: c1994.
Call Number: R445-532/M426/1994

Book

5

Cover is for reference only

Mathematical results in quantum mechanics：QMath7 conference, Prague, June 22-26, 1998

Group Author: Exner Pavel 1946-; Tater Miloš 1948-; Dittrich Jaroslav
Published: Birkhäuser Verlag,
Publication Dates: c1999.
Call Number: O413.1-532/M426/1998

Book

6

Cover is for reference only

Image algebra and morphological image processing V：25-26 July 1994, San Diego, California

Corporate Authors: Society of Photo-Optical Instrumentation Engineers
Group Author: Dougherty Edward R.; Gader Paul D. 1956-; Schmitt Michel.
Published: SPIE,
Publication Dates: c1994.
Call Number: TN919.8-532/I31.2/1994

Book

7

Cover is for reference only

Supercomputing : Third Russian Supercomputing Days, RuSCDays 2017, Moscow, Russia, September 25 26, 2017, Revised Selected Papers /

Corporate Authors: SpringerLink Online service
Group Author: Voevodin, Vladimir; Sobolev, Sergey
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.

eBook

8

Cover is for reference only

Reachability problems : 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings /

Corporate Authors: RP Workshop Marseille, France
Group Author: Potapov, Igor; Reynier, Pierre-Alain
Published: Springer,
Publication Dates: [2018]
Call Number: TP302-532/R281/2018

Book

9

Cover is for reference only

Computer mathematics : proceedings of the fifth Asian Symposium (ASCM 2001), Matsuyama, Japan, 26-28 September 2001 /

Corporate Authors: Asian Symposium on Computer Mathematics Matsuyama-shi, Japan; World Scientific Firm
Group Author: Shirayanagi, Kiyoshi; Yokoyama, Kazuhiro
Published: World Scientific Pub. Co.,
Publication Dates: 2001.

eBook

10

Cover is for reference only

Computer mathematics：proceedings of the fifth Asian Symposium (ASCM 2001), Matsuyama, Japan, 26-28 September 2001

Corporate Authors: Asian Symposium on Computer Mathematics (5th 2001 Matsuyama, Japan
Group Author: Shirayanagi Kiyoshi; Yokoyama Kazuhiro
Published: World Scientific,
Publication Dates: c2001.
Call Number: TP301.6-532/A832/2001

Book

11

Cover is for reference only

Algorithms and Complexity : 10th International Conference, CIAC 2017, Athens, Greece, May 24-26, 2017, Proceedings /

Corporate Authors: SpringerLink Online service
Group Author: Fotakis, Dimitris; Pagourtzis, Aris; Paschos, Vangelis Th
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.

eBook

12

Cover is for reference only

Interactive theorem proving : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013 : proceedings /

Corporate Authors: ITP (Conference) Rennes, France); SpringerLink (Online service)
Group Author: Blazy, Sandrine; Paulin-Mohring, Christine, 1962-; Pichardie, David.
Published: Springer,
Publication Dates: 2013.

eBook

13

Cover is for reference only

Tenth Annual IEEE Symposium on Logic in Computer Science：proceedings, June 26-29, 1995, San Diego, California

Corporate Authors: Symposium on Logic in Computer Science (10th 1995 San Diego, Calif; ACM Special Interest Group for Automata and Computability Theory; IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing
Group Author: Kozen Dexter 1951-
Published: IEEE Computer Society Press,
Publication Dates: c1995.
Call Number: TP302-532/I59/1995

Book

14

Cover is for reference only

2021 International Conference on Statistics, Applied Mathematics, and Computing Science (CSAMCS 2021) : 26-28 November 2021, Nanjing, China /

Corporate Authors: International Conference on Statistics, Applied Mathematics, and Computing Science Nanjing, China); Nanjing University (China); AEIC Academic Exchange Information Center (China); SPIE (Society)
Group Author: Yin, Hong-Ming; Chen, Ke; Mestrovic, Romeo; Oliveira, Teresa A.
Published: SPIE,
Publication Dates: [2022]
Call Number: O212.1-532/I614/2021

Book

15

Cover is for reference only

The 2nd International Conference on Science, Mathematics, Environment, and Education : Surakarta, Indonesia, 26-28 July 2019 /

Corporate Authors: International Conference on Science, Mathematics, Environment, and Education Surakarta, Indonesia
Group Author: Indriyanti, Nurma Yunita; Ramli, Murni; Nurhasanah, Farida
Published: AIP Publishing LLC,
Publication Dates: 2019.
Call Number: X22-532/I614-6/2019

Book

16

Cover is for reference only

New perspectives on mathematical practices : essays in philosophy and history of mathematics : Brussels, Belgium, 26-28 March 2007 /

Corporate Authors: Perspectives on Mathematical Practices Conference Brussels, Belgium; World Scientific Firm
Group Author: Kerkhove, Bart van
Published: World Scientific Pub. Co.,
Publication Dates: 2009.

eBook

17

Cover is for reference only

New perspectives on mathematical practices：essays in philosophy and history of mathematics : Brussels, Belgium, 26-28 March 2007

Corporate Authors: Perspectives on Mathematical Practices Conference (2nd 2007 Brussels, Belgium
Group Author: Kerkhove Bart van
Published: World Scientific,
Publication Dates: c2009.
Call Number: O1-532/P467/2007

Book

18

Cover is for reference only

Proceedings：15th annual Symposium on Logic in Computer Science : June 26-28, 2000, Santa Barbara, California

Corporate Authors: Symposium on Logic in Computer Science (15th 2000 Santa Barbara, California; IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing
Published: IEEE Computer Society,
Publication Dates: c2000.
Call Number: TP302-532/I59/2000

Book

19

Cover is for reference only

New directions in applied mathematics：papers presented April 25/26, 1980, on the occasion of the Case centennial celebration

Corporate Authors: Case Western Reserve University
Group Author: Hilton Peter John; Young Gail S
Published: Springer-Verlag,
Publication Dates: c1982.
Call Number: O29-53/N532/1980/

Book

20

Cover is for reference only

44th International Symposium on Mathematical Foundations of Computer Science : MFCS 2019, August 26-30, 2019, Aachen, Germany /

Corporate Authors: International Symposium on Mathematical Foundations of Computer Science Aachen, Germany; Schloss Dagstuhl Convention center
Group Author: Rossmanith, Peter; Heggernes, Pinar; Katoen, Joost-Pieter
Published: Schloss Dagstuhl Office,
Publication Dates: 2019.
Call Number: TP301.6-532/M426/2019

Book

Narrow Search