Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Recent trends in algebraic development techniques 18th international workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006 ; revised selected papersWADT 2006 (2006 La Roche-en-Ardenne, Belgium) José Luiz Fiadeiro 1961-; Pierre-Yves Schobbens 1961-Berlin Springer 2007Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4409 ) e outros locais(Acessar) |
|
2 |
Material Type: Livro
|
ECOOP 2005 -- object-oriented programming 19th European conference, Glasgow, UK, July 25-29, 2005 : proceedingsECOOP 2005 (19th 2005 Glasgow, Scotland) Andrew P BlackBerlin Springer New York c2005Acesso online. A biblioteca também possui exemplares impressos. |
|
3 |
Material Type: Livro
|
Mathematics of program construction 6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedingsMPC 2002 (2002 Dagstuhl Castle, Germany) Eerke Boiten 1966-; Bernhard Möller 1953-Berlin Springer New York 2002Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2386 ) e outros locais(Acessar) |
|
4 |
Material Type: Livro
|
Object-oriented information systems 8th International Conference, OOIS 2002, Montpellier, France, September 2-5, 2002 : proceedingsInternational Conference on Object Oriented Information Systems (8th 2002 Montpellier, France) Zohra Bellahsène 1954-; D Patel 1957- (Dilipkumar); Colette RollandBerlin Springer New York c2002Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2425 ) e outros locais(Acessar) |
|
5 |
Material Type: Livro
|
Principles and practice of constraint programming 10th international conference ; proceedingsMark Wallace; CP (10, 2004, Toronto)Berlin Springer Heidelberg New York 2004Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.3258 e.2 ) e outros locais(Acessar) |
|
6 |
Material Type: Livro
|
Functional and logic programming 8th international symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26 2006 : proceedingsFuji International Symposium on Functional and Logic Programming (8th 2006 Susono-shi, Japan) Masami Hagiya 1957; Philip Wadler 1956Berlin Springer New York c2006Acesso online. A biblioteca também possui exemplares impressos. |
|
7 |
Material Type: Livro
|
Datatype-generic programming international spring school, SSDGP 2006, Nottingham, UK, April 24-27, 2006 : revised lecturesSSDGP 2006 (2006 Nottingham, England) Jeremy Gibbons; Ralf Hinze; Johan Jeuring; Roland C Backhouse 1948Berlin Springer New York c2007Localização: IME - Inst. Matemática e Estatística (S L471c v.4719 )(Acessar) |
|
8 |
Material Type: Livro
|
Multiparadigm programming in Mozart/OZ second international conference, MOZ 2004, Charleroi, Belgium October 7-8, 2004 ; revised selected and invited papersPeter Van-Roy; MOZ 2004 (2nd 2004 Charleroi, Belgium)Berlin Springer 2005Acesso online. A biblioteca também possui exemplares impressos. |
|
9 |
Material Type: Livro
|
Metainformatics international symposium, MIS 2003, Graz, Austria, September 17-20, 2003 revised papersMIS 2003 (2003 Graz, Austria) David L HicksBerlin Springer New York c2004Acesso online. A biblioteca também possui exemplares impressos. |
|
10 |
Material Type: Livro
|
Advanced parallel processing technologies 6th international workshop, APPT 2005, Hong Kong, China, October 27-28 2005 : proceedingsAPPT 2005 (6th 2005 Hong Kong, China) Jiannong Cao; W Nejdl (Wolfgang) 1960; Ming XuBerlin Springer New York c2005Acesso online. A biblioteca também possui exemplares impressos. |