Algebra and Coalgebra in Computer Science : 1st International Conference, CALCO 2005 : Swansea, UK, September 2005 : proceedings / José Luiz Fiadeiro...[et al.](eds.) |
Autore | International Conference, CALCO 2005 : <1. ; : 2005 |
Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2005 |
Descrizione fisica | XI, 455 p. : ill. ; 24 cm. |
Disciplina | 005.1 |
Collana | Lecture notes in computer science |
Soggetto topico | Algebra - Congressi - Swansea - 2005 |
ISBN | 3-540-28620-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990002963530203316 |
International Conference, CALCO 2005 : <1. ; : 2005
![]() |
||
Berlin [etc.] : Springer, copyr. 2005 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Business process management : 4th international conference, BPM 2006 : Vienna, Austria, September 5-7, 2006 : proceedings / Scharam Dustdar, José Luiz Fiadeiro, Amit Sheth (Eds.) |
Autore | International conference, BMP 2006 : <4. ; : 2006 |
Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2006 |
Descrizione fisica | XV, 486 p. : ill. ; 24 cm |
Disciplina | 005.1 |
Collana | Lecture notes in computer science |
Soggetto topico | Informatica - Congressi - Vienna - 2006 |
ISBN | 3-540-38901-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990003179000203316 |
International conference, BMP 2006 : <4. ; : 2006
![]() |
||
Berlin [etc.] : Springer, copyr. 2006 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Fundamental approaches to software engineering : 11th International conference, FASE 2008 : Held as part of the joint european conferences on theory and practice of software, ETAPS 2008 : Budapest, Hungary, March 29-April 6, 2008 : Proceedings / José Luiz Fiadeiro, Paola Inverardi (Eds.) |
Autore | International conference, FASE 2008 : <11.; : 2008 |
Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2008 |
Descrizione fisica | XIII, 430 p. : ill. ; 24 cm |
Disciplina | 005.1 |
Collana | Lecture notes in computer science |
Soggetto non controllato | Software |
ISBN | 978-3-540-78742-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990003100790203316 |
International conference, FASE 2008 : <11.; : 2008
![]() |
||
Berlin [etc.] : Springer, copyr. 2008 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Recent trends in algebraic development techniques : 18th international workshop, WADT 2006 : La Roche en Ardenne, Belgium, June 2006 : revised selected papers / José Luiz Fiadeiro, Pierre-Yves-Schobbens (Eds.) |
Autore | International workshop, WADT 2006 : <18.; : 2006 |
Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2007 |
Descrizione fisica | 170 p. : ill. ; 24 cm. |
Collana | Lecture notes in computer science |
ISBN | 978-3-540-71997-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990003076040203316 |
International workshop, WADT 2006 : <18.; : 2006
![]() |
||
Berlin [etc.] : Springer, copyr. 2007 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Recent trends in algebraic development tecniques : 17th International Workshop,WADT 2004 : Barcelona, Spain, March 27-29, 2004 : revised selected papers / José Luiz Fiadeiro...[et al.] (eds.) |
Autore | International Workshop, WADT 2004 : <17. ; : 2004 |
Pubbl/distr/stampa | Berlin [etc.] : Springer, [c2005] |
Descrizione fisica | VIII, 269 p. : ill. ; 20 cm |
Disciplina | 005.131 |
Collana | Lecture notes in computer science |
Soggetto topico |
Logica matematica - Congressi - Barcellona - 2004
Software sviluppo - Congressi - Barcellona - 2004 |
ISBN | 3-540-25327-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990003002200203316 |
International Workshop, WADT 2004 : <17. ; : 2004
![]() |
||
Berlin [etc.] : Springer, [c2005] | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|