skip to main content
Idioma:
Refinado por: assunto: Técnicas De Programação remover assunto: Linguagem De Programação remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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.

2
Concurrent and Real-Time Programming in Ada 2005
Concurrent and Real-Time Programming in Ada 2005
Concurrent and Real-Time Programming in Ada 2005
Material Type:
Livro 		Adicionar ao Meu Espaço

Concurrent and Real-Time Programming in Ada 2005

Alan Burns Andrew J Wellings; Andy Wellings

Cambridge University Press 2007

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

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
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)

5
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)

6
Haskell the craft of functional programming
Haskell the craft of functional programming
Material Type:
Livro 		Adicionar ao Meu Espaço

Haskell the craft of functional programming

Simon Thompson

Harlow, England Addison Wesley Pearson New York 2011

Emprestado de IME - Inst. Matemática e Estatística    (QA724 T476h 3.ed. e.1 )(Acessar)

7
F# for scientists
F# for scientists
Material Type:
Livro 		Adicionar ao Meu Espaço

F# for scientists

Jon D. Harrop

Hoboken John Wiley c2008

Localização: IME - Inst. Matemática e Estatística    (QA754 H323f )(Acessar)

8
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)

9
Beginning Java objects [from concepts to code]
Beginning Java objects [from concepts to code]
Material Type:
Livro 		Adicionar ao Meu Espaço

Beginning Java objects [from concepts to code]

Jacquie Barker

Birmingham, UK Wrox Press c2000

Localização: IME - Inst. Matemática e Estatística    (QA754.4 B255b )(Acessar)

10
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)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
Refinar
  1. Antes de1998  (1)
  2. 1998Até1999  (1)
  3. 2000Até2000  (1)
  4. 2001Até2002  (9)
  5. Após 2002  (4)
  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.