Computerscience logic selected papers [of the] 9th international workshop, CSL'95 annual conference of the EACSL, held in paderborn, Germany, september 22-29, 1995
Workshop on ComputerScience Logic (9. 1995 Paderborn, De) H. Kleine Buning
Berlin Springer 1996
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1092 e.1 ) e outros locais(Acessar)
Mathematical foundations of computerscience 1996 proceedings [of the] 21st international symposium, MFCS'96, held in Cracow, Poland, september 2-6, 1996
International Symposium on Mathematical Foundations of ComputerScience (21. 1996 Cracow, Poland) Wojciech Penczek; Andrzej Szalas
Berlin Springer 1996
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1113 ) e outros locais(Acessar)
Combinatorics and computerscience selected papers [of the] 8th franco-japanese and 4th franco-chinese conference, brest, France, july 3-5, 1995
Franco-Chinese Conference on Combinatorics and ComputerScience (4. 1995 Brest, Fr) M Deza 1934-; Franco-Japanese Conference on Combinatorics and ComputerScience (8. 1995 Brest, Fr)
Berlin Springer 1996
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1120 ) e outros locais(Acessar)
Graph grammars and their application to computerscience selected papers [of the] 5th international workshop, held in Williamsburg, VA, USA, november 13-18, 1994
International Workshop on Graph-Grammars and Their Applications To ComputerScience (5. 1994 Williamsburg, Us) Janice Cuny; Hartmut Ehrig; Gregor Engels; Grzegorz Rozenberg
Berlin Springer 1996
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1073 ) e outros locais(Acessar)