Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Recent trends in algebraic development techniques 13th international workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papersWADT '98 (1998 Lisbon, Portugal) José Luiz Fiadeiro 1961-Berlin Springer New York c1999Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1589 e.1 ) e outros locais(Acessar) |
2 |
Material Type: Livro
|
![]() |
Recent trends in algebraic development techniques 18th international workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006 ; revised selected papersWADT 2006 (2006 La Roche-en-Ardenne, Belgium) José Luiz Fiadeiro 1961-; Pierre-Yves Schobbens 1961-Berlin Springer 2007Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4409 ) e outros locais(Acessar) |
3 |
Material Type: Livro
|
![]() |
Algebra and coalgebra in computer science first international conference, CALCO 2005, Swansea, UK, September 3-6, 2005 : proceedingsCALCO 2005 (Swansea, Wales) Neil Harman; Markus Roggenbach; Jan Rutten; Jos e Luiz Fiadeiro 1961Berlin Springer New York c2005Acesso online. A biblioteca também possui exemplares impressos. |
4 |
Material Type: Livro
|
![]() |
Formal Aspects of Component Software: 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected PapersFiadeiro, José Luiz ; Liu, Zhiming ; Xue, Jinyun Fiadeiro, Jos' Luiz ; Liu, Zhiming ; Xue, JinyunNetherlands: Springer Nature 2014Texto completo disponível |
5 |
Material Type: Livro
|
![]() |
Software Design Using Java 2Lano, Fiadeiro and AndradeLondon: Palgrave Macmillan 2002Texto completo disponível |
6 |
Material Type: Ata de Congresso
|
![]() |
Formal Aspects of Component Software: 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected PapersFiadeiro, José Luiz ; Liu, Zhiming ; Xue, JinyunCham: Springer International Publishing 2014Texto completo disponível |
7 |
Material Type: Livro
|
![]() |
Recent Trends in Algebraic Development Techniques: 13th International Workshop, WADT'98 Lisbon, Portugal, April 2-4, 1998 Selected PapersFiadeiro, Jose L ; Hartmanis, Juris ; van Leeuwen, Jan Fiadeiro, José LuizBerlin, Heidelberg: Springer Berlin / Heidelberg 1999Texto completo disponível |