skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: assunto: Técnicas De Programação (Congressos) remover
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
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
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
Constraint programming ; basics and trends selected papers 1994 chatillon spring school, chatillon-sur-seine, france, may 16-20, 1994
Constraint programming ; basics and trends selected papers 1994 chatillon spring school, chatillon-sur-seine, france, may 16-20, 1994
Material Type:
Livro 		Adicionar ao Meu Espaço

Constraint programming ; basics and trends selected papers 1994 chatillon spring school, chatillon-sur-seine, france, may 16-20, 1994

French-Spring School of Theoretical Computer Science (1994 : Chatillon-Sur-Seine, Fr) Andreas Podelski

Berlin Springer 1995

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

4
Recent trends in algebraic development techniques 18th international workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006 ; revised selected papers
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)

5
ECOOP 2005 -- object-oriented programming 19th European conference, Glasgow, UK, July 25-29, 2005 : proceedings
ECOOP 2005 -- object-oriented programming 19th European conference, Glasgow, UK, July 25-29, 2005 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

ECOOP 2005 -- object-oriented programming 19th European conference, Glasgow, UK, July 25-29, 2005 : proceedings

ECOOP 2005 (19th 2005 Glasgow, Scotland) Andrew P Black

Berlin Springer New York c2005

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

6
Mathematics of program construction 6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings
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)

7
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 lectures
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 lectures
Material Type:
Livro 		Adicionar ao Meu Espaço

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 lectures

International School on Formal Methods for the Design of Computer Communication, and Software Systems (7th 2007 Bertinoro, Italy) Marco Bernardo; J Hillston (Jane) 1963

Berlin Springer New York c2007

Localização: IME - Inst. Matemática e Estatística    (S L471c v.4486 )(Acessar)

8
Principles and practice of constraint programming 10th international conference ; proceedings
Principles and practice of constraint programming 10th international conference ; proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Principles and practice of constraint programming 10th international conference ; proceedings

Mark Wallace; CP (10, 2004, Toronto)

Berlin Springer Heidelberg New York 2004

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

9
Functional and logic programming 8th international symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26 2006 : proceedings
Functional and logic programming 8th international symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26 2006 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Functional and logic programming 8th international symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26 2006 : proceedings

Fuji International Symposium on Functional and Logic Programming (8th 2006 Susono-shi, Japan) Masami Hagiya 1957; Philip Wadler 1956

Berlin Springer New York c2006

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

10
Multiparadigm programming in Mozart/OZ second international conference, MOZ 2004, Charleroi, Belgium October 7-8, 2004 ; revised selected and invited papers
Multiparadigm programming in Mozart/OZ second international conference, MOZ 2004, Charleroi, Belgium October 7-8, 2004 ; revised selected and invited papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Multiparadigm programming in Mozart/OZ second international conference, MOZ 2004, Charleroi, Belgium October 7-8, 2004 ; revised selected and invited papers

Peter Van-Roy; MOZ 2004 (2nd 2004 Charleroi, Belgium)

Berlin Springer 2005

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

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (57)

Data de Publicação 

De até
Refinar
  1. Antes de1984  (6)
  2. 1984Até1991  (11)
  3. 1992Até1995  (35)
  4. 1996Até2001  (43)
  5. Após 2001  (128)
  6. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.