Tags
Language
Tags

Computational Methods in Systems Biology

Posted By:
Computational Methods in Systems Biology

Computational Methods in Systems Biology: 19th International Conference, CMSB 2021, Bordeaux, France, September 22–24, 2021, Proceedings by Eugenio Cinquemani
English | EPUB | 2021 | 292 Pages | ISBN : 3030856321 | 33.8 MB

This book constitutes the refereed proceedings of the 19th International Conference on Computational Methods in Systems Biology, CMSB 2021, held in Bordeaux, France, September 22–24, 2021.*

OpenMP: Enabling Massive Node-Level Parallelism

Posted By:
OpenMP: Enabling Massive Node-Level Parallelism

OpenMP: Enabling Massive Node-Level Parallelism: 17th International Workshop on OpenMP, IWOMP 2021, Bristol, UK, September 14–16, 2021, Proceedings by Simon McIntosh-Smith
English | EPUB | 2021 | 231 Pages | ISBN : 303085261X | 31.5 MB

This book constitutes the proceedings of the 17th International Workshop on OpenMP, IWOMP 2021, held virtually in September 2021 and hosted by the High Performance Computing research group at the University of Bristol, UK.

Advances in Model and Data Engineering in the Digitalization Era

Posted By:
Advances in Model and Data Engineering in the Digitalization Era

Advances in Model and Data Engineering in the Digitalization Era: MEDI 2021 International Workshops: DETECT, SIAS, CSMML, BIOC, HEDA, Tallinn, Estonia, June 21–23, 2021, Proceedings by Ladjel Bellatreche
English | PDF | 2021 | 337 Pages | ISBN : 303087656X | 27.4 MB

This book constitutes the thoroughly refereed papers of the workshops held at the 10th International Conference on New Trends in Model and Data Engineering, MEDI 2021, held in Tallinn, Estonia, in June 2021: Workshop on moDeling, vErification and Testing of dEpendable CriTical systems, DETECT 2021; Symposium on Intelligent and Autonomous Systems, SIAS 2021; Worjshop on Control Software: Methods, Models, and Languages, CSMML 2021; Blockchain for Inter-Organizational Collaboration, BIOC 2021; The International Health Data Workshop, HEDA 2021.

Computational Methods in Systems Biology

Posted By:
Computational Methods in Systems Biology

Computational Methods in Systems Biology: 19th International Conference, CMSB 2021, Bordeaux, France, September 22–24, 2021, Proceedings by Eugenio Cinquemani
English | PDF | 2021 | 292 Pages | ISBN : 3030856321 | 17.3 MB

This book constitutes the refereed proceedings of the 19th International Conference on Computational Methods in Systems Biology, CMSB 2021, held in Bordeaux, France, September 22–24, 2021.*

Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops

Posted By:
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops

Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops: ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised Selected Papers by Loek Cleophas
English | EPUB | 2020 | 344 Pages | ISBN : 3030672190 | 27.9 MB

This volume constitutes the revised selected papers from the three workshops collocated with the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020.

OpenMP: Enabling Massive Node-Level Parallelism

Posted By:
OpenMP: Enabling Massive Node-Level Parallelism

OpenMP: Enabling Massive Node-Level Parallelism: 17th International Workshop on OpenMP, IWOMP 2021, Bristol, UK, September 14–16, 2021, Proceedings by Simon McIntosh-Smith
English | PDF | 2021 | 231 Pages | ISBN : 303085261X | 13.3 MB

This book constitutes the proceedings of the 17th International Workshop on OpenMP, IWOMP 2021, held virtually in September 2021 and hosted by the High Performance Computing research group at the University of Bristol, UK.

Parallel Computing Technologies

Posted By:
Parallel Computing Technologies

Parallel Computing Technologies: 16th International Conference, PaCT 2021, Kaliningrad, Russia, September 13–18, 2021, Proceedings by Victor Malyshkin
English | PDF | 2021 | 482 Pages | ISBN : 3030863581 | 32.7 MB

This book constitutes the proceedings of the 16th International Conference on Parallel Computing Technologies, PaCT 2021, which was held during September 13-18, 2021. The conference was planned to take place in Kaliningrad, Russia, but changed to an online event due to the COVID-19 pandemic.

Information Security and Cryptology – ICISC 2020

Posted By:
Information Security and Cryptology – ICISC 2020

Information Security and Cryptology – ICISC 2020: 23rd International Conference, Seoul, South Korea, December 2–4, 2020, Proceedings by Deukjo Hong
English | EPUB | 2021 | 289 Pages | ISBN : 3030688895 | 27.1 MB

This book constitutes selected papers from the 23rd International Conference on Information Security and Cryptology, ICISC 2020, held in Seoul, South Korea, in December 2020. Due to the COVID-19, the confere was held online.

Tools and Methods of Program Analysis

Posted By:
Tools and Methods of Program Analysis

Tools and Methods of Program Analysis: 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7–9, 2019, Revised Selected Papers by Anna Kalenkova
English | EPUB | 2021 | 216 Pages | ISBN : 3030714713 | 14.1 MB

This book constitutes the refereed proceedings of the 5th International Conference on Tools and Methods for Program Analysis, TMPA 2019, held in Tbilisi, Georgia, in November 2019.

Formal Methods – Fun for Everybody

Posted By:
Formal Methods – Fun for Everybody

Formal Methods – Fun for Everybody: First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers by Antonio Cerone
English | EPUB| 2021 | 236 Pages | ISBN : 3030713733 | 12.9 MB

This volume constitutes the post-workshop proceedings of the First International Workshop on Formal Methods – Fun for Everybody, FMFun 2019, held in Bergen, Norway, in December 2019.

Information Security and Cryptology – ICISC 2020

Posted By:
Information Security and Cryptology – ICISC 2020

Information Security and Cryptology – ICISC 2020: 23rd International Conference, Seoul, South Korea, December 2–4, 2020, Proceedings by Deukjo Hong
English | PDF | 2021 | 289 Pages | ISBN : 3030688895 | 17.8 MB

This book constitutes selected papers from the 23rd International Conference on Information Security and Cryptology, ICISC 2020, held in Seoul, South Korea, in December 2020. Due to the COVID-19, the confere was held online.

Tools and Methods of Program Analysis

Posted By:
Tools and Methods of Program Analysis

Tools and Methods of Program Analysis: 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7–9, 2019, Revised Selected Papers by Anna Kalenkova
English | PDF | 2021 | 216 Pages | ISBN : 3030714713 | 15.6 MB

This book constitutes the refereed proceedings of the 5th International Conference on Tools and Methods for Program Analysis, TMPA 2019, held in Tbilisi, Georgia, in November 2019.

Logic-Based Program Synthesis and Transformation

Posted By:
Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation: 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings by Maribel Fernández
English | EPUB | 2021 | 348 Pages | ISBN : 3030684458 | 24.8 MB

This book constitutes the refereed proceedings of the 30th International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2020, which was held during September 7-9, 2020.

Transactions on Petri Nets and Other Models of Concurrency XV

Posted By:
Transactions on Petri Nets and Other Models of Concurrency XV

Transactions on Petri Nets and Other Models of Concurrency XV by Maciej Koutny
English | EPUB | 2021 | 199 Pages | ISBN : 3662630788 | 24.8 MB

These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own Editorial Board which selects papers based on a rigorous two-stage refereeing process.

Static Analysis

Posted By:
Static Analysis

Static Analysis: 27th International Symposium, SAS 2020, Virtual Event, November 18–20, 2020, Proceedings by David Pichardie
English | EPUB | 2020 | 391 Pages | ISBN : 3030654737 | 35.1 MB

This book constitutes the refereed proceedings of the 27th International Symposium on Static Analysis, SAS 2020, held in Chicago, IL, USA, in November 2020.