skip to main content
Resultados 1 2 3 4 5 next page
Refinado por: assunto: Técnicas De Programação remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science, Montreal, Canada, June 19-23, 1993
Material Type:
Livro
Adicionar ao Meu Espaço

Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science, Montreal, Canada, June 19-23, 1993

Symposium on Logic in Computer Science (8th 1993 Montreal, Canada) ACM Special Interest Group for Automata and Computability Theory; IEEE Computer Society Technical Committee on Mathematical Foundations of Computing

Los Alamitos, Calif. IEEE Computer Society Press c1993

Localização: EPBC - Esc. Politécnica-Bib Central    (004.42 Ie2L 8. )(Acessar)

2
An introduction to computer science an algorithmic approach
Material Type:
Livro
Adicionar ao Meu Espaço

An introduction to computer science an algorithmic approach

Jean-Paul Tremblay 1938- Richard B Bunt 1946-

New York McGraw-Hill c1981

Localização: IME - Inst. Matemática e Estatística    (QA720.1 T789i Short.ed. )(Acessar)

3
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
Algebraic Specification Techniques in Object Oriented Programming Environments
Algebraic Specification Techniques in Object Oriented Programming Environments
Material Type:
Livro
Adicionar ao Meu Espaço

Algebraic Specification Techniques in Object Oriented Programming Environments

Ruth Breu

Springer Berlin Heidelberg 1991

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

5
Parallel Execution of Parlog
Parallel Execution of Parlog
Material Type:
Livro
Adicionar ao Meu Espaço

Parallel Execution of Parlog

Andrew Cheese

Springer Berlin Heidelberg 1992

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

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

7
Semirings for Soft Constraint Solving and Programming
Semirings for Soft Constraint Solving and Programming
Material Type:
Livro
Adicionar ao Meu Espaço

Semirings for Soft Constraint Solving and Programming

Stefano Bistarelli

Springer Berlin / Heidelberg 2004

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

8
A theory of objects
Material Type:
Livro
Adicionar ao Meu Espaço

A theory of objects

Mart in Abadi Luca Cardelli

New York Springer 1998, c1996

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

9
Object-oriented analysis, design and implementation an integrated approach
Material Type:
Livro
Adicionar ao Meu Espaço

Object-oriented analysis, design and implementation an integrated approach

Brahma Dathan Sarnath Ramnath

Cham Springer International Publishing Imprint: Springer 2015

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

10
Genetic programming 6th European Conference, EuroGP 2003, Essex, UK, April 14-16, 2003 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Genetic programming 6th European Conference, EuroGP 2003, Essex, UK, April 14-16, 2003 : proceedings

EuroGP 2003 (2003 Essex, England) Conor Ryan 1972-

Berlin Springer New York c2003

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

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (168)
  2. Audiovisuais  (1)
  3. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1986  (13)
  2. 1986Até1992  (42)
  3. 1993Até1999  (30)
  4. 2000Até2007  (81)
  5. Após 2007  (10)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.