CONCUR 2005 Concurrency Theory [Risorsa elettronica] : 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Proceedings / edited by Martín Abadi, Luca Alfaro |
Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2005 |
Collana | Lecture Notes in Computer Science |
ISBN | 9783540319344 |
Formato | Risorse elettroniche ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990009245280403321 |
Berlin ; Heidelberg : Springer, 2005 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Foundations of Software Science and Computational Structures [Risorsa elettronica] : 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Luca Alfaro |
Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2009 |
Collana | Lecture Notes in Computer Science |
ISBN | 9783642005961 |
Formato | Risorse elettroniche ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990009259530403321 |
Berlin ; Heidelberg : Springer, 2009 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|