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

1

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

2

Cover is for reference only

Computing and Combinatorics : 23rd International Conference, COCOON 2017, Hong Kong, China, August 3-5, 2017, Proceedings /

Corporate Authors: SpringerLink Online service
Group Author: Cao, Yixin; Chen, Jianer
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.

eBook

3

Cover is for reference only

Fundamentals of Computation Theory : 21st International Symposium, FCT 2017, Bordeaux, France, September 11 13, 2017, Proceedings /

Corporate Authors: SpringerLink Online service
Group Author: Klasing, Ralf; Zeitoun, Marc
Published: Springer Berlin Heidelberg : Imprint: Springer,
Publication Dates: 2017.

eBook

4

Cover is for reference only

Unveiling Dynamics and Complexity : 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings /

Corporate Authors: SpringerLink Online service
Group Author: Kari, Jarkko; Manea, Florin; Petre, Ion
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.

eBook

5

Cover is for reference only

Graph-Theoretic Concepts in Computer Science : 43rd International Workshop, WG 2017, Eindhoven, The Netherlands, June 21-23, 2017, Revised Selected Papers /

Corporate Authors: SpringerLink Online service
Group Author: Bodlaender, Hans L; Woeginger, Gerhard J
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.

eBook

6

Cover is for reference only

Algorithms for Computational Biology : 4th International Conference, AlCoB 2017, Aveiro, Portugal, June 5-6, 2017, Proceedings /

Corporate Authors: SpringerLink Online service
Group Author: Figueiredo, Daniel; Martín Vide, Carlos; Pratas, Diogo; Vega-Rodríguez, Miguel A
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.

eBook

7

Cover is for reference only

Paradigms in Cryptology - Mycrypt 2016. Malicious and Exploratory Cryptology : Second International Conference, Mycrypt 2016, Kuala Lumpur, Malaysia, December 1-2, 2016, Revised Selected Papers /

Corporate Authors: SpringerLink Online service
Group Author: Phan,Rapha l C.-W; Yung, Moti
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.

eBook

8

Cover is for reference only

Combinatorial Image Analysis : 18th International Workshop, IWCIA 2017, Plovdiv, Bulgaria, June 19-21, 2017, Proceedings /

Corporate Authors: SpringerLink Online service
Group Author: Brimkov, Valentin E; Barneva, Reneta P
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.

eBook

9

Cover is for reference only

Algorithms - ESA 2013 : 21st Annual European Symposium, Sophia Antipolis, France, September 2-4, 2013 : proceedings /

Corporate Authors: ESA (Symposium) Sophia-Antipolis, France); SpringerLink (Online service)
Group Author: Bodlaender, H. L.; Italiano, Giuseppe F.
Published: Springer,
Publication Dates: [2013]

eBook

10

Cover is for reference only

Algorithms in bioinformatics : 13th International Workshop, WABI 2013, Sophia Antipolis, France, September 2-4, 2013 : proceedings /

Corporate Authors: WABI (Workshop) Sophia Antipolis, France); SpringerLink (Online service)
Group Author: Darling, Aaron; Stoye, Jens
Published: Springer,
Publication Dates: [2013]

eBook

11

Cover is for reference only

Computer algebra in scientific computing : 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013 : proceedings /

Corporate Authors: CASC (Workshop : 2001- ) Berlin, Germany); SpringerLink (Online service)
Group Author: Gerdt, Vladimir P.; Koepf, Wolfram; Mayr, Ernst; Vorozhtsov, E. V. (Evgenii Vasilʹevich), 1946-
Published: Springer,
Publication Dates: [2013]

eBook

12

Cover is for reference only

Geometric Science of Information : first International Conference, GSI 2013, Paris, France, August 28-30, 2013 : proceedings /

Corporate Authors: GSI (Conference) Paris, France); SpringerLink (Online service)
Group Author: Nielsen, Frank; Barbaresco, Frédéric
Published: Springer,
Publication Dates: [2013]

eBook

13

Cover is for reference only

Space-efficient data structures, streams, and algorithms : papers in honor of J. Ian Munro on the occasion of his 66th birthday /

Corporate Authors: SpringerLink (Online service)
Group Author: Munro, J. Ian; Brodnik, Andrej
Published: Springer,
Publication Dates: 2013.

eBook

14

Cover is for reference only

Mathematical Foundations of Computer Science 2013 : 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings /

Corporate Authors: Symposium on Mathematical Foundations of Computer Science (1972- ) Klosterneuburg, Austria); SpringerLink (Online service)
Group Author: Chatterjee, Krishnendu.; Sgall, Jiří, 1965-
Published: Springer,
Publication Dates: [2013]

eBook

15

Cover is for reference only

Reliable implementation of real number algorithms：theory and practice : International Seminar, Dagstuhl Castle, Germany, January 8-13, 2006, revised papers

Corporate Authors: SpringerLink (Online service)
Group Author: Hertling Peter, 1965-
Published: Springer,
Publication Dates: 2008.

Book

16

Cover is for reference only

Computability and Complexity : Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday /

Corporate Authors: SpringerLink (Online service)
Group Author: Day, Adam (Editor); Fellows, Michael (Editor); Greenberg, Noam (Editor); Khoussainov, Bakhadyr (Editor); Melnikov, Alexander (Editor); Rosamond, Frances (Editor)
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.

eBook

17

Cover is for reference only

Conceptual structures：knowledge visualization and reasoning, 16th International Conference on Conceptual Structures, ICCS 2008 Toulouse, France, July 7-11, 2008 : proceedings

Corporate Authors: International Conference on Conceptual Structures (16th 2008 Toulouse, France); SpringerLink (Online service)
Group Author: Haemmerlé Ollivier.; Eklund Peter W., 1962-
Published: Springer,
Publication Dates: c2008.

Book

18

Cover is for reference only

Computational Science and Its Applications ICCSA 2017 : 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part II /

Corporate Authors: SpringerLink (Online service)
Group Author: Gervasi, Osvaldo (Editor); Murgante, Beniamino (Editor); Misra, Sanjay (Editor); Borruso, Giuseppe (Editor); Torre, Carmelo M (Editor); Rocha, Ana Maria A,C (Editor); Taniar, David (Editor); Apduhan, Bernady O (Editor); Stankova, Elena (Editor); Cuzzocrea, Alfredo (Editor)
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.

eBook

19

Cover is for reference only

Developments in Language Theory : 21st International Conference, DLT 2017, Li ge, Belgium, August 7-11, 2017, Proceedings /

Corporate Authors: SpringerLink (Online service)
Group Author: Charlier, milie (Editor); Leroy, Julien (Editor); Rigo, Michel. (Editor)
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.

eBook

20

Cover is for reference only

Theoretical Computer Science and Discrete Mathematics : First International Conference, ICTCSDM 2016, Krishnankoil, India, December 19-21, 2016, Revised Selected Papers /

Corporate Authors: SpringerLink (Online service)
Group Author: Arumugam, S. (Editor); Bagga, Jay (Editor); Beineke, Lowell W. (Editor); Panda, B,S (Editor)
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.

eBook

Narrow Search