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

1

Cover is for reference only

24th Annual European Symposium on Algorithms : ESA 2016, August 22-24, 2016, Aarhus, Denmark /

Corporate Authors: European Symposium on Algorithms Aarhus, Denmark
Group Author: Sankowski, Piotr; Zaroliagis, Christos
Published: Schloss Dagstuhl Office,
Publication Dates: 2016.
Call Number: O24-532/E898/2016

Book

2

Cover is for reference only

Reviews in computational chemistry.. Vol. 24

Group Author: Lipkowitz Kenny B; Cundari Thomas R 1964-; Boyd Donald B
Published: John Wiley,
Publication Dates: 2007.
Call Number: O6-4/R454/V.24

Book

3

Cover is for reference only

Automated deduction -- CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013 : proceedings /

Corporate Authors: International Conference on Automated Deduction Lake Placid, N.Y.); SpringerLink (Online service)
Group Author: Bonacina, Maria Paola.
Published:

Electronic eBook

4

Cover is for reference only

Combinatorial algorithms：Courant Computer Science Symposium 9: January 24-25, 1972

Corporate Authors: Courant Computer Science Symposium (9th 1972 Naval Postgraduate School; Courant Institute of Mathematical Sciences
Group Author: Rustin Randall
Published: Algorithmics Press,
Publication Dates: c1973.
Call Number: O157-53/C858/1972/

Book

5

Cover is for reference only

Mathematical methods in medical imaging：23-24 July 1992, San Diego, California

Corporate Authors: Society for Industrial and Applied Mathematics; Society of Photo-Optical Instrumentation Engineers
Group Author: Wilson Joseph N; Wilson David C 1942-
Published: SPIE,
Publication Dates: c1992.
Call Number: R445-532/M426/1992

Book

6

Cover is for reference only

Proceedings of the International Congress of Mathematicians, August 16-24, 1983, Warszawa

Corporate Authors: International Congress of Mathematicians (1983 Warsaw, Poland
Group Author: Ciesielski Zbigniew 1934-; Olech Czes盿w
Published: PWN-Polish Scientific Publishers,
Publication Dates: 1984.
Call Number: O1-53/I61/1983/

Book

7

Cover is for reference only

Discrete mathematical chemistry：DIMACS workshop, discrete mathematical chemistry, March 23-24, 1998, Rutgers University

Corporate Authors: DIMACS workshop discrete mathematical chemistry (1998 Rutgers University).
Group Author: Hansen P; Pierre; Fowler P. W; Zheng Maolin 1955-
Published: American Mathematical Society,
Publication Dates: c2000.
Call Number: O6-051/D611/1998

Book

8

Cover is for reference only

Image algebra and morphological image processing II, 23-24 July 1991, San Diego, California

Corporate Authors: Society of Photo-Optical Instrumentation Engineers
Group Author: Dougherty Edward R; Gader Paul D 1956-
Published: SPIE,
Publication Dates: c1991.
Call Number: O438-53/I31/1991/

Book

9

Cover is for reference only

European Women in Mathematics：proceedings of the tenth general meeting, Malta, 24-30 August 2001

Corporate Authors: European Women in Mathematics. Meeting (10th 2001 Malta
Group Author: Mezzetti Emilia; Paycha Sylvie
Published: World Scientific,
Publication Dates: c2003.
Call Number: O1-532/E899/2001

Book

10

Cover is for reference only

European women in mathematics : proceedings of the tenth General Meeting, Malta, 24-30 August 2001 /

Corporate Authors: European Women in Mathematics. $b General Meeting Malta; World Scientific Firm
Group Author: Mezzetti, Emilia; Paycha, Sylvie
Published: World Scientific Pub. Co.,
Publication Dates: 2003.

eBook

11

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

12

Cover is for reference only

Thirteenth Annual IEEE Symposium on Logic in Computer Science：June 21-24, 1998, Indianapolis, Indiana : proceedings

Corporate Authors: IEEE Symposium on Logic in Computer Science (13th 1998 Indianapolis, Ind; IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing
Published: IEEE Computer Society Press,
Publication Dates: c1998.
Call Number: TP302-532/I59/1998/

Book

13

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

14

Cover is for reference only

Algorithms in bioinformatics : 16th international workshop, WABI 2016, Aarhus, Denmark, August 22-24, 2016 : proceedings /

Corporate Authors: WABI Workshop Aarhus, Denmark
Group Author: Frith, Martin; Pedersen, Christian Nørgaard Storm
Published: Springer International Publishing,
Publication Dates: [2016]
Call Number: Q811.4-532/A396/2016

Book

15

Cover is for reference only

Formal concept analysis : 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013, proceedings /

Corporate Authors: International Conference on Formal Concept Analysis Dresden, Germany); SpringerLink (Online service)
Group Author: Cellier, Peggy; Distel, Felix; Ganter, Bernhard
Published: Springer,
Publication Dates: [2013]

eBook

16

Cover is for reference only

Computing and combinatorics : 24th International Conference, COCOON 2018, Qing Dao, China, July 2-4, 2018, proceedings /

Corporate Authors: COCOON Conference Qingdao, China
Group Author: Wang, Lusheng, 1962; Zhu, Daming Professor
Published: Springer,
Publication Dates: [2018]
Call Number: TP301-532/C738.1/2018

Book

17

Cover is for reference only

Lectures on pseudo-differential operators : regularity theorems and applications to non-elliptic problems. (MN-24) /

Main Authors: Nagel, Alexander
Corporate Authors: De Gruyter.
Group Author: Stein, Elias M.
Published: Princeton University Press,
Publication Dates: [2015]

eBook

18

Cover is for reference only

Algebra and coalgebra in computer science：second international conference, CALCO 2007, Bergen, Norway, August 20-24, 2007 : proceedings

Corporate Authors: CALCO 2007 (2007 Bergen, Norway); SpringerLink (Online service)
Group Author: Montanari U.; (Ugo); Haveraaen Magne.; Mossakowski Till.
Published: Springer,
Publication Dates: c2007.

Book

19

Cover is for reference only

DNA Computing and Molecular Programming : 23rd International Conference, DNA 23, Austin, TX, USA, September 24 28, 2017, Proceedings /

Corporate Authors: SpringerLink Online service
Group Author: Brijder, Robert; Qian, Lulu
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.

eBook

20

Cover is for reference only

Logic, Language, Information, and Computation : 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings /

Corporate Authors: SpringerLink Online service
Group Author: Kennedy, Juliette; Queiroz, Ruy J. G. B. de
Published: Springer Berlin Heidelberg : Imprint: Springer,
Publication Dates: 2017.

eBook

Narrow Search