Formal Methods for Computational Systems Biology
Gianluigi Zavattaro, Marco Bernardo, Pierpaolo Degano, 2008Più di 10 pezzi in stock presso il fornitore
Informazioni sul prodotto
Il libro "Metodi Formali per la Biologia Computazionale dei Sistemi" offre una raccolta completa di lavori di ricerca presentati nell'ambito della ottava Scuola Internazionale sui Metodi Formali per il Design di Sistemi Computerizzati, di Comunicazione e Software (SFM). Questa serie di scuole ha l'obiettivo di promuovere l'applicazione dei metodi formali in informatica per supportare una progettazione rigorosa dei sistemi. Il focus della SFM 2008 era sulle tecniche formali per la biologia sistematica computazionale e ha trattato vari aspetti del campo, tra cui modelli computazionali, calcoli e logiche per sistemi biologici, oltre a metodi di verifica e simulazione. Le presentazioni e i documenti correlati offrono preziose intuizioni per studenti e giovani ricercatori che desiderano approfondire le basi e le applicazioni dei metodi formali.
Copertina del libro | Copertina rigida |
Autore | Gianluigi Zavattaro, Marco Bernardo, Pierpaolo Degano |
argomento | Tecnologia & IT |
Anno | 2008 |
No. di articolo | 55500339 |
Editore | Springer |
Categoria | Libro specialistico |
Data di rilascio | 4.3.2025 |
argomento | Tecnologia & IT |
Autore | Gianluigi Zavattaro, Marco Bernardo, Pierpaolo Degano |
Anno | 2008 |
Copertina del libro | Copertina rigida |
Paese di origine | Germania |
Emissione di CO₂ | |
Contributo climatico |
Confronta i prodotti
Suggerimenti
Valutazioni e opinioni
Ritenuta di garanzia
La frequenza con cui un prodotto di questo marchio nella categoria «Libro specialistico» presenta un difetto nei primi 24 mesi.
Fonte: Digitec Galaxus- 1.Redline0 %
- 1.S. Fischer Publishing0 %
- 1.Springer0 %
- 1.Stämpfli0 %
- 1.Ullstein0 %
Durata della garanzia
Il tempo di elaborazione che intercorre tra l'arrivo al centro di assistenza e il recupero da parte del cliente, in media in giorni lavorativi.
Fonte: Digitec Galaxus- SpringerDati non sufficienti
- An der RuhrDati non sufficienti
- AnacondaDati non sufficienti
- AristonDati non sufficienti
- Avery Publishing GroupDati non sufficienti
Purtroppo non disponiamo di dati sufficienti per questa categoria per mostrarti ulteriori percentuali.
Percentuale di reso
La frequenza con cui un prodotto di questo marchio nella categoria «Libro specialistico» viene restituito.
Fonte: Digitec Galaxus- 71.Elsevier1.1 %
- 71.Finanzbuch1.1 %
- 71.Springer1.1 %
- 74.Eulogia1.2 %
- 74.First Éditions1.2 %