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
A Systematic Catalogue of Reusable Abstract Data Types
A Systematic Catalogue of Reusable Abstract Data Types
Material Type:
Livro
Adicionar ao Meu Espaço

A Systematic Catalogue of Reusable Abstract Data Types

Jürgen Uhl Hans Albrecht Schmid

Springer Berlin Heidelberg 1990

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

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

3
Recent trends in algebraic development techniques 14th international workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papers
Material Type:
Livro
Adicionar ao Meu Espaço

Recent trends in algebraic development techniques 14th international workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papers

WADT '99 (1999 Château de Bonas, France) Didier Bert; C Choppy (Christine); Peter Mosses

Berlin New York Springer c2000

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

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

5
UML '99--the unified modeling language beyond the standard : second international conference, Fort Collins, CO, USA, October 28-30, 1999 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

UML '99--the unified modeling language beyond the standard : second international conference, Fort Collins, CO, USA, October 28-30, 1999 : proceedings

UML '99 (1999 Fort Collins, Colo.) Robert France (Robert B.); Bernhard Rumpe

Berlin Springer New York c1999

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

6
Software visualization international seminar, Dagstuhl Castle, Germany, May 20-25, 2001 : revised papers
Material Type:
Livro
Adicionar ao Meu Espaço

Software visualization international seminar, Dagstuhl Castle, Germany, May 20-25, 2001 : revised papers

Dagstuhl Seminar on Software Visualization (2001 Dagstuhl, Germany) Stephan Diehl 1969-

Berlin Springer New York c2002

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

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

8
UML 2001 the unified modeling language : modeling languages, concepts, and tools : 4th international conference, Toronto, Canada, October 1-5, 2001 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

UML 2001 the unified modeling language : modeling languages, concepts, and tools : 4th international conference, Toronto, Canada, October 1-5, 2001 : proceedings

UML 2001 (2001 Toronto, Ont.) Martin Gogolla 1954-; Cris Kobryn 1952-

Berlin Springer New York c2001

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

9
Concurrency, graphs and models essays dedicated to Ugo Montanari on the occasion of his 65th birthday
Material Type:
Livro
Adicionar ao Meu Espaço

Concurrency, graphs and models essays dedicated to Ugo Montanari on the occasion of his 65th birthday

Ugo Montanari; Pierpaolo Degano 1950-; Rocco De Nicola; José Meseguer

Berlin Springer New York c2008

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

10
Models in software engineering workshops and symposia at MoDELS 2006, Genoa, Italy October 1-6, 2006 : reports and revised selected papers
Material Type:
Livro
Adicionar ao Meu Espaço

Models in software engineering workshops and symposia at MoDELS 2006, Genoa, Italy October 1-6, 2006 : reports and revised selected papers

MoDELS 2006 (2006 Genoa, Italy) Thomas Kühne

Berlin Springer New York c2007

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

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (7)

Data de Publicação 

De até
  1. Antes de1986  (6)
  2. 1986Até1990  (11)
  3. 1991Até1995  (9)
  4. 1996Até2001  (32)
  5. Após 2001  (25)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.