Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Generative programming and component engineering Third International Conference, GPCE 2004, Vancouver, Canada, October 24-28, 2004 : proceedingsGPCE 2004 (2004 Vancouver, B.C.) G abor Karsai; Eelco VisserBerlin Springer New York c2004Acesso online. A biblioteca também possui exemplares impressos. |
2 |
Material Type: Livro
|
![]() |
Component deployment IFIP/ACM Working Conference, CD 2002, Berlin, Germany, June 20-21, 2002 : proceedingsIFIP/ACM Working Conference on Component Deployment (2002 Berlin, Germany) J. M Bishop 1951- (Judith Mary)Berlin Springer New York c2002Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2370 ) e outros locais(Acessar) |
3 |
Material Type: Livro
|
![]() |
Component deployment third international working conference, CD 2005, Grenoble, France November 28-29, 2005 : proceedingsWorking Conference on Component Deployment (3rd 2005 Grenoble, France) Alan Dearle; S Eisenbach 1951Berlin Springer-Verlag c2005Acesso online. A biblioteca também possui exemplares impressos. |
4 |
Material Type: Livro
|
![]() |
Formal methods for components and objects first international symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002 : revised lecturesFMCO 2002 (2002 Leiden, Netherlands) Frank S. de BoerBerlin Springer-Verlag New York c2003Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2852 )(Acessar) |
5 |
Material Type: Livro
|
![]() |
Software composition 5th international symposium, SC 2006, Vienna, Austria, March 25-26, 2006 revised papersSC 2006 (2006 Vienna, Austria) Welf L owe; Mario S udholtBerlin Springer New York c2006Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4089 ) e outros locais(Acessar) |
6 |
Material Type: Livro
|
![]() |
Formal methods for components and objects 5th international symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10, 2006 : revised lecturesFMCO 2006 (2006 Amsterdam, Netherlands) Marcello M Bonsangue; Susanne Graf; Willem-Paul de Roever; Frank S. de BoerBerlin Springer New York c2007Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4709 ) e outros locais(Acessar) |
7 |
Material Type: Livro
|
![]() |
Formal methods for components and objects first international symposium, FMCO 2003, Leiden, the Netherlands November 4-7, 2003 : revised lecturesFMCO 2003 (2003 Leiden, Netherlands) Marcello M Bonsangue; Susanne Graf; Willem-Paul de Roever; Frank S. de BoerBerlin Springer-Verlag New York c2004Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.3188 ) e outros locais(Acessar) |
8 |
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. |
9 |
Material Type: Livro
|
![]() |
Formal methods for components and objects 4th international symposium, FMCO 2005, Amsterdam, The Netherlands November 1-4, 2005 : revised lecturesFMCO 2005 (2005 Amsterdam, Netherlands) Marcello M Bonsangue; Susanne Graf; Willem-Paul de Roever; Frank S. de BoerBerlin Springer New York c2006Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4111 ) e outros locais(Acessar) |
10 |
Material Type: Livro
|
![]() |
Formal methods for components and objects third international symposium, FMCO 2004, Leiden, the Netherlands November 2-5, 2004 : revised lecturesFMCO 2004 (2004 Leiden, Netherlands) Marcello M Bonsangue; Susanne Graf; Willem-Paul de Roever; Frank S. de BoerBerlin Springer New York c2005Acesso online. A biblioteca também possui exemplares impressos. |