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

1

Cover is for reference only

6th International Conference on Formal Structures for Computation and Deduction : FSCD 2021, July 17-24, 2021, Buenos Aires, Argentina (virtual conference) /

Corporate Authors: International Conference on Formal Structures for Computation and Deduction Buenos Aires, Argentina); Schloss Dagstuhl Leibniz-Zentrum für Informatik.
Group Author: Kobayashi, Naoki
Published: Curran Associates, Inc.,
Publication Dates: [2021]
Call Number: TP3-532/I613-64/2021

Book

2

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

3

Cover is for reference only

11th Innovations in Theoretical Computer Science Conference : ITCS 2020, January 12-14, 2020, Seattle, Washington, USA /

Corporate Authors: Innovations in Theoretical Computer Science Conference Seattle, Washington, USA
Group Author: Vidick, Thomas
Published: LIPICS,
Publication Dates: 2020.
Call Number: TP301-532/I586/2020

Book

4

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

5

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

6

Cover is for reference only

27th Annual European Symposium on Algorithms : ESA 2019, September 9-11, 2019, Munich/Garching, Germany /

Corporate Authors: ESA Symposium Munich, Germany
Group Author: Bender, Michael A; Svensson, Ola; Herman, Grzegorrz
Published: Schloss Dagstuhl Office,
Publication Dates: 2019.
Call Number: O24-532/E898/2019

Book

7

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

8

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

9

Cover is for reference only

Approximation, randomization, and combinatorial optimization. Algorithms and Techniques : 19th International Workshop, APPROX 2016, and 20th International Workshop, RANDOM 2016, September 7-9, 2016, Paris, France /

Corporate Authors: International Workshop on Approximation Algorithms for Combinatorial Optimization Problem Paris, France; International Workshop on Randomization and Computation Paris, France
Group Author: Jansen, Klaus; Mathieu, Claire; Rolim, José D. P; Umans, Chris
Published: Schloss Dagstuhl,
Publication Dates: 2016.
Call Number: TP301.6-532/W926-3/2016

Book

10

Cover is for reference only

7th International Conference on Formal Structures for Computation and Deduction : FSCD 2022, August 2-5, 2022, Haifa, Israel /

Corporate Authors: International Conference on Formal Structures for Computation and Deduction Haifa, Israel); Schloss Dagstuhl Leibniz-Zentrum für Informatik.
Group Author: Felty, Amy P. (Editor)
Published: Curran Associates, Inc.,
Publication Dates: 2022.
Call Number: TP3-532/I613-64/2022

Book

11

Cover is for reference only

14th Innovations in Theoretical Computer Science Conference : ITCS 2023, 10-13 January, 2023, Cambridge, Massachusetts, USA /

Corporate Authors: Innovations in Theoretical Computer Science Conference Cambridge, Massachusetts, USA)
Group Author: Kalai, Yael Tauman (Editor)
Published: LIPICS,
Publication Dates: 2023.
Call Number: TP301-532/I586/2023

Book

12

Cover is for reference only

Approximation, randomization, and combinatorial optimization : algorithms and techniques : 18th International Workshop, APPROX 2015, and 19th International Workshop, RANDOM 2015, August 24-26, 2015, Princeton, USA /

Corporate Authors: International Workshop on Approximation Algorithms for Combinatorial Optimization Problems Princeton, New Jersey, USA
Group Author: Garg, Naveen; Jansen, Klaus; Rao, Anup; Rolim, Jose D. P
Published: Curran Associates,
Publication Dates: [2015]
Call Number: TP301.6-532/W926-3/2015

Book

Narrow Search