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

1

Cover is for reference only

Automata, languages, and programming：24th international colloquium, ICALP'97, Bologna, Italy, July 7-11, 1997 : proceedings

Corporate Authors: European Association for Theoretical Computer Science.; International Colloquium on Automata, Languages, and Programming (1997 Bologna)
Group Author: Degano Pierpaolo, 1950-; Gorrieri Roberto.; Marchetti-Spaccamela Alberto.
Published: Springer,
Publication Dates: c1997.
Call Number: TP23-532/A939/1997/

Book

2

Cover is for reference only

Automata, languages, and programming：21th international colloquium, ICALP 94, Jerusalem, Israel, July 11-14, 1994 : proceedings

Group Author: Abiteboul Serge.; Shamir Eli.
Published: Springer-Verlag,
Publication Dates: c1994.
Call Number: TP23-532/A939/1994/

Book

3

Cover is for reference only

Automata, languages, and programming：19th international colloquium, Wien, Austria, July 13-17, 1992 : proceedings

Group Author: Kuich Werner, 1941-
Published: Springer-Verlag,
Publication Dates: c1992.
Call Number: TP23-532/A939/1992/

Book

4

Cover is for reference only

Automata, languages and programming：15th International Colloquium, Tampere, Finland, July 11-15, 1988 proceedings

Corporate Authors: ICALP 88 (1988 Tampere, Finland)
Group Author: Lepistö Timo.; Salomaa Arto.
Published: Springer-Verlag,
Publication Dates: c1988.

Book

5

Cover is for reference only

Automata, languages, and programming：14th international colloquium, Karlsruhe, Federal Republic of Germany, July 13-17, 1987 : proceedings

Corporate Authors: ICALP 87 (1987 Karlsruhe, Germany)
Group Author: Ottmann Thomas.
Published: Springer-Verlag,
Publication Dates: c1987.
Call Number: TP312-53/C714/1987/

Book

6

Cover is for reference only

Automata, languages, and programming：12th colloquium, Nafplion, Greece, July 15-19, 1985

Corporate Authors: ICALP 85 (1985 Nauplion, Greece); Ethnikon Metsovion Polytechneion.; Universität Hamburg.; European Association for Theoretical Computer Science.
Group Author: Brauer Wilfried.
Published: Springer-Verlag,
Publication Dates: c1985.
Call Number: TP312-53/C714/1985/

Book

7

Cover is for reference only

Mathematical foundations of computer science, 1977：proceedings, 6th Symposium, Tatranská Lomnica, September 5-9, 1977

Corporate Authors: Symposium on Mathematical Foundations of Computer Science (1972- ) (6th 1977 Tatranská Lomnica, Czechoslovakia)
Group Author: Gruska Jozef.
Published: Springer-Verlag,
Publication Dates: 1977.
Call Number: TP3-53/S989/1977/

Book

8

Cover is for reference only

Formal languages and programming：proceedings of a seminar organized by UAM-IBM Scientific Center, Madrid April 23-25, 1975

Corporate Authors: UAM-IBM Scientific Center.
Group Author: Aguilar Rodolfo J.
Published: North-Holland American Elsevier,
Publication Dates: 1976.
Call Number: TP312-53/F723/1975/

Book

9

Cover is for reference only

Mathematical foundations of computer science, 1976：proceedings, 5th Symposium, Gdańsk, September 6-10, 1976

Corporate Authors: Symposium on Mathematical Foundations of Computer Science (1972- ) (5th 1976 Gdańsk, Poland); Polska Akademia Nauk. Centrum Obliczeniowe.; Uniwersytet Gdański.
Group Author: Mazurkiewicz Antoni W.
Published: Springer-Verlag,
Publication Dates: 1976.
Call Number: TP3-53/S989/1976/

Book

10

Cover is for reference only

Mathematical foundations of computer science：3rd symposium at Jadwisin near Warsaw, June 17-22, 1974

Corporate Authors: Symposium on Mathematical Foundations of Computer Science (1972- ) (3rd 1974 Jadwisin, Warsaw, Poland); Polska Akademia Nauk. Centrum Obliczeniowe.; International Mathematical Stefan Banach Center.
Group Author: Blikle Andrzej.
Published: Springer-Verlag,
Publication Dates: 1975.
Call Number: TP3-53/S989/1974/

Book

11

Cover is for reference only

Automata, languages and programming

Corporate Authors: Institut de recherche d'informatique et d'automatique.
Group Author: Nivat M. (ed.)
Published: North-Holland Pub. Co. American Elsevier,
Publication Dates: 1973.
Call Number: TP31-53/I59.1/1972/

Book

12

Cover is for reference only

Automata, languages, and programming：seventh colloquium, Noordwijkerhout, the Netherlands, July 14-18, 1980

Corporate Authors: European Association for Theoretical Computer Science.; ICALP 80 (1980 Noordwijkerhout, Netherlands) (Noordwijkerhout, Netherlands))
Group Author: Bakker J. W. de; (Jacobus Willem de), 1939-; Leeuwen J. van; (Jan)
Published: Springer-Verlag,
Publication Dates: 1980.
Call Number: TP312-53/C714/1980/

Book

13

Cover is for reference only

Automata, languages, and programming：10th colloquium, Barcelona, Spain, July 18-22, 1983

Corporate Authors: ICALP 83 (1983 Barcelona, Spain); European Association for Theoretical Computer Science.
Group Author: Díaz J.; (Josep), 1950-
Published: Springer-Verlag,
Publication Dates: 1983.
Call Number: TP312-53/C714/1983/

Book

14

Cover is for reference only

Automata, languages, and programming：16th international colloquium, Stresa, Italy, July 11-15, 1989 : proceedings

Group Author: Ausiello G.; (Giorgio), 1941-; Dezani-Ciancaglini M.; (Mariangiola); Ronchi Della Rocca S.; (Simonetta)
Published: Springer-Verlag,
Publication Dates: c1989.
Call Number: TP312-53/C714/1989/

Book

15

Cover is for reference only

Automata, languages, and programming：25th international colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998 : proceedings

Corporate Authors: International Colloquium on Automata, Languages, and Programming (1998 Aalborg, Denmark); European Association for Theoretical Computer Science.
Group Author: Larsen Kim G.; Skyum Sven; Winskel Glynn.
Published: Springer,
Publication Dates: c1998.
Call Number: TP23-532/A939/1998

Book

16

Cover is for reference only

Automata, languages and programming：23rd international colloquium, ICALP '96, Paderborn, Germany, July 8-12, 1996 : proceedings

Corporate Authors: International Colloquium on Automata, Languages, and Programming (23rd 1996 Paderborn)
Group Author: Meyer auf der Heide F.; (Friedhelm), 1954-; Monien B.
Published: Springer-Verlag,
Publication Dates: c1996.
Call Number: TP23-532/A939/1996/

Book

Narrow Search