Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Algebraic methodology and software technology 10th international conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004 : proceedingsInternational Conference on Algebraic Methodology and Software Technology (10th 2004 Stirling, Scotland) C Rattray (Charles) 1938; Savitri Maharaj; Carron ShanklandBerlin Springer New York c2004Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.3116 ) e outros locais(Acessar) |
2 |
Material Type: Livro
|
![]() |
Algebraic methodology and software technology 11th international conference, AMAST 2006, Kuressaare, Estonia, July 5-8 2006 : proceedingsInternational Conference on Algebraic Methodology and Software Technology (11th 2006 Kingissepa, Estonia) Michael Johnson; Varmo VeneBerlin Springer New York 2006Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4019 ) e outros locais(Acessar) |
3 |
![]() ![]() ![]() Material Type: Livro
|
![]() |
Formal methods and software engineering 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedingsInternational Conference on Formal Engineering Methods (6th 2004 Seattle, Wash.) Jim Davies 1964; Wolfram Schulte; Mike Barnett 1957Berlin Springer New York c2004Acesso online. A biblioteca também possui exemplares impressos. |
4 |
Material Type: Livro
|
![]() |
Generative programming and component engineering 4th international conference, GPCE 2005, Tallinn, Estonia, September 29-October 1, 2005 : proceedingsGPCE 2005 (2005 Tallinn, Estonia) R Gl uck (Robert) 1961; Michael R Lowry (Michael Randolph) 1955Berlin Springer New York 2005Acesso online. A biblioteca também possui exemplares impressos. |
5 |
Material Type: Livro
|
![]() |
COTS-based software systems 4th international conference, ICCBSS 2005, Bilbao, Spain, February 7-11 2005 : proceedingsICCBSS 2005 (2005 Bilbao, Spain) Xavier Franch; Dan PortBerlin Springer New York c2005Acesso online. A biblioteca também possui exemplares impressos. |
6 |
Material Type: Livro
|
![]() |
Software product lines 9th international conference, SPLC 2005, Rennes, France, September 26-29, 2005 : proceedingsSoftware Product Lines Conference (9th 2005 Rennes, France) Henk Obbink; Klaus Pohl 1960Berlin Springer New York 2005Acesso online. A biblioteca também possui exemplares impressos. |
7 |
Material Type: Livro
|
![]() |
Component-based software engineering 8th international symposium, CBSE 2005, St. Louis, Mo, USA, May 14-15 2005 : proceedingsCBSE 2005 (2005 Saint Louis, Mo.) Ivica Crnkovic; Heinz W Schmidt; Judith A Stafford; Clemens Szyperski; Kurt Wallnau; George T HeinemanBerlin Springer New York c2005Acesso online. A biblioteca também possui exemplares impressos. |
8 |
Material Type: Livro
|
![]() |
Agent-oriented software engineering IV 4th international workshop, AOSE 2003, Melbourne, Australia, July 15, 2003 : revised papersAOSE 2003 (2003 Melbourne, Vic.) Paolo Giorgini; J. P Muller 1965- (Jörg P.); James J Odell; International Joint Conference on Autonomous Agents and Multiagent Systems (2nd 2003 Melbourne, Vic.)Berlin Springer New York c2004Acesso online. A biblioteca também possui exemplares impressos. |
9 |
Material Type: Livro
|
![]() |
E-commerce and Web technologies 7th international conference, EC-Web 2006, Krakow, Poland, September 5-7, 2006 : proceedingsInternational Conference on Electronic Commerce and Web Technologies (7th 2006 Krak ow, Poland) Kurt Bauknecht 1936; Birgit Pr oll; H Werthner 1954Berlin Springer New York, NY c2006Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4082 ) e outros locais(Acessar) |
10 |
Material Type: Livro
|
![]() |
Fundamental approaches to software engineering 8th international conference, FASE 2005, held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh UK, April 4-8, 2005 : proceedingsFASE 2005 (2005 Edinburgh, Scotland) Maura Cerioli; ETAPS 2005 (2005 Edinburgh, Scotland)Berlin Springer-Verlag New York 2005Acesso online. A biblioteca também possui exemplares impressos. |