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
|
Constraint programming ; basics and trends selected papers 1994 chatillon spring school, chatillon-sur-seine, france, may 16-20, 1994French-Spring School of Theoretical Computer Science (1994 : Chatillon-Sur-Seine, Fr) Andreas PodelskiBerlin Springer 1995Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.910 e.1 ) e outros locais(Acessar) |
|
4 |
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) |
|
5 |
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. |
|
6 |
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) |
|
7 |
Material Type: Livro
|
Formal methods for performance evaluation 7th International School on Formal Methods for the Design of Computer Communication and Software Systems, SFM 2007, Bertinoro, Italy, May 28 June 2, 2007 ; advanced lecturesInternational School on Formal Methods for the Design of Computer Communication, and Software Systems (7th 2007 Bertinoro, Italy) Marco Bernardo; J Hillston (Jane) 1963Berlin Springer New York c2007Localização: IME - Inst. Matemática e Estatística (S L471c v.4486 )(Acessar) |
|
8 |
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) |
|
9 |
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. |
|
10 |
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. |