skip to main content
Resultados 1 2 3 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Data structures and other objects a second course in computer science
Material Type:
Livro
Adicionar ao Meu Espaço

Data structures and other objects a second course in computer science

M. Main (Michael) 1956- Walter J Savitch 1943-

Redwood City, Calif. Benjamin/Cummings c1995

Localização: ICMC - Inst. Ciên. Mat. Computação    (68P05.01 M224d e.1 ) e outros locais(Acessar)

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

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

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

5
ECOOP'97--object-oriented programming 11th European Conference, Jyväskylä, Finland, June 9-13, 1997 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

ECOOP'97--object-oriented programming 11th European Conference, Jyväskylä, Finland, June 9-13, 1997 : proceedings

European Conference on Object-Oriented Programming (11th 1997 Jyväskylä, Finland) Mehmet Aksit; Satoshi Matsuoka

Berlin New York Springer c1997

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

6
ECOOP '88, European Conference on Object-Oriented Programming, Oslo, Norway, August 15-17, 1988, proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

ECOOP '88, European Conference on Object-Oriented Programming, Oslo, Norway, August 15-17, 1988, proceedings

European Conference on Object-Oriented Programming (1988 Oslo, Norway) S Gjessing 1950- (Stein); Kristen Nygaard 1926-

Berlin New York Springer-Verlag c1988

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

7
ECOOP '91 European Conference on Object-Oriented Programming, Geneva, Switzerland, July 15-19, 1991 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

ECOOP '91 European Conference on Object-Oriented Programming, Geneva, Switzerland, July 15-19, 1991 : proceedings

European Conference on Object-Oriented Programming (5th 1991 Geneva, Switzerland) Pierre America 1959-

Berlin New York Springer-Verlag c1991

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

8
Adaptive object-oriented software the Demeter Method with propagation patterns
Material Type:
Livro
Adicionar ao Meu Espaço

Adaptive object-oriented software the Demeter Method with propagation patterns

Karl J. Lieberherr

Boston PWS Pub. Co. c1996

Item não circula. Consulte sua biblioteca.(Acessar)

9
ECOOP '98 - object-oriented programming 12th European conference, Brussels, Belgium, July 20-24, 1998 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

ECOOP '98 - object-oriented programming 12th European conference, Brussels, Belgium, July 20-24, 1998 : proceedings

European Conference on Object-Oriented Programming (12th 1998 Brussels, Belgium) Eric Jul

Goos, G., ed.; Hartmanis, J., ed.; Leeuwen, J. Van, ed Lecture notes in computer science Berlin : Springer-Verlag, c1985-

Berlin Springer New York c1998

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

10
Formal methods for components and objects first international symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002 : revised lectures
Material Type:
Livro
Adicionar ao Meu Espaço

Formal methods for components and objects first international symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002 : revised lectures

FMCO 2002 (2002 Leiden, Netherlands) Frank S. de Boer

Berlin Springer-Verlag New York c2003

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

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 (17)
  2. Disponível na Biblioteca (247)

Refinar Meus Resultados

Tipo de Recurso 

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

Data de Publicação 

De até
  1. Antes de1991  (22)
  2. 1991Até1995  (52)
  3. 1996Até2000  (77)
  4. 2001Até2006  (78)
  5. Após 2006  (27)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (253)
  2. Português  (1)
  3. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.