skip to main content
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Advances in computer science ASIAN 2005 : data management on the Web ; 10th Asian Computing Science Conference, Kunming, China, December 7-9, 2005 proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Advances in computer science ASIAN 2005 : data management on the Web ; 10th Asian Computing Science Conference, Kunming, China, December 7-9, 2005 proceedings

Asian Computing Science Conference (10th 2005 Kunming Shi, China) St ephane Grumbach; Liying Sui; Victor Vianu

Berlin Springer New York c2005

Acesso online. A biblioteca também possui exemplares impressos.

2
Advances in computer science--ASIAN 2006 secure software and related issues : 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006 : revised selected papers
Material Type:
Livro
Adicionar ao Meu Espaço

Advances in computer science--ASIAN 2006 secure software and related issues : 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006 : revised selected papers

Asian Computing Science Conference (11th 2006 Tokyo, Japan) Mitsu Okada; Ichiro Satoh; SpringerLink (Online service)

Berlin Springer-Verlag c2007

Acesso online. A biblioteca também possui exemplares impressos.

3
Recent trends in algebraic development techniques 18th international workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006 ; revised selected papers
Material Type:
Livro
Adicionar ao Meu Espaço

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)

4
Mathematics of program construction 6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Mathematics of program construction 6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings

MPC 2002 (2002 Dagstuhl Castle, Germany) Eerke Boiten 1966-; Bernhard Möller 1953-

Berlin Springer New York 2002

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.2386 ) e outros locais(Acessar)

5
Metainformatics international symposium, MIS 2003, Graz, Austria, September 17-20, 2003 revised papers
Material Type:
Livro
Adicionar ao Meu Espaço

Metainformatics international symposium, MIS 2003, Graz, Austria, September 17-20, 2003 revised papers

MIS 2003 (2003 Graz, Austria) David L Hicks

Berlin Springer New York c2004

Acesso online. A biblioteca também possui exemplares impressos.

6
Advances in computing science-ASIAN '97 Third Asian Computing Science Conference, Kathmandu, Nepal, December 1997 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Advances in computing science-ASIAN '97 Third Asian Computing Science Conference, Kathmandu, Nepal, December 1997 : proceedings

Asian Computing Science Conference (3rd 1997 Kathmandu, Nepal) Rudrapatna Shyamasundar 1950-; Kazunori Ueda

Berlin Springer New York c1997

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1345 ) e outros locais(Acessar)

7
Recent trends in algebraic development techniques 12th international workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997 : selected papers
Material Type:
Livro
Adicionar ao Meu Espaço

Recent trends in algebraic development techniques 12th international workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997 : selected papers

WADT '97 (1997 Tarquinia, Italy) Francesco Parisi Presice

Berlin Springer New York c1998

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1376 ) e outros locais(Acessar)

8
Recent trends in algebraic development techniques 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29 2004 : revised selected papers
Material Type:
Livro
Adicionar ao Meu Espaço

Recent trends in algebraic development techniques 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29 2004 : revised selected papers

WADT 2004 (2004 Barcelona, Spain) Jos e Luiz Fiadeiro 1961; Peter Mosses; F Orejas (Fernando)

Berlin Springer New York c2005

Acesso online. A biblioteca também possui exemplares impressos.

9
Mathematics of program construction 4th international conference, MPC '98, Marstrand, Sweden, June 15-17, 1998 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Mathematics of program construction 4th international conference, MPC '98, Marstrand, Sweden, June 15-17, 1998 : proceedings

International Conference on the Mathematics of Program Construction (4th 1998 Marstrand, Sweden) Johan Jeuring 1965-

Berlin Springer Verlag New York c1998

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1422 ) e outros locais(Acessar)

10
Mathematics of program construction 8th international conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Mathematics of program construction 8th international conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006 : proceedings

MPC 2006 (2006 Kingissepa, Estonia) Tarmo Uustalu

Berlin Springer New York c2006

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.4014 ) e outros locais(Acessar)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (6)

Data de Publicação 

De até
  1. Antes de1998  (1)
  2. 1998Até2001  (2)
  3. 2002Até2003  (1)
  4. 2004Até2005  (5)
  5. Após 2005  (3)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.