Automata, languages, and programming 24th international colloquium, ICALP'97, Bologna, Italy, July 7-11, 1997 : proceedings
International Colloquium on Automata, Languages, and Programming (1997 Bologna, Italy) Pierpaolo Degano 1950-; Roberto Gorrieri; Alberto Marchetti-Spaccamela; European Association for Theoretical ComputerScience
GOOS, G, ED; HARTMANIS, J, ED; LEEUWEN, J VAN, ED LECTURE NOTES IN COMPUTER SCIENCE BERLIN, SPRINGER-VERLAG, c1985-
Berlin Springer New York c1997
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1256 ) e outros locais(Acessar)
Design and implementation of symbolic computation systems proceedings [of the] international symposium, disco'96, karlsruhe, germany, september 18-20, 1996
International Symposium on Design and Implementation of Symbolic Computation Systems (4. 1996 Karlsruhe, De) Jacques Calmet; Carla Limongelli
Berlin Springer 1996
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1128 ) e outros locais(Acessar)
Foundations of software science and computation structures First International Conference, FoSSaCS'98 held as part of the joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998 : proceedings
FoSSaCS '98 (Conference) (1st 1998 Lisbon, Portugal) Maurice Nivat 1937-; Joint European Conferences on Theory and Practice of Software (1998 Lisbon, Portugal)
Berlin London Springer c1998
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1378 ) e outros locais(Acessar)
Programming languages and systems 7th European Symposium on Programming, ESOP '98 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1996 : proceedings
European Symposium on Programming (7th 1998 Lisbon, Portugal) Chris Hankin; International Joint Conference on Theory and Practice of Software Development (1998 Lisbon, Portugal)
Berlin Springer New York c1998
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1381 ) e outros locais(Acessar)