TAPSOFT ®91 proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991
International Joint Conference on Theory and Practice of Software Development (4th : 1991 Brighton, England) Samson Abramsky 1953-; Thomas S. E Maibaum
Berlin Springer-Verlag New York 1991-
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.494 e.1 ) 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)
Tapsoft'95 theory and practice of software development : proceedings of the 6th international joint conference caap / fase, held in aarhus, dinmark, may 22-26, 1995
International Joint Conference on Theory and Practice of Software Development (6. 1995 Aarhus, Dk) Peter D Mosses; M Nielsen (Mogens) 1949-
Berlin Springer 1995
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.915 e.1 ) e outros locais(Acessar)
Foundations of software science and computation structures Second International Conference, FOSSACS '99 held as part of the joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings
FOSSACS '99 (2nd. 1999 Amsterdam, Netherlands) Wolfgang Thomas 1947-; International Joint Conference on Theory and Practice of Software Development (9th 1999 Amsterdam, Netherlands)
Berlin New York Springer-Verlag c1999
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1578 ) e outros locais(Acessar)