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.
Coordination models and languages : 10th International conference, COORDINATION 2008 / Doug Lea, Gianluigi Zavattaro (Eds.) : Oslo, Norway, June 4-6, 2008 : Proceedings
| Coordination models and languages : 10th International conference, COORDINATION 2008 / Doug Lea, Gianluigi Zavattaro (Eds.) : Oslo, Norway, June 4-6, 2008 : Proceedings |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2008 |
| Descrizione fisica | X, 346 p. : ill. ; 24 cm |
| Disciplina | 005.1 |
| Collana | Lecture notes in computer science |
| Soggetto topico | Linguaggi di programmazione - Congressi - Oslo - 2008 |
| ISBN | 978-3-540-68264-6 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990003131780203316 |
| Berlin [etc.] : Springer, copyr. 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal methods for computational systems biology : 8th international school on formal methods for the design of computer, communication, and software systems, SFM 2008 : Bertinoro, Italy, June 2-7, 2008 : advanced lectures
| Formal methods for computational systems biology : 8th international school on formal methods for the design of computer, communication, and software systems, SFM 2008 : Bertinoro, Italy, June 2-7, 2008 : advanced lectures |
| Autore | International School on formal methods for the design of computer, communication, and software systems, SFM 2008 : <8.; : 2008 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2008 |
| Descrizione fisica | X, 523 p. ; 24 cm |
| Disciplina | 003.3 |
| Collana | Lecture notes in computer science, Tutorial |
| Soggetto topico |
Simulazione Sistemi biologici - Congressi - Bertinoro - 2008 |
| ISBN | 978-3-540-68892-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990003143980203316 |
International School on formal methods for the design of computer, communication, and software systems, SFM 2008 : <8.; : 2008
|
||
| Berlin [etc.] : Springer, copyr. 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal methods for open object-based distributed systems : 7th IFIP WG 6.1 international conference, FMOODS 2005 : Athens, Greece, June 2005 : Proceedings / Martin Steffen, Gianluigi Zavattaro(Eds.)
| Formal methods for open object-based distributed systems : 7th IFIP WG 6.1 international conference, FMOODS 2005 : Athens, Greece, June 2005 : Proceedings / Martin Steffen, Gianluigi Zavattaro(Eds.) |
| Autore | International conference, FMOODS 2005 : <7. ; : 2005 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, [c2005] |
| Descrizione fisica | X, 321 p. : ill. ; 24 cm. |
| Disciplina | 005.131 |
| Collana | Lecture notes in computer science |
| Soggetto topico | Programmazione orientata oggetti - Congressi - Athens - 2005 |
| ISBN | 3-540-26181-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990002994500203316 |
|
International conference, FMOODS 2005 : <7. ; : 2005
|
||
| Berlin [etc.] : Springer, [c2005] | ||
| 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 | ||
| ||