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
Recent trends in algebraic development techniques 13th international workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers
Material Type:
Livro
Adicionar ao Meu Espaço

Recent trends in algebraic development techniques 13th international workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers

WADT '98 (1998 Lisbon, Portugal) José Luiz Fiadeiro 1961-

Berlin Springer New York c1999

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

2
ECOOP'99 object-oriented programming : 13th European Conference, Lisbon, Portugal, June 14-18, 1999 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

ECOOP'99 object-oriented programming : 13th European Conference, Lisbon, Portugal, June 14-18, 1999 : proceedings

European Conference on Object-Oriented Programming (13th 1999 Lisbon, Portugal) Rachid Guerraoui

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

Berlin Springer New York c1999

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

3
Object-oriented software construction
Material Type:
Livro
Adicionar ao Meu Espaço

Object-oriented software construction

Bertrand Meyer 1950-

New York Prentice-Hall c1988

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

4
ECOOP '93, object-oriented programming, 7th European conference, Kaiserslautern, Germany, July 26-30, 1993 proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

ECOOP '93, object-oriented programming, 7th European conference, Kaiserslautern, Germany, July 26-30, 1993 proceedings

European Conference on Object-Oriented Programming (7th 1993 Kaiserlautern, Germany) Oscar Marius Nierstrasz 1957-

Berlin New York Springer-Verlag c1993

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

5
Principles and practice of constraint programming second International Workshop, PPCP'94, Rosario, Orcas Island, WA, USA, may 2-4, 1994 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Principles and practice of constraint programming second International Workshop, PPCP'94, Rosario, Orcas Island, WA, USA, may 2-4, 1994 : proceedings

Workshop on the Principles and Practice of Constraint Programming (2nd 1994 Rosario, Wash.) Alan Borning 1950- (Alan H.)

Berlin New York Springer-Verlag c1994

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

6
Introduction to real-time software design
Material Type:
Livro
Adicionar ao Meu Espaço

Introduction to real-time software design

S. T. Allworth

London New York Macmillan 1981

Localização: EPBC - Esc. Politécnica-Bib Central    (004.031.43 AL58i )(Acessar)

7
The science of programming
Material Type:
Livro
Adicionar ao Meu Espaço

The science of programming

David Gries 1939-

New York Springer-Verlag c1981

Localização: EACH - Esc. Artes, Ciências e Humanidades    (005.1 G848s e.3 ) e outros locais(Acessar)

8
Foundations of software science and computation structures Third International Conference, FOSSACS 2000, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Foundations of software science and computation structures Third International Conference, FOSSACS 2000, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings

FOSSACS 2000 (2000 Berlin, Germany) Jerzy Tiuryn; ETAPS 2000 (2000 Berlin, Germany)

Berlin Springer New York c2000

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

9
Formal program development IFIP TC2/WG 2.1 state-of-the-art report
Material Type:
Livro
Adicionar ao Meu Espaço

Formal program development IFIP TC2/WG 2.1 state-of-the-art report

Bernhard Möller 1953-; Helmut A Partsch 1950-; Steve Schuman 1950-; IFIP TC 2/WG 2.1

Berlin New York Springer-Verlag c1993

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

10
Optimal interprocedural program optimization a new framework and its application
Material Type:
Livro
Adicionar ao Meu Espaço

Optimal interprocedural program optimization a new framework and its application

Jens Knoop

Berlin Springer New York c1998

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

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Disponível na Biblioteca (48)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (48)
  2. Artigos  (1)
  3. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1980  (3)
  2. 1980Até1985  (6)
  3. 1986Até1989  (5)
  4. 1990Até1994  (11)
  5. Após 1994  (24)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.