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.
Formal Methods for Computational Systems Biology [Risorsa elettronica] : 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 / edited by Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro
| Formal Methods for Computational Systems Biology [Risorsa elettronica] : 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 / edited by Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2008 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783540688945 |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009253440403321 |
| Berlin ; Heidelberg : Springer, 2008 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal Methods for Hardware Verification [Risorsa elettronica] : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures / edit
| Formal Methods for Hardware Verification [Risorsa elettronica] : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures / edit |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2006 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783540343059 |
| Formato | Risorse elettroniche |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009252030403321 |
| Berlin ; Heidelberg : Springer, 2006 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal Methods for Mobile Computing [Risorsa elettronica] : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures / ed
| Formal Methods for Mobile Computing [Risorsa elettronica] : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures / ed |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2005 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783540320210 |
| Formato | Risorse elettroniche |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009238400403321 |
| Berlin ; Heidelberg : Springer, 2005 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal Methods for Performance Evaluation [Risorsa elettronica] : 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures
| Formal Methods for Performance Evaluation [Risorsa elettronica] : 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2007 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783540725220 |
| Formato | Risorse elettroniche |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009236850403321 |
| Berlin ; Heidelberg : Springer, 2007 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal methods for the design of real-time systems : International school on formal methods for the design of computer, communication and software systems, SFM-RT 2004 : Bertinoro, Italy, September 13-18, 2004 : Revised Lectures / Marco Bernardo, Flavio Corradini (eds.)
| Formal methods for the design of real-time systems : International school on formal methods for the design of computer, communication and software systems, SFM-RT 2004 : Bertinoro, Italy, September 13-18, 2004 : Revised Lectures / Marco Bernardo, Flavio Corradini (eds.) |
| Autore | International School on Formal Methods for the Design of Computer, Communication and Software Systems : <4. : ; 2004 |
| Pubbl/distr/stampa | Berlin [etc.], : Springer, 2004 |
| Descrizione fisica | VI, 293 p. ; 24 cm. |
| Disciplina |
004
004.33 |
| Collana | Lecture notes in computer science |
| Soggetto topico | Elaborazione dei dati - Congressi - 2004 |
| ISBN | 3540230688 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-RMS1173283 |
International School on Formal Methods for the Design of Computer, Communication and Software Systems : <4. : ; 2004
|
||
| Berlin [etc.], : Springer, 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Formal Methods for Web Services [Risorsa elettronica] : 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures / 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, Marco Bernardo, Luca Padovani, Gianluigi Zavattaro
| Formal Methods for Web Services [Risorsa elettronica] : 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures / 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, Marco Bernardo, Luca Padovani, Gianluigi Zavattaro |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2009 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783642019180 |
| Formato | Risorse elettroniche |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009260370403321 |
| Berlin ; Heidelberg : Springer, 2009 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||