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

1

Cover is for reference only

34th European Conference on Object-Oriented Programming : ECOOP 2020, November 15-17, 2020, Berlin, Germany (virtual conference) /

Corporate Authors: ECOOP (Conference)? Berlin, Germany); Schloss Dagstuhl Office
Group Author: Hirschfeld, Robert; Pape, Tobias
Published: Schloss Dagstuhl Office,
Publication Dates: 2020.
Call Number: TP311.1-532/E895/2020

Book

2

Cover is for reference only

17th International Workshop on Algorithms in Bioinformatics : WABI 2017, August 21-23, 2017, Boston, MA, USA /

Corporate Authors: WABI Workshop Boston, MA, USA; Schloss Dagstuhl
Group Author: Schwartz, Russell; Reinert, Knut
Published: Schloss Dagstuhl,
Publication Dates: 2017.
Call Number: Q811.4-532/A396/2017

Book

3

Cover is for reference only

33rd European Conference on Object-Oriented Programming : ECOOP 2019, July 15-19, 2019, London, United Kingdom /

Corporate Authors: ECOOP Conference‏ London, United Kingdom; Schloss Dagstuhl Office
Group Author: Donaldson, Alastair F
Published: Schloss Dagstuhl Office,
Publication Dates: 2019.
Call Number: TP311.1-532/E895/2019

Book

4

Cover is for reference only

2nd Conference on Information-Theoretic Cryptography : ITC 2021, July 23-26, 2021, virtual conference /

Corporate Authors: Conference on Information-Theoretic Cryptography Online); Schloss Dagstuhl.
Group Author: Tessaro, Stefano
Published: Schloss Dagstuhl,
Publication Dates: 2021.
Call Number: TN918.1-532/C748/2021

Book

5

Cover is for reference only

48th International Colloquium on Automata, Languages, and Programming : ICALP 2021, July 12-16, 2021, Glasgow, Scotland (virtual conference) /

Corporate Authors: International Colloquium on Automata, Languages, and Programming Glasgow, Scotland); Schloss Dagstuhl.
Group Author: Bansal, Nikhil; Merelli, Emanuela; Worrell, James
Published: Schloss Dagstuhl,
Publication Dates: 2021.
Call Number: TP23-532/A939/2021

Book

6

Cover is for reference only

47th International Colloquium on Automata, Languages, and Programming : ICALP 2020, July 8-11, 2020, Saarsbrücken, Germany (virtual conference) /

Corporate Authors: International Colloquium on Automata, languages, and programming Online); Schloss Dagstuhl (Convention center)
Group Author: Czumaj, Artur‏; Dawar, Anuj‏; Merelli, E.‏ (Emanuela)‏
Published: Schloss Dagstuhl Office,
Publication Dates: 2020.
Call Number: TP23-532/A939/2020

Book

7

Cover is for reference only

46th International Colloquium on Automata, Languages, and Programming : ICALP 2019, July 9-12, 2019, Patras, Greece /

Corporate Authors: International Colloquium on Automata, languages, and programming Patras, Greece; Schloss Dagstuhl Convention center
Group Author: Baier, Christel; Chatzigiannakis, Ioannis; Flocchini, Paola; Leonardi, Stefano
Published: Schloss Dagstuhl Office,
Publication Dates: 2019.
Call Number: TP23-532/A939/2019

Book

8

Cover is for reference only

16th Conference on the Theory of Quantum Computation, Communication and Cryptography : TQC 2021, July 5-8, 2021, virtual conference /

Corporate Authors: Conference on the Theory of Quantum Computation, Communication and Cryptography Online); Schloss Dagstuhl.
Group Author: Hsieh, Min-Hsiu
Published: Schloss Dagstuhl,
Publication Dates: 2021.
Call Number: TP385-532/C748/2021

Book

9

Cover is for reference only

17th Nordic Laser Materials Processing Conference : (NOLAMP17) : Trondheim, Norway, 27-29 August 2019 /

Corporate Authors: Nordic Laser Materials Processing Conference Trondheim, Norway); Schloss Dagstuhl.; Curran Associates, Inc.
Group Author: Akselsen, Odd M.; Bunaziv, Ivan
Published: Elsevier B.V.,
Publication Dates: [2021]
Call Number: TN244-532/N832/2019

Book

10

Cover is for reference only

1st Conference on Information-Theoretic Cryptography : ITC 2020, June 17-19, 2020, Boston, MA, USA /

Corporate Authors: Conference on Information-Theoretic Cryptography Online); Schloss Dagstuhl.; Curran Associates, Inc.
Group Author: Kalai, Yael Tauman; Smith, Adam D.; Wichs, Daniel
Published: Schloss Dagstuhl,
Publication Dates: 2020.
Call Number: TN918.1-532/C748/2020

Book

11

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

12

Cover is for reference only

35th European Conference on Object-Oriented Programming : ECOOP 2021, July 11-17, 2021, Aarhus, Denmark, (virtual conference) /

Corporate Authors: ECOOP (Conference)‏ Online); Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH; Curran Associates, Inc.
Group Author: Møller, Anders; Sridharan, Manu
Published: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH,
Publication Dates: 2021.
Call Number: TP311.1-532/E895/2021

Book

13

Cover is for reference only

30th EACSL Annual Conference on Computer Science Logic : CSL 2022, February 14-19, 2022, Göttingen, Germany (virtual conference) /

Corporate Authors: EACSL Annual Conference on Computer Science Logic Online); Schloss Dagstuhl Leibniz-Zentrum für Informatik.
Group Author: Baier, Christel; Goubault-Larrecq, Jean
Published: Schloss Dagstuhl,
Publication Dates: 2022.
Call Number: TP301-532/C738-1/2022

Book

14

Cover is for reference only

29th EACSL Annual Conference on Computer Science Logic : CSL 2021, January25-28, 2021, Ljubljana, Slovenia (virtual conference) /

Corporate Authors: EACSL Annual Conference on Computer Science Logic Online); Schloss Dagstuhl Leibniz-Zentrum für Informatik.
Group Author: Baier, Christel; Goubault-Larrecq, Jean
Published: Schloss Dagstuhl,
Publication Dates: 2021.
Call Number: TP301-532/C738-1/2021

Book

15

Cover is for reference only

32nd Euromicro Conference on Real-Time Systems : ECRTS 2020, July 7-10, 2020, virtual conferce /

Corporate Authors: Euromicro Conference on Real-Time Systems Online); Schloss Dagstuhl Leibniz-Zentrum für Informatik.
Group Author: Volp, Marcus
Published: Curran Associates, Inc.,
Publication Dates: [2020]
Call Number: TP316.2-532/E891/2020

Book

16

Cover is for reference only

28th EACSL Annual Conference on Computer Science Logic : CSL 2020, January 13-16, 2020, Barcelona, Spain /

Corporate Authors: EACSL Annual Conference on Computer Science Logic Barcelona, Spain; Schloss Dagstuhl Leibniz-Zentrum für Informatik
Group Author: Fernandez, Maribel; Muscholl, Anca
Published: Schloss Dagstuhl,
Publication Dates: 2020.
Call Number: TP301-532/C738-1/2020

Book

17

Cover is for reference only

15th Conference on the Theory of Quantum Computation, Communication and Cryptography : TQC 2020, June 9-12, 2020, Riga, Latvia /

Corporate Authors: Conference on the Theory of Quantum Computation, Communication and Cryptography Online); Schloss Dagstuhl.; Curran Associates, Inc.
Group Author: Flammia, Steven T.
Published: Schloss Dagstuhl,
Publication Dates: 2020.
Call Number: TP385-532/C748/2020

Book

18

Cover is for reference only

Experimental algorithmics：from algorithm design to robust and efficient software

Corporate Authors: Seminar on Experimental Algorithmics (1st 2000 Schloss Dagstuhl)
Group Author: Fleischer Rudolf, 1964-; Moret B. M. E.; (Bernard M. E.); Schmidt E. M.; (Erik Meineche), 1945-
Published: Springer,
Publication Dates: c2002.
Call Number: TP301.6-532/S471/2000

Book

19

Cover is for reference only

17th Scandinavian Symposium and Workshops on Algorithm Theory : SWAT 2020, June 22-24, 2020, Torshavn, Faroe Islands /

Corporate Authors: Scandinavian Symposium and Workshops on Algorithm Theory Torshavn, Faroe Islands); Schloss Dagstuhl Leibniz-Zentrum für Informatik.
Group Author: Albers, Susanne
Published: Curran Associates, Inc.,
Publication Dates: [2020]
Call Number: TP301.6-532/S283/2020

Book

20

Cover is for reference only

5th International Conference on Formal Structures for Computation and Deduction : FSCD 2020, June 29 - July 6, 2020, Paris, France (virtual conference) /

Corporate Authors: International Conference on Formal Structures for Computation and Deduction Paris, France); Schloss Dagstuhl Leibniz-Zentrum für Informatik.
Group Author: Ariola, Zena M.
Published: Curran Associates, Inc.,
Publication Dates: [2020]
Call Number: TP3-532/I613-64/2020

Book

Narrow Search