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

1

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

2

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

3

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

4

Cover is for reference only

14th International Conference on Spatial Information Theory : COSIT 2019, September 9-13, 2019, Regensburg, Germany /

Corporate Authors: International Conference on Spatial Information Theory Regensburg, Germany
Group Author: Timpf, Sabine; Schlieder, Christoph; Kattenbeck, Markus; Ludwig, Bernd; Stewart, Kathleen
Published: Schloss Dagstuhl Office,
Publication Dates: 2019.
Call Number: P208-532/C748/2019

Book

5

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

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

32nd European Conference on Object-Oriented Programming : ECOOP 2018, July 16-21, 2018, Amsterdam, The Netherlands /

Corporate Authors: ECOOP Conference‏ Amsterdam, The Netherlands; Leibniz international proceedings in informatics
Group Author: Millstein, Todd
Published: Curran Associates,
Publication Dates: 2018.
Call Number: TP311.1-532/E895/2018

Book

9

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

10

Cover is for reference only

31st European Conference on Object-Oriented Programming : ECOOP'17, June 18-23, 2017, Barcelona, Spain /

Corporate Authors: European Conference on Object-Oriented Programming Barcelona, Spain
Group Author: Müller, Peter
Published: Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH,
Publication Dates: 2017.
Call Number: TP311.1-532/E895/2017

Book

11

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

12

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

13

Cover is for reference only

34th Euromicro Conference on Real-Time Systems : ECRTS 2022, July 5-8, 2022, Modena, Italy /

Corporate Authors: Euromicro Conference on Real-Time Systems Modena, Italy); Schloss Dagstuhl Leibniz-Zentrum für Informatik.
Group Author: Maggio, Martina. (Editor)
Published: Schloss Dagstuhl Leibniz-Zentrum für Informatik,
Publication Dates: 2022.
Call Number: TP316.2-532/E891/2022

Book

14

Cover is for reference only

17th Conference on the Theory of Quantum Computation, Communication and Cryptography : TQC 2022, July 11-15, 2022, Urbana Campaign, Illinois, USA /

Corporate Authors: Conference on the Theory of Quantum Computation, Communication and Cryptography Urbana Campaign, Illinois, USA); Schloss Dagstuhl.
Group Author: Tomoyuki, Morimae (Editor); Gall, François Le (Editor)
Published: Schloss Dagstuhl,
Publication Dates: 2022.
Call Number: TP385-532/C748/2022

Book

15

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

16

Cover is for reference only

36th European Conference on Object-Oriented Programming : ECOOP 2022, June 6-10, 2022, Berlin, Germany /

Corporate Authors: ECOOP (Conference)‏ Berlin, Germany); Schloss Dagstuhl Leibniz-Zentrum für Informatik.
Group Author: Ali, Karim (Editor); Vitek, Jan (Editor)
Published: Curran Associates, Inc.,
Publication Dates: 2022.
Call Number: TP311.1-532/E895/2022

Book

17

Cover is for reference only

31st EACSL Annual Conference on Computer Science Logic : CSL 2023, February 13-16, 2023, Warsaw, Poland /

Corporate Authors: EACSL Annual Conference on Computer Science Logic Warsaw, Poland); Schloss Dagstuhl, Leibniz-Zentrum für Informatik.
Group Author: Klin, Bartek (Editor); Pimentel, Elaine (Editor)
Published: Schloss Dagstuhl,
Publication Dates: 2023.
Call Number: TP301-532/C738-1/2023

Book

18

Cover is for reference only

3rd Conference on Information-Theoretic Cryptography : ITC 2022, July 5-7, 2022, Cambridge, MA, USA /

Corporate Authors: Conference on Information-Theoretic Cryptography Cambridge, MA, USA); Schloss Dagstuhl.
Group Author: Tessaro, Stefano (Editor)
Published: Schloss Dagstuhl,
Publication Dates: 2022.
Call Number: TN918.1-532/C748/2022

Book

19

Cover is for reference only

26th International Conference on Principles of Distributed Systems : OPODIS 2022, December 13-15, 2022, Brussels, Belgium /

Corporate Authors: International Conference on Principles of Distributed Systems Online)
Group Author: Hillel, Eshcar (Editor); Palmieri, Roberto (Editor); Rivière, Etienne (Editor)
Published: LIPICS,
Publication Dates: 2023.
Call Number: TP274-532/I613-4/2022

Book

20

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

Narrow Search