Computer science logic 11th international workshop, CSL'97 : annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers
Workshop on Computer Science Logic (11th 1997 Aarhus, Denmark) M Nielsen (Mogens) 1949-; Wolfgang Thomas 1947-; European Association for Computer Science Logic Conference Aarhus, Denmark) 1997
Berlin Springer New York 1998
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1414 ) e outros locais(Acessar)
Mathematical foundations of computer science 2000 25th international symposium, MFCS 2000, Bratislava, Sovakia, August 28 - September 1, 2000 : proceedings
Symposium on Mathematical Foundations of Computer Science (25th 2000 Bratislava) M Nielsen (Mogens) 1949-; B Rovan (Branislav)
Berlin Springer 2000
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1893 ) 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)