skip to main content
Idioma:
Mostrar solo
Refinado por: materia: Engenharia De Software eliminar Computer Software eliminar
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
A Systematic Catalogue of Reusable Abstract Data Types
Material Type:
Libro 		Añadir a Mi Portal

A Systematic Catalogue of Reusable Abstract Data Types

Jürgen Uhl Hans Albrecht Schmid

Springer Berlin Heidelberg 1990

Acceso en línea. La biblioteca tiene también copias físicas.

2
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:
Libro 		Añadir a Mi Portal

Modular Specification and Verification of Object-Oriented Programs

Peter Müller

Springer Berlin Heidelberg 2002

Acceso en línea. La biblioteca tiene también copias físicas.

3
Recent trends in algebraic development techniques 14th international workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papers
Recent trends in algebraic development techniques 14th international workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papers
Material Type:
Libro 		Añadir a Mi Portal

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

Disponible en ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1827 ) y otras localizaciones(Obténgalo)

4
Recent trends in algebraic development techniques 13th international workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers
Recent trends in algebraic development techniques 13th international workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers
Material Type:
Libro 		Añadir a Mi Portal

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

Disponible en ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1589 e.1 ) y otras localizaciones(Obténgalo)

5
UML '99--the unified modeling language beyond the standard : second international conference, Fort Collins, CO, USA, October 28-30, 1999 : proceedings
UML '99--the unified modeling language beyond the standard : second international conference, Fort Collins, CO, USA, October 28-30, 1999 : proceedings
Material Type:
Libro 		Añadir a Mi Portal

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

Disponible en ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1723 e.1 )(Obténgalo)

6
Software visualization international seminar, Dagstuhl Castle, Germany, May 20-25, 2001 : revised papers
Software visualization international seminar, Dagstuhl Castle, Germany, May 20-25, 2001 : revised papers
Material Type:
Libro 		Añadir a Mi Portal

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

Disponible en ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.2269 ) y otras localizaciones(Obténgalo)

7
Object-oriented software construction
Object-oriented software construction
Material Type:
Libro 		Añadir a Mi Portal

Object-oriented software construction

Bertrand Meyer 1950-

New York Prentice-Hall c1988

Disponible en EPBC - Esc. Politécnica-Bib Central    (004.045 M575o ) y otras localizaciones(Obténgalo)

8
UML 2001 the unified modeling language : modeling languages, concepts, and tools : 4th international conference, Toronto, Canada, October 1-5, 2001 : proceedings
UML 2001 the unified modeling language : modeling languages, concepts, and tools : 4th international conference, Toronto, Canada, October 1-5, 2001 : proceedings
Material Type:
Libro 		Añadir a Mi Portal

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

Disponible en ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.2185 ) y otras localizaciones(Obténgalo)

9
Concurrency, graphs and models essays dedicated to Ugo Montanari on the occasion of his 65th birthday
Concurrency, graphs and models essays dedicated to Ugo Montanari on the occasion of his 65th birthday
Material Type:
Libro 		Añadir a Mi Portal

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

Disponible en ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v5065 ) y otras localizaciones(Obténgalo)

10
Models in software engineering workshops and symposia at MoDELS 2006, Genoa, Italy October 1-6, 2006 : reports and revised selected papers
Models in software engineering workshops and symposia at MoDELS 2006, Genoa, Italy October 1-6, 2006 : reports and revised selected papers
Material Type:
Libro 		Añadir a Mi Portal

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

Disponible en ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.4364 ) y otras localizaciones(Obténgalo)

Personalizar los resultados

  1. Editar

Refine Search Results

Mostrar solo

  1. Recursos en línea (7)

Fecha de Publicación 

De Hasta
Refinar
  1. Antes de1986  (6)
  2. 1986Hasta1990  (11)
  3. 1991Hasta1995  (9)
  4. 1996Hasta2001  (32)
  5. Después de 2001  (25)
  6. Más opciones open sub menu

  • Realización: ABCD-USP USP   Logos de Redes Sociales: Freepik

Buscando en bases de datos remotas, por favor espere