skip to main content
Idioma:
Mostrar Somente
Refinado por: Biblioteca: IME - Inst. Matemática e Estatística remover assunto: Técnicas De Programação remover Linguagem De Programação remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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)

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

3
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.

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

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

7
An introduction to object-oriented programming in C++ with applications in computer graphics
An introduction to object-oriented programming in C++ with applications in computer graphics
Material Type:
Livro 		Adicionar ao Meu Espaço

An introduction to object-oriented programming in C++ with applications in computer graphics

Graham M Seed 1965

London Springer New York 2001

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

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

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

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Disponível na Biblioteca (9)
  2. Recursos Online (2)

Data de Publicação 

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