Algebra and Coalgebra in Computer Science [Risorsa elettronica] : First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings / edited by José Luiz Fiadeiro, Neil Harman, Markus Roggenbach, Jan Rutten |
Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2005 |
Collana | Lecture Notes in Computer Science |
ISBN | 9783540318767 |
Formato | Risorse elettroniche |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990009237630403321 |
Berlin ; Heidelberg : Springer, 2005 | ||
Risorse elettroniche | ||
Lo trovi qui: Univ. Federico II | ||
|
Business Process Management [Risorsa elettronica] : 4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006. Proceedings / edited by Schahram Dustdar, José Luiz Fiadeiro, Amit P. Sheth |
Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2006 |
Collana | Lecture Notes in Computer Science |
ISBN | 9783540389033 |
Formato | Risorse elettroniche |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990009251370403321 |
Berlin ; Heidelberg : Springer, 2006 | ||
Risorse elettroniche | ||
Lo trovi qui: Univ. Federico II | ||
|
Fundamental Approaches to Software Engineering [Risorsa elettronica] : 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 |
Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2008 |
Collana | Lecture Notes in Computer Science |
ISBN | 9783540787433 |
Formato | Risorse elettroniche |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990009255440403321 |
Berlin ; Heidelberg : Springer, 2008 | ||
Risorse elettroniche | ||
Lo trovi qui: Univ. Federico II | ||
|
Recent trends in algebraic development techniques : 13th international workshop, WADT '98 : Lisbon, Portugal, April 2-4, 1998 : selected papers / José Luiz Fiaderio (ed.) |
Autore | International workshop. WADT '98 : 13th. : 1998 |
Pubbl/distr/stampa | Berlino : Springer-Verlag, copyr. 1999 |
Descrizione fisica | X, 340 p. : ill. ; 24 cm |
Collana | Lecture notes in computer science |
ISBN | 3-540-66246-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000208480203316 |
International workshop. WADT '98 : 13th. : 1998 | ||
Berlino : Springer-Verlag, copyr. 1999 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Recent Trends in Algebraic Development Techniques [Risorsa elettronica] : 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers / edited by José Luiz Fiadeiro, Pierre-Yves Schobbens |
Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2007 |
Collana | Lecture Notes in Computer Science |
ISBN | 9783540719984 |
Formato | Risorse elettroniche |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990009247940403321 |
Berlin ; Heidelberg : Springer, 2007 | ||
Risorse elettroniche | ||
Lo trovi qui: Univ. Federico II | ||
|
Recent Trends in Algebraic Development Techniques [Risorsa elettronica] : 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers / edited by José Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas |
Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2005 |
Collana | Lecture Notes in Computer Science |
ISBN | 9783540319597 |
Formato | Risorse elettroniche |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990009244020403321 |
Berlin ; Heidelberg : Springer, 2005 | ||
Risorse elettroniche | ||
Lo trovi qui: Univ. Federico II | ||
|