Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Recent trends in algebraic development techniques 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29 2004 : revised selected papersWADT 2004 (2004 Barcelona, Spain) Jos e Luiz Fiadeiro 1961; Peter Mosses; F Orejas (Fernando)Berlin Springer New York c2005Acesso online. A biblioteca também possui exemplares impressos. |
|
2 |
Material Type: Livro
|
Software prototyping in data and knowledge engineeringGiovanni Guida 1951 Gianfranco Lamperti; Marina ZanellaDordrecht Boston Kluwer Academic Publishers c1999Localização: IME - Inst. Matemática e Estatística (QA772 G946s )(Acessar) |
|
3 |
Material Type: Livro
|
SOFSEM 2006 theory and practice of computer science : 32nd conference on current trends in theory and practice of computer science, M e r in, Czech Republic, January 21-27, 2006 : proceedingsSOFSEM (Conference) (32nd 2006 Merin, Czech Republic) J Wiedermann (Juraj); Gerard Tel; Jaroslav Pokorný; Mária Bieliková; Július StullerBerlin Springer c2006Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.3831 ) e outros locais(Acessar) |
|
4 |
Material Type: Livro
|
Object lessons lessons learned in object-oriented development projectsTom LoveNew York SIGS Books c1993Localização: IME - Inst. Matemática e Estatística (QA754.4 L897o )(Acessar) |
|
5 |
Material Type: Livro
|
Transactions on aspect-oriented software development IIAwais Rashid; Mehmet Ak sitBerlin Springer New York c2006Acesso online. A biblioteca também possui exemplares impressos. |
|
6 |
Material Type: Livro
|
Transactions on aspect-oriented software development IAwais Rashid; Mehmet AksitBerlin Springer 2006Acesso online. A biblioteca também possui exemplares impressos. |
|
7 |
Material Type: Livro
|
Model driven architecture foundations and applications : second European conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13 2006 : proceedingsEuropean Conference on Model Driven Architecture - Foundations and Applications (2nd 2006 Bilbao, Spain) Arend Rensink; Jos B WarmerBerlin Springer 2006Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4066 ) e outros locais(Acessar) |
|
8 |
Material Type: Livro
|
Formal methods in software and systems modeling essays dedicated to Hartmut Ehrig on the occasion of his 60th birthdayUgo Montanari; F Orejas (Fernando); Grzegorz Rozenberg; Gabriele Taentzer; Hartmut Ehrig; H.-J Kreowski (Hans-J org)Berlin Springer New York c2005Acesso online. A biblioteca também possui exemplares impressos. |
|
9 |
Material Type: Livro
|
Formal approaches to software testing 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004 : revised selected papersFATES 2004 (2004 Linz, Austria) Jens Grabowski; Brian Nielsen Ph. DBerlin Springer New York 2005Acesso online. A biblioteca também possui exemplares impressos. |
|
10 |
Material Type: Livro
|
Formal approaches to software testing 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 revised selected papersFATES 2005 (2005 Edinburgh, Scotland) Wolfgang Grieskamp 1960; Carsten WeiseBerlin Springer New York c2006Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.3997 ) e outros locais(Acessar) |