Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
CONCUR 2009 - Concurrency theory : 20th International conference, CONCUR 2009 : Bologna, Italy, september 1-4, 2009 : proceedings / Mario Bravetti...[et al.] (Eds.)
| 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 | ||
| Materiale a stampa | ||
| 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.)
| 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 | ||
| Materiale a stampa | ||
| 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.)
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||