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)
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)
Foundations of software technology and theoretical computerscience 17th conference, Kharagpur, India, December 18-20, 1997 : proceedings
S Ramesh; G Sivakumar; Conference on Software Technology and Theoretical ComputerScience Kharagpur, India) 1997; Conference on Foundations of Software Technology and Theoretical ComputerScience (17. 1997 Kharagpur, IN)
Berlin Springer New York c1997
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1346 ) e outros locais(Acessar)
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)