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

21

Cover is for reference only

Mathematical foundations of computer science 2000：25th international symposium, MFCS 2000, Bratislava, Slovakia, August 28-September 1, 2000 : proceedings

Corporate Authors: Symposium on Mathematical Foundations of Computer Science 2000 Bratislava) (Bratislava))
Group Author: (Mogens), 1949-; Rovan B.; (Branislav); Nielsen M.
Published: Springer,
Publication Dates: c2000.
Call Number: TP301.6-532/M426/2000

Book

22

Cover is for reference only

Concur 2000：concurrency theory : 11th international conference, University Park, PA, USA, August 22-25, 2000 : proceedings

Corporate Authors: International Conference on Concurrency Theory 2000 University Park, Pa.) (University Park, Pa.))
Group Author: Palamidessi Catuscia.
Published: Springer,
Publication Dates: 2000.
Call Number: TP338.6-532/I61.5/2000

Book

23

Cover is for reference only

Smart card research and applications：third international conference, CARDIS'98, Louvain-la-Neuve, Belgium, September 14-16, 1998 : proceedings

Corporate Authors: International Conference on Smart Card Research and Advanced Applications (3rd 1998 Louvain-la-Neuve, Belgium); CARDIS 1998 Louvain-la-Neuve, Belgium) (Louvain-la-Neuve, Belgium))
Group Author: (Jean-Jacques), 1945-; Schneier Bruce, 1963-; Quisquater J.-J.
Published: Springer,
Publication Dates: c2000.
Call Number: TP333-532/I613/1998

Book

24

Cover is for reference only

STACS 2000：17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, February 17-19, 2000 : proceedings

Corporate Authors: Symposium on Theoretical Aspects of Computer Science (17th 2000 Lille, France)
Group Author: Reichel Horst.; Tison Sophie.
Published: Springer,
Publication Dates: c2000.
Call Number: TP301-532/S989/2000

Book

25

Cover is for reference only

Euro-Par'99 parallel processing：5th International Euro-Par Conference, Toulouse, France, August 31-September 3, 1999 : proceedings

Corporate Authors: International EURO-PAR Conference (5th 1999 Toulouse, France)
Group Author: Amestoy Patrick.
Published: Springer,
Publication Dates: c1999.
Call Number: TP301.6-532/I61.4/1999

Book

26

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: International EURO-PAR Conference (6th 2000 Munich, Germany)
Group Author: Bode Arndt.
Published: Springer,
Publication Dates: c2000.
Call Number: TP301.6-532/I61.4/2000

Book

27

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

28

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

29

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: TABLEAUX 2000 (2000 St. Andrews, Scotland)
Group Author: Dyckhoff Roy, 1948-
Published: Springer,
Publication Dates: 2000.
Call Number: TP18-532/A939.1/2000

Book

30

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.; ACM Special Interest Group on Programming Languages.
Published: ACM Order Department,
Publication Dates: 1980.
Call Number: TP312-53/A849-1/1980/

Book

31

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

Narrow Search