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 | ||
![]() | ||
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 |
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 | ||
![]() | ||
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.) |
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] | ||
![]() | ||
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 | ||
|