Recent trends in algebraic development techniques 15th international workshop, WADT 2001 Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001 : selected papers
WADT 2001 (2001 Genoa, Italy) Maura Cerioli; Gianna Reggio 1957-
Berlin Springer London c2001
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.2267 ) e outros locais(Acessar)
Recent trends in algebraic development techniques 18th international workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006 ; revised selected papers
WADT 2006 (2006 La Roche-en-Ardenne, Belgium) José Luiz Fiadeiro 1961-; Pierre-Yves Schobbens 1961-
Berlin Springer 2007
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.4409 ) e outros locais(Acessar)
Foundations of software technology and theoretical computer science 17th conference, Kharagpur, India, December 18-20, 1997 : proceedings
S Ramesh; G Sivakumar; Conference on Software Technology and Theoretical Computer Science Kharagpur, India) 1997; Conference on Foundations of Software Technology and Theoretical Computer Science (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)
SOFSEM 2008 theory and practice of computer science : 34th Conference on Current Trends in Theory and Practice of Computer Science, Novy Smokovec, Slovakia, January 19-25, 2008 : proceedings
SOFSEM (Conference) (34th 2008 Novy Smokovec, Slovakia) Viliam Geffert
Berlin Springer New York c2008
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.4910 ) e outros locais(Acessar)
SOFSEM 2004 theory and practice of computer science : 30th Conference on Current Trends in Theory and Practice of Computer Science, Merín, Czech Republic, January 24-30, 2004 : proceedings
SOFSEM (Conference) (2004 Prague, Czech Republic) Jaroslav Pokorný; Mária Bieliková; Július Stuller; P. van Emde Boas
Berlin Springer London 2004
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.2932 ) e outros locais(Acessar)