Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Advances in computer science ASIAN 2005 : data management on the Web ; 10th Asian Computing Science Conference, Kunming, China, December 7-9, 2005 proceedingsAsian Computing Science Conference (10th 2005 Kunming Shi, China) St ephane Grumbach; Liying Sui; Victor VianuBerlin Springer New York c2005Acesso online. A biblioteca também possui exemplares impressos. |
|
2 |
Material Type: Livro
|
Advances in computer science--ASIAN 2006 secure software and related issues : 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006 : revised selected papersAsian Computing Science Conference (11th 2006 Tokyo, Japan) Mitsu Okada; Ichiro Satoh; SpringerLink (Online service)Berlin Springer-Verlag c2007Acesso online. A biblioteca também possui exemplares impressos. |
|
3 |
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) |
|
4 |
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) |
|
5 |
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. |
|
6 |
Material Type: Livro
|
Advances in computing science-ASIAN '97 Third Asian Computing Science Conference, Kathmandu, Nepal, December 1997 : proceedingsAsian Computing Science Conference (3rd 1997 Kathmandu, Nepal) Rudrapatna Shyamasundar 1950-; Kazunori UedaBerlin Springer New York c1997Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1345 ) e outros locais(Acessar) |
|
7 |
Material Type: Livro
|
Recent trends in algebraic development techniques 12th international workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997 : selected papersWADT '97 (1997 Tarquinia, Italy) Francesco Parisi PresiceBerlin Springer New York c1998Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1376 ) e outros locais(Acessar) |
|
8 |
Material Type: Livro
|
Recent trends in algebraic development techniques 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29 2004 : revised selected papersWADT 2004 (2004 Barcelona, Spain) Jos e Luiz Fiadeiro 1961; Peter Mosses; F Orejas (Fernando)Berlin Springer New York c2005Acesso online. A biblioteca também possui exemplares impressos. |
|
9 |
Material Type: Livro
|
Mathematics of program construction 4th international conference, MPC '98, Marstrand, Sweden, June 15-17, 1998 : proceedingsInternational Conference on the Mathematics of Program Construction (4th 1998 Marstrand, Sweden) Johan Jeuring 1965-Berlin Springer Verlag New York c1998Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1422 ) e outros locais(Acessar) |
|
10 |
Material Type: Livro
|
Mathematics of program construction 8th international conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006 : proceedingsMPC 2006 (2006 Kingissepa, Estonia) Tarmo UustaluBerlin Springer New York c2006Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4014 ) e outros locais(Acessar) |