skip to main content
Idioma:
Resultados 1 2 3 next page
Refinado por: assunto: Linguagem De Programação remover assunto: Técnicas De Programação remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Principles and Practice of Constraint Programming - CP 2002: 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings
Principles and Practice of Constraint Programming - CP 2002: 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Principles and Practice of Constraint Programming - CP 2002: 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings

Hentenryck, Pascal Van Van Hentenryck, Pascal

Berlin, Heidelberg: Springer Berlin / Heidelberg 2002

Texto completo disponível

Citações Citado por
2
Functional and Logic Programming: 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002. Proceedings
Functional and Logic Programming: 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002. Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Functional and Logic Programming: 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002. Proceedings

Hu, Zhenjiang ; Rodriquez-Artalejo, Mario Hu, Zhenjiang ; Rodríguez-Artalejo, Mario

Berlin, Heidelberg: Springer Berlin / Heidelberg 2002

Texto completo disponível

Citações Citado por
3
An introduction to computer science using Java
An introduction to computer science using Java
Material Type:
Livro 		Adicionar ao Meu Espaço

An introduction to computer science using Java

Samuel N. Kamin M. Dennis Mickunas; Edward M Reingold 1945-

Boston WCB/McGraw-Hill 1998

Localização: IME - Inst. Matemática e Estatística    (QA724.12 K15i )(Acessar)

4
Modular Specification and Verification of Object-Oriented Programs
Modular Specification and Verification of Object-Oriented Programs
Modular Specification and Verification of Object-Oriented Programs
Material Type:
Livro 		Adicionar ao Meu Espaço

Modular Specification and Verification of Object-Oriented Programs

Peter Müller

Springer Berlin Heidelberg 2002

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

5
Principles and practice of constraint programming--CP2001 7th international conference, CP 2001, Paphos, Cyprus, November 26-December 1, 2001 : proceedings
Principles and practice of constraint programming--CP2001 7th international conference, CP 2001, Paphos, Cyprus, November 26-December 1, 2001 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Principles and practice of constraint programming--CP2001 7th international conference, CP 2001, Paphos, Cyprus, November 26-December 1, 2001 : proceedings

CP 2001 (2001 Paphos, Cyprus) Toby Walsh

Berlin Springer New York c2001

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

6
Principles and practice of constraint programming-CP 2002 8th International Conference4, CP 2002, Ithaca, NY, USA, september 2002 : proceedings
Principles and practice of constraint programming-CP 2002 8th International Conference4, CP 2002, Ithaca, NY, USA, september 2002 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Principles and practice of constraint programming-CP 2002 8th International Conference4, CP 2002, Ithaca, NY, USA, september 2002 : proceedings

CP 2002 (2002 Ithaca, N.Y.) Pascal Van Hentenryck

Berlin Springer New York c2002

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

7
Paragon a language using type hierarchies for the specification, implementation, and selection of abstract data types
Paragon a language using type hierarchies for the specification, implementation, and selection of abstract data types
Material Type:
Livro 		Adicionar ao Meu Espaço

Paragon a language using type hierarchies for the specification, implementation, and selection of abstract data types

Mark Steven Sherman

Berlin New York Springer-Verlag c1985

Localização: EPBC - Esc. Politécnica-Bib Central    (004.43 PARAGON Sh55p ) e outros locais(Acessar)

8
Integrated formal methods Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings
Integrated formal methods Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Integrated formal methods Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings

International Conference on Integrated Formal Methods (3rd 2002 Turku, Finland) Michael Butler 1967-; Luigia Petre 1974-; K Sere 1954- (Kaisa)

Berlin Springer New York c2002

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

9
Functional and logic programming 6th international symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002 : proceedings
Functional and logic programming 6th international symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Functional and logic programming 6th international symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002 : proceedings

Fuji International Symposium on Functional and Logic Programming (6th 2002 Aizu Daigaku, Japan) Zhenjiang Hu 1966-; M Rodríguez Artalejo (Mario)

Berlin Springer New York c2002

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

10
Functional programming languages and computer architecture proceedings
Functional programming languages and computer architecture proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Functional programming languages and computer architecture proceedings

Conference on Functional Programming Languages and Computer Architecture (3. 1987 Portland) Gilles Kahn

Berlin Springer 1987

Localização: EPBC - Esc. Politécnica-Bib Central    (004.43 C76f 3. ) e outros locais(Acessar)

Resultados 1 2 3 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
Refinar
  1. Antes de1986  (2)
  2. 1986Até1996  (2)
  3. 1997Até1999  (3)
  4. 2000Até2002  (13)
  5. Após 2002  (6)
  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.