1
|
Material Type: Livro
|
|
Types in compilation third international workshop, TIC 2000, Montreal, Canada, September 21, 2000 : revised selected papers
TIC 2000 (2000 Montréal, Québec) Robert William Harper 1957-
Berlin Springer New York c2001
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.2071 ) e outros locais(Acessar)
|
2
|
Material Type: Livro
|
|
Programs as data objects Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001 : proceedings
PADO 2001 (2001 Aarhus, Denmark) Olivier Danvy; Andrzej Filinski 1965-
Berlin Springer New York 2001
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.2053 ) e outros locais(Acessar)
|