Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Software architecture first European conference, ECSA 2007, Madrid, Spain September 24-26, 2007 : proceedingsECSA 2007 (2007 Madrid, Spain) Flavio Oquendo 1958-Berlin Springer New York c2007Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4758 ) e outros locais(Acessar) |
|
2 |
Material Type: Livro
|
Foundations of software science and computation structures 7th international conference, FOSSACS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004 Barcelona, Spain, March 29-April 2, 2004 : proceedingsFOSSACS 2004 (2004 Barcelona, Spain) Igor Walukiewicz; ETAPS 2004 (2004 Barcelona, Spain)Berlin Springer New York c2004Acesso online. A biblioteca também possui exemplares impressos. |
|
3 |
Material Type: Livro
|
Object-oriented technology ECOOP 2002 workshop reader : ECOOP 2002 workshops and posters, Málaga, Spain, June 2002 : proceedingsECOOP 2002 (2002 Málaga, Spain) Juan Hernández; Ana M. D MoreiraBerlin Springer New York 2002Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2548 ) e outros locais(Acessar) |
|
4 |
Material Type: Livro
|
Logic programming 21st international conference, ICLP 2005, Sitges, Spain, October 2-5, 2005 : proceedingsInternational Conference on Logic Programming (21st 2005 Sitges, Spain) Maurizio Gabbrielli; G Gupta (Gopal) 1963Berlin Springer New York 2005Acesso online. A biblioteca também possui exemplares impressos. |
|
5 |
Material Type: Livro
|
Software reuse: methods, techniques, and tools 8th international conference, ICSR 2004, Madrid, Spain, July 5-9, 2004 proceedingsInternational Conference on Software Reuse (8th 2004 Madrid, Spain) Jan Bosch; Charles C KruegerBerlin Springer New York c2004Acesso online. A biblioteca também possui exemplares impressos. |
|
6 |
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) |
|
7 |
Material Type: Livro
|
Transformation-based reactive systems development 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997 ; proceedingsInternational AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software (4th 1997 Mallorca, Spain) Miquel Bertran; Teodor RusBerlin Springer New York c1997Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1231 ) e outros locais(Acessar) |
|
8 |
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. |
|
9 |
Material Type: Livro
|
Tools and algorithms for the construction and analysis of systems 10th international conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004 Barcelona, Spain, March 29-April 2, 2004 : proceedingsTACAS 2004 (2004 Barcelona, Spain) K Jensen (Kurt) 1950; Andreas PodelskiBerlin Springer New York c2004Acesso online. A biblioteca também possui exemplares impressos. |