Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
FSTTCS 2006: foundations of software technology and theoretical computer science 26th international conference, Kolkata, India December 13-15, 2006 ; proceedingsConference on Foundations of Software Technology and Theoretical Computer Science (26th 2006 Calcutta, India) S Arun-Kumar; Naveen GargBerlin Springer 2006Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4337 ) e outros locais(Acessar) |
|
2 |
Material Type: Livro
|
Reflection and Software EngineeringWalter Cazzola Walter Cazzola; Robert J Stroud; Francesco TisatoSpringer Berlin Heidelberg 2000Acesso online. A biblioteca também possui exemplares impressos. |
|
3 |
Material Type: Livro
|
A Knowledge-Based Approach to Program UnderstandingAbd-El-Hafiz Victor R BasiliSpringer US 1995Acesso online. A biblioteca também possui exemplares impressos. |
|
4 |
Material Type: Livro
|
Algebraic methodology and software technology 8th international conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000 : proceedingsInternational Conference on Algebraic Methodology and Software Technology (8th 2000 Iowa City, Iowa) Teodor RusBerlin New york Springer c2000Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1816 )(Acessar) |
|
5 |
Material Type: Livro
|
Learning software organizations methodology and applications : 11th International Conference on Software Engineering and Knowledge Engineering, SEKE'99, Kaiserslautern, Germany, June 16-19, 1999 : proceedingsInternational Conference on Software Engineering and Knowledge Engineering (11th 1999 Kaiserslautern, Germany) Günther Ruhe; Frank BomariusBerlin New York Springer 2000Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1756 ) e outros locais(Acessar) |
|
6 |
Material Type: Livro
|
Algebraic methodology and software technology 7th International Conference, AMAST'99, Amazonia, Brazil, January 4-8, 1999 : proceedingsArmando Martín Haeberer 1947-; International Conference on Algebraic Methodology and Software Technology (7th 1999 Amazonia, Brazil)Berlin Springer New York c1999Localização: IME - Inst. Matemática e Estatística (S L471c v.1548 )(Acessar) |
|
7 |
Material Type: Livro
|
Advances in learning software organizations third international workshop, LSO 2001, Kaiserslautern, Germany, September 12-13, 2001 : proceedingsLSO 2001 (2001 Kaiserslautern, Germany) Klaus-Dieter Althoff; Raimund L Feldmann 1961-; Wolfgang Müller 1961-Berlin Springer New York c2001Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2176 ) e outros locais(Acessar) |
|
8 |
Material Type: Livro
|
Algebraic methodology and software technology 6th international conference, AMAST '97, Sydney, Australia, December 13-17, 1997 : proceedingsMichael Johnson; International Conference on Algebraic Methodology and Software Technology (6th 1997 Sydney, Australia)Berlin Springer-Verlag New York c1997Localização: ICMC - Inst. Ciên. Mat. Computação (68.02 LNCS v.1349 ) 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) |