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

1

Cover is for reference only

Euro-Par 2000 parallel processing：6th International Euro-Par Conference, Munich, Germany, August 29-September 1, 2000 : proceedings

Corporate Authors: (6th 2000
Group Author: Bode Arndt.
Published: Springer,
Publication Dates: c2000.
Call Number: TP301.6-532/I61.4/2000

Book

2

Cover is for reference only

Advances in cryptology--CRYPTO 2000：20th annual International Cryptology Conference, Santa Barbara, California, USA, August 20-24, 2000 : proceedings

Corporate Authors: International Cryptology Conference (20th 2000 Santa Barbara, Calif; CRYPTO 2000 (2000 Santa Barbara, Calif.)
Group Author: Bellare Mihir 1962-
Published: Springer,
Publication Dates: c2000.
Call Number: TN918.2-532/I61/2000

Book

3

Cover is for reference only

Automated reasoning with analytic tableaux and related methods：international conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 : proceedings

Corporate Authors: (2000
Group Author: Dyckhoff Roy, 1948-
Published: Springer,
Publication Dates: 2000.
Call Number: TP18-532/A939.1/2000

Book

4

Cover is for reference only

SEMPER--secure electronic marketplace for Europe

Group Author: Lacoste Gérard 1946-
Published: Springer,
Publication Dates: 2000.
Call Number: F270.7/S473

Book

5

Cover is for reference only

Algorithms and computation：10th International Symposium, ISAAC'99, Chennai, India, December 16-18, 1999 : proceedings

Corporate Authors: ISAAC '99 (1999 Chennai, India
Group Author: Aggarwal Alok; Pandu Rangan C 1955-
Published: Springer,
Publication Dates: c1999.
Call Number: TP301.6-532/A396/1999

Book

6

Cover is for reference only

Spectral techniques and fault detection /

Corporate Authors: Elsevier Science & Technology; International Workshop on Spectral Techniques and Fault Detection Boston, Mass
Group Author: Karpovsky, Mark G
Published: Academic Press,
Publication Dates: 1985.

eBook

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

A new approach to scientific computation /

Corporate Authors: Symposium on a New Approach to Scientific Computation IBM Thomas J. Watson Research Center; Elsevier Science & Technology; International Business Machines Corporation
Group Author: Kulisch, Ulrich; Miranker, Willard L
Published: Academic Press,
Publication Dates: 1983.

eBook

9

Cover is for reference only

A new approach to scientific computation

Corporate Authors: Symposium on a New Approach to Scientific Computation (1982 IBM Thomas J. Watson Research Center; International Business Machines Corporation
Group Author: Kulisch Ulrich; Miranker Willard L
Published: Academic Press,
Publication Dates: 1983.
Call Number: O241/N532/

Book

10

Cover is for reference only

Conference record of the seventh annual ACM Symposium on Principles of Programming Languages：papers presented at the symposium, Las Vagas, Nevada, January 28-30, 1980

Corporate Authors: ACM Symposium on Principles of Programming Languages (7th 1980 Las Vagas, Nevada); ACM Special Interest Group for Automata and Computability Theory.
Published: ACM Order Department,
Publication Dates: 1980.
Call Number: TP312-53/A849-1/1980/

Book

11

Cover is for reference only

Conference record of the sixth annual ACM Symposium on Principles of Programming Languages：papers presented at the Symposium, San Antonio, Texas, January 29-31, 1979

Corporate Authors: ACM Symposium on Principles of Programming Languages (6th 1979 San Antonio, Texas; ACM Special Interest Group for Automata and Computability Theory; ACM Special Interest Group on Programming Languages
Published: ACM,
Publication Dates: c1979.
Call Number: TP312-53/A849-1/1979/

Book

12

Cover is for reference only

Conference record of the eleventh annual ACM Symposium on Theory of Computing：papers presented at the Symposium, Atlanta, Georgia, April 30-May 2, 1979

Corporate Authors: ACM Symposium on Theory of Computing (11th 1979 Atlanta; ACM Special Interest Group for Automata and Computability Theory; IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing
Published: ACM,
Publication Dates: c1979.
Call Number: O24-53/A849/1979/

Book

13

Cover is for reference only

Algorithmen in Zellularautomaten：e. Einf.

Main Authors: Vollmar Roland 1939-
Published: Teubner,
Publication Dates: 1979.
Call Number: TP14/V923/

Book

14

Cover is for reference only

Conference record of the fifth annual ACM Symposium on Principles of Programming Languages：papers presented at the Symposium, Tucson, Arizona, January 23-25, 1978

Corporate Authors: ACM Symposium on Principles of Programming Languages (5th 1978 Tucson, Arizona; ACM Special Interest Group for Automata and Computability Theory; ACM Special Interest Group on Programming Languages
Published: ACM,
Publication Dates: c1978.
Call Number: TP312-53/A849-1/1978/

Book

15

Cover is for reference only

Conference record of the tenth annual ACM Symposium on Theory of Computing：papers presented at the Symposium, San Diego, California, May 1-3, 1978

Corporate Authors: ACM Symposium on Theory of Computing (10th 1978 San Diego, Calif; ACM Special Interest Group for Automata and Computability Theory; IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing; University of California, San Diego
Published: ACM,
Publication Dates: c1978.
Call Number: O24-532/A849/1978/

Book

16

Cover is for reference only

Conference record of the fourth annual ACM Symposium on Principles of Programming Languages：papers presented at the Symposium, Los Angeles, California, January 17-19, 1977

Corporate Authors: ACM Symposium on Principles of Programming Languages (4th 1977 Los Angeles, California; ACM Special Interest Group for Automata and Computability Theory; ACM Special Interest Group on Programming Languages
Published: ACM,
Publication Dates: c1977.
Call Number: TP312-53/A849-1/1977/

Book

17

Cover is for reference only

Conference record of the ninth annual ACM Symposium on Theory of Computing：papers presented at the Symposium, Boulder, Colorado, May 2-4, 1977

Corporate Authors: ACM Symposium on Theory of Computing (9th 1977 Boulder, Colo; ACM Special Interest Group for Automata and Computability Theory; IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing; University of Colorado
Published: ACM,
Publication Dates: c1977.
Call Number: O24-53/A849/1977/

Book

18

Cover is for reference only

Analytic computational complexity /

Corporate Authors: Symposium on Analytic Computational Complexity Carnegie-Mellon University; Elsevier Science & Technology; Carnegie-Mellon University. Computer Science Department
Group Author: Traub, J. F. Joseph Frederick, 1932-2015
Published: Academic Press,
Publication Dates: 1976.

eBook

19

Cover is for reference only

Conference record of sixth annual ACM Symposium on the Theory of Computing：papers presented at the Symposium, Seattle, Washington, April 30-May 2, 1974

Corporate Authors: ACM Symposium on Theory of Computing (6th 1974 Seattle); ACM Special Interest Group for Automata and Computability Theory.
Published: Association of Computing Machinery,
Publication Dates: 1974.
Call Number: O24-53/A849/1974/

Book

20

Cover is for reference only

Conference record [of the] fourth annual ACM Symposium on Theory of Computing：papers presented at the symposium, Denver, Colorado, May 1,2,3, 1972

Corporate Authors: ACM Symposium on Theory of Computing (4th 1972 Denver, Colo.); ACM Special Interest Group for Automata and Computability Theory.
Published: ACM Order Department,
Publication Dates: 1972.
Call Number: O24-53/A849/1972/

Book

Narrow Search