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

1

Cover is for reference only

24th International Conference on Distributed Computing Systems：: proceedings : 24-26 March, 2004, Hachioji, Tokyo, Japan

Corporate Authors: International Conference on Distributed Computing Systems (24th 2004 Tokyo, Japan; IEEE Computer Society; Jōhō Shori Gakkai Japan
Published: IEEE Computer Society,
Publication Dates: c2004.
Call Number: TP338.8-532/I61.2/2004

Book

2

Cover is for reference only

Distributed computer and communication networks : 24th International Conference, DCCN 2021, Moscow, Russia, September 20-24, 2021, revised selected papers /

Corporate Authors: DCCN (Conference) Moscow, Russia)
Group Author: Vishnevskiy, Vladimir M.; Samouylov, Konstantin E; Kozyrev, Dmitry
Published: Springer,
Publication Dates: [2022]
Call Number: TP274-532/D614/2021

Book

3

Cover is for reference only

Partial order methods in verification：DIMACS workshop, July 24-26, 1996

Corporate Authors: DIMACS Group; Workshop on Partial Order Methods in Verification (1996 Princeton University)
Group Author: Peled Doron A 1962-; Pratt Vaughan R; Holzmann Gerard J
Published: American Mathematical Society,
Publication Dates: c1997.
Call Number: TP301-532/P273/1996/

Book

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

Proceedings of the sixth ICA Conference：Berlin, October 24-26, 1972.

Corporate Authors: Intergovernmental Council of ADP
Published: Distributed by ERIC Clearinghouse,
Publication Dates: 1973.
Call Number: TP274-532/P963/1972

Book

6

Cover is for reference only

25th Annual Symposium on Foundations of Computer Science：October 24-26, 1984

Corporate Authors: Symposium on Foundations of Computer Science (25th 1984 Singer Island, Fla.); IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.
Published: IEEE Computer Society Press,
Publication Dates: c1984.
Call Number: TP301-532/I59/1984

Book

7

Cover is for reference only

24th Annual Symposium on Foundations of Computer Science：November 7-9, 1983

Corporate Authors: Symposium on Foundations of Computer Science (24th 1983 Tucson, Ariz; IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing
Published: IEEE Computer Society Press,
Publication Dates: c1983.
Call Number: TP301-532/S989/1983

Book

8

Cover is for reference only

Betrieb von Rechenzentren：Workshop der Gesellschaft für Informatik, Karlsruhe, 23.-24. September 1975

Corporate Authors: Gesellschaft f鑥r Informatik
Group Author: Schreiner Adolf 1929-
Published: Springer-Verlag,
Publication Dates: 1976.
Call Number: TP274-53/G389/1975/

Book

9

Cover is for reference only

Optoelectronic and wireless data management, processing, storage, and retrieval：22-24 August 2001, Denver, USA

Corporate Authors: Colorado Photonics Industry Association; Society of Photo-Optical Instrumentation Engineers
Group Author: Raymond Robert
Published: SPIE,
Publication Dates: c2001.
Call Number: TN92-532/O629/2001

Book

10

Cover is for reference only

The Sixteenth Symposium on Reliable Distributed Systems：proceedings : Durham, North Carolina, October 22-24, 1997

Corporate Authors: Symposium on Reliable Distributed Systems (16th 1997 Durham, N.C.); IEEE Computer Society. TC on Distributed Processing.; IEEE Computer Society. Fault-Tolerant Computing Technical Committee.; IEEE Computer Society. Technical Committee on Operating Systems.; Center for Advanced Computing and Communication.
Published: IEEE Computer Society,
Publication Dates: c1997.
Call Number: TP338.8-532/S989/1997/

Book

11

Cover is for reference only

Distributed algorithms：4th international workshop, Bari, Italy, Sept. 24-26, 1990 : proceedings

Corporate Authors: International Workshop on Distributed Algorithms 1987 Amsterdam, Netherlands)
Group Author: Jan; Leeuwen J. van
Published: Springer-Verlag,
Publication Dates: c1991.
Call Number: TP301.6-53/D613/1990/

Book

12

Cover is for reference only

CIPS 1975 proceedings : CIPS computer POW-WOW 1975, Regina, Saskatchewan, June 24-26, 1975 /

Corporate Authors: Canadian Information Processing Society
Group Author: Law, Alan G. Alan Greenwell, 1936
Published: [Canadian Information Processing Society],
Publication Dates: [1975?]
Call Number: TP274-532/C212/1975

Book

13

Cover is for reference only

CIPS 1975 proceedings : CIPS computer POW-WOW 1975, Regina, Saskatchewan, June 24-26, 1975 /

Corporate Authors: Canadian Information Processing Society
Group Author: Law, Alan G. Alan Greenwell, 1936
Published: [Canadian Information Processing Society],
Publication Dates: [1975?]
Call Number: TP274-532/C212/1975

Book

14

Cover is for reference only

11th International Conference on Distributed Computing Systems, Arlington, Texas, USA, May 20-24, 1991

Corporate Authors: International Conference on Distributed Computing Systems (11th 1991 Arlington, Texas
Published: IEEE Computer Society Press,
Publication Dates: c1991.
Call Number: TP30-53/I61.2/1991/

Journal

15

Cover is for reference only

Distributed computing：22nd international symposium, DISC 2008, Arcachon, France, September 22-24, 2008 ; proceedings

Corporate Authors: DISC 2008 (2008 Arcachon, France); SpringerLink (Online service)
Group Author: Taubenfeld Gadi.
Published: Springer,
Publication Dates: 2008.

Book

16

Cover is for reference only

Distributed computing：21st international symposium, DISC 2007, Lemesos, Cyprus, September 24-26, 2007 : proceedings

Corporate Authors: DISC 2007 (2007 Limassol, Cyprus); SpringerLink (Online service)
Group Author: Pelc Andrzej.
Published: Springer,
Publication Dates: 2007.

Book

17

Cover is for reference only

Theoretical aspects of computing：ICTAC 2006, third international colloquium, Tunis, Tunisia, November 20-24, 2006 : proceedings

Corporate Authors: ICTAC 2006 (2006 Tunis, Tunisia); SpringerLink (Online service)
Group Author: Cavalcanti Ana.; Cerone Antonio.; Barkaoui Kamel.
Published: Springer,
Publication Dates: c2006.

Book

18

Cover is for reference only

Theoretical aspects of computing：ICTAC 2006, third international colloquium, Tunis, Tunisia, November 20-24, 2006 : proceedings

Corporate Authors: ICTAC 2006 (2006 Tunis, Tunisia
Group Author: Barkaoui Kamel; Cavalcanti Ana; Cerone Antonio
Published: Springer,
Publication Dates: c2006.
Call Number: TP30-532/T396/2006

Book

19

Cover is for reference only

Distributed computing：12th international symposium, DISC '98, Andros, Greece, September 24-26, 1998 : proceedings

Corporate Authors: DISC '98 (1998 Andros, Greece)
Group Author: Kutten Shay
Published: Springer,
Publication Dates: c1998.
Call Number: TP301.6-532/D614/1998/

Book

20

Cover is for reference only

Tenth Workshop on Parallel and Distributed Simulation：PADS'96 : proceedings : May 22-24, 1996, Philadelphia, Pennsylvania

Corporate Authors: Workshop on Parallel and Distributed Simulation (10th 1996 Philadelphia, Pa.); Society for Computer Simulation.; IEEE Computer Society. Technical Committee on Simulation.; Association for Computing Machinery. Special Interest Group in Simulation.
Published: IEEE Computer Society Press,
Publication Dates: c1996.
Call Number: TP301.6-532/W926/1996/

Book

Narrow Search