Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
A Systematic Catalogue of Reusable Abstract Data TypesJürgen Uhl Hans Albrecht SchmidSpringer Berlin Heidelberg 1990Acesso online. A biblioteca também possui exemplares impressos. |
|
2 |
Material Type: Livro
|
Modular Specification and Verification of Object-Oriented ProgramsPeter MüllerSpringer Berlin Heidelberg 2002Acesso online. A biblioteca também possui exemplares impressos. |
|
3 |
Material Type: Livro
|
Recent trends in algebraic development techniques 14th international workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papersWADT '99 (1999 Château de Bonas, France) Didier Bert; C Choppy (Christine); Peter MossesBerlin New York Springer c2000Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1827 ) e outros locais(Acessar) |
|
4 |
Material Type: Livro
|
Recent trends in algebraic development techniques 13th international workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papersWADT '98 (1998 Lisbon, Portugal) José Luiz Fiadeiro 1961-Berlin Springer New York c1999Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1589 e.1 ) e outros locais(Acessar) |
|
5 |
Material Type: Livro
|
UML '99--the unified modeling language beyond the standard : second international conference, Fort Collins, CO, USA, October 28-30, 1999 : proceedingsUML '99 (1999 Fort Collins, Colo.) Robert France (Robert B.); Bernhard RumpeBerlin Springer New York c1999Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1723 e.1 )(Acessar) |
|
6 |
Material Type: Livro
|
Software visualization international seminar, Dagstuhl Castle, Germany, May 20-25, 2001 : revised papersDagstuhl Seminar on Software Visualization (2001 Dagstuhl, Germany) Stephan Diehl 1969-Berlin Springer New York c2002Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2269 ) e outros locais(Acessar) |
|
7 |
Material Type: Livro
|
Object-oriented software constructionBertrand Meyer 1950-New York Prentice-Hall c1988Localização: EPBC - Esc. Politécnica-Bib Central (004.045 M575o ) e outros locais(Acessar) |
|
8 |
Material Type: Livro
|
UML 2001 the unified modeling language : modeling languages, concepts, and tools : 4th international conference, Toronto, Canada, October 1-5, 2001 : proceedingsUML 2001 (2001 Toronto, Ont.) Martin Gogolla 1954-; Cris Kobryn 1952-Berlin Springer New York c2001Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2185 ) e outros locais(Acessar) |
|
9 |
Material Type: Livro
|
Concurrency, graphs and models essays dedicated to Ugo Montanari on the occasion of his 65th birthdayUgo Montanari; Pierpaolo Degano 1950-; Rocco De Nicola; José MeseguerBerlin Springer New York c2008Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v5065 ) e outros locais(Acessar) |
|
10 |
Material Type: Livro
|
Models in software engineering workshops and symposia at MoDELS 2006, Genoa, Italy October 1-6, 2006 : reports and revised selected papersMoDELS 2006 (2006 Genoa, Italy) Thomas KühneBerlin Springer New York c2007Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4364 ) e outros locais(Acessar) |