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.
Computational Methods in Systems Biology : 22nd International Conference, CMSB 2024, Pisa, Italy, September 16–18, 2024, Proceedings / / edited by Roberta Gori, Paolo Milazzo, Mirco Tribastone
| Computational Methods in Systems Biology : 22nd International Conference, CMSB 2024, Pisa, Italy, September 16–18, 2024, Proceedings / / edited by Roberta Gori, Paolo Milazzo, Mirco Tribastone |
| Autore | Gori Roberta |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (268 pages) |
| Disciplina |
570.285
570.113 |
| Altri autori (Persone) |
MilazzoPaolo
TribastoneMirco |
| Collana | Lecture Notes in Bioinformatics |
| Soggetto topico |
Bioinformatics
Computer systems Artificial intelligence Biological models Computational and Systems Biology Computer System Implementation Artificial Intelligence Biological Models |
| ISBN | 3-031-71671-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910887805503321 |
Gori Roberta
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software Technologies: Applications and Foundations [[electronic resource] ] : STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers / / edited by Paolo Milazzo, Dániel Varró, Manuel Wimmer
| Software Technologies: Applications and Foundations [[electronic resource] ] : STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers / / edited by Paolo Milazzo, Dániel Varró, Manuel Wimmer |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XXXII, 472 p. 185 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Artificial intelligence Application software Mathematical logic Computer communication systems Software Engineering Logics and Meanings of Programs Artificial Intelligence Information Systems Applications (incl. Internet) Mathematical Logic and Formal Languages Computer Communication Networks |
| ISBN | 3-319-50230-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Practical and foundational advances in software technology -- Formal foundations of software technology -- Testing and formal analysis -- Graph transformations and model transformations -- Model driven engineering, and tools. |
| Record Nr. | UNISA-996465490103316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software Technologies: Applications and Foundations : STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers / / edited by Paolo Milazzo, Dániel Varró, Manuel Wimmer
| Software Technologies: Applications and Foundations : STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers / / edited by Paolo Milazzo, Dániel Varró, Manuel Wimmer |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XXXII, 472 p. 185 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Artificial intelligence Application software Mathematical logic Computer communication systems Software Engineering Logics and Meanings of Programs Artificial Intelligence Information Systems Applications (incl. Internet) Mathematical Logic and Formal Languages Computer Communication Networks |
| ISBN | 3-319-50230-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Practical and foundational advances in software technology -- Formal foundations of software technology -- Testing and formal analysis -- Graph transformations and model transformations -- Model driven engineering, and tools. |
| Record Nr. | UNINA-9910484291203321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||