1
|
Material Type: Livro
|
|
Fundamentals of computation theory 14th international symposium, FCT 2003, Malmö, Sweden, August 12-15 2003 : proceedings
FCT 2003 (2003 Malmö, Sweden) Andrzej Lingas; Bengt J Nilsson
Berlin Springer New York c2003
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.2751 )(Acessar)
|
2
|
Material Type: Livro
|
|
Category theory and computer science 7th international conference, CTCS 97, Santa Margheria Ligure, Italy, September 4-6, 1997 : proceedings
Eugenio Moggi; G Rosolini (Giuseppe) 1954-; Biennial Conference on Category Theory in Computer Science (7th 1997 Santa Margherita Ligure, Italy)
Berlin Springer-Verlag New York c1997
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1290 ) e outros locais(Acessar)
|
3
|
Material Type: Livro
|
|
Fundamentals of computation theory 13th international symposium, FCT 2001, Riga, Latvia, August 22-24, 2001 : proceedings
FCT 2001 (2001 Råiga, Latvia) Rusins Freivalds
Berlin New York Barcelona London Springer c2001
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.2138 ) e outros locais(Acessar)
|
4
|
Material Type: Livro
|
|
Structures in logic and computer science a selection of essays in honor of A. Ehrenfeucht
Jan Mycielski 1932-; Grzegorz Rozenberg; Arto Salomaa
Berlin Springer New York c1997
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1261 ) e outros locais(Acessar)
|