CONCUR 2009 - Concurrency theory : 20th International conference, CONCUR 2009 : Bologna, Italy, september 1-4, 2009 : proceedings / Mario Bravetti...[et al.] (Eds.) |
Autore | International conference, CONCUR 2009 : <20.; : 2009 |
Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2009 |
Descrizione fisica | X, 638 p. : ill. ; 24 cm |
Disciplina | 004.35 |
Collana | Lecture notes in computer science |
Soggetto topico | Elaborazione dei dati - Congressi - Bologna - 2009 |
ISBN | 978-3-642-04080-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990003329260203316 |
International conference, CONCUR 2009 : <20.; : 2009
![]() |
||
Berlin [etc.] : Springer, copyr. 2009 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Formal techniques for computer systems and business processes : european performance engineering workshop, EPEW 2005 and international workshop on web services and formal methods, WS-FM 2005 : Versailles, France, September 1-3, 2005 : proceedings / Mario Bravetti, Leila Kloul, Gianluigi Zavattaro (eds.) |
Autore | International symposium, SAS 2005 : <2005 |
Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2005 |
Descrizione fisica | XIII, 348 p. : ill. ; 24 cm. |
Disciplina | 005.1 |
Collana | Lecture notes in computer science |
Soggetto topico | Informatica - Congressi - Versailles - 2005 |
ISBN | 3-540-28584-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990002964550203316 |
International symposium, SAS 2005 : <2005
![]() |
||
Berlin [etc.] : Springer, copyr. 2005 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Web Services and Formal Methods : 3rd International Workshop, WS-FM 2006 : Vienna, Austria, September 8-9, 2006 : proceedings / Mario Bravetti...[et al.](Eds.) |
Autore | International Workshop, WS-FM 2006 : <3. ; : 2006 |
Pubbl/distr/stampa | Berlin : Springer, copyr. 2006 |
Descrizione fisica | X, 287 p. : ill. ; 20 cm. |
Disciplina | 006 |
Collana | Lecture notes in computer science |
Soggetto topico |
Internet - Congressi - Vienna - 2006
Informatica - Congressi - Vienna - 2006 |
ISBN | 3-540-38862-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990002975770203316 |
International Workshop, WS-FM 2006 : <3. ; : 2006
![]() |
||
Berlin : Springer, copyr. 2006 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|