Tags
Language
Tags

Symbolic and Quantitative Approaches to Reasoning with Uncertainty

Posted By: AvaxGenius
Symbolic and Quantitative Approaches to Reasoning with Uncertainty

Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 16th European Conference, ECSQARU 2021, Prague, Czech Republic, September 21–24, 2021, Proceedings by Jiřina Vejnarová
English | PDF | 2021 | 694 Pages | ISBN : 3030867714 | 15.6 MB

This book constitutes the refereed proceedings of the 16th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2021, held in Prague, Czech Republic, in September 2021.

Static Analysis

Posted By: AvaxGenius
Static Analysis

Static Analysis: 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings by Cezara Drăgoi
English | PDF | 2021 | 494 Pages | ISBN : 3030888053 | 18.5 MB

This book constitutes the refereed proceedings of the 28th International Symposium on Static Analysis, SAS 2021, held in Chicago, IL, USA, in October 2021.

Programming Languages and Systems

Posted By: AvaxGenius
Programming Languages and Systems

Programming Languages and Systems: 19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17–18, 2021, Proceedings
English | PDF | 2021 | 328 Pages | ISBN : 3030890503 | 14.2 MB

This book constitutes the proceedings of the 19th Asian Symposium on Programming Languages and Systems, APLAS 2021, held in Chicago, USA, in October 2021.*

Computer Supported Education

Posted By: AvaxGenius
Computer Supported Education

Computer Supported Education: 12th International Conference, CSEDU 2020, Virtual Event, May 2–4, 2020, Revised Selected Papers by H. Chad Lane
English | PDF | 2021 | 513 Pages | ISBN : 3030864383 | 47.5 MB

This book constitutes selected, revised and extended papers from the 12th International Conference on Computer Supported Education, CSEDU 2020, held as a virtual event in May 2020.

Job Scheduling Strategies for Parallel Processing

Posted By: AvaxGenius
Job Scheduling Strategies for Parallel Processing

Job Scheduling Strategies for Parallel Processing: 24th International Workshop, JSSPP 2021, Virtual Event, May 21, 2021, Revised Selected Papers by Dalibor Klusáček
English | PDF | 2021 | 238 Pages | ISBN : 3030882233 | 16.9 MB

This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2021, held as a virtual event in May 2021 (due to the Covid-19 pandemic).

Leveraging Applications of Formal Methods, Verification and Validation

Posted By: AvaxGenius
Leveraging Applications of Formal Methods, Verification and Validation

Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 2021, Proceedings by Tiziana Margaria
English | PDF | 2021 | 505 Pages | ISBN : 3030891585 | 29.2 MB

This book constitutes contributions of the ISoLA 2021 associated events. Altogether, ISoLA 2021 comprises contributions from the proceedings originally foreseen for ISoLA 2020 collected in 4 volumes, LNCS 12476: Verification Principles, LNCS 12477: Engineering Principles, LNCS 12478: Applications, and LNCS 12479: Tools and Trends.

Fundamentals of Software Engineering

Posted By: AvaxGenius
Fundamentals of Software Engineering

Fundamentals of Software Engineering: 9th International Conference, FSEN 2021, Virtual Event, May 19–21, 2021, Revised Selected Papers by Hossein Hojjat
English | PDF | 2021 | 235 Pages | ISBN : 3030892468 | 6.8 MB

This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Fundamentals of Software Engineering, FSEN 2021, held virtually and hosted by IPM in May 2021.

Intelligent Computer Mathematics

Posted By: AvaxGenius
Intelligent Computer Mathematics

Intelligent Computer Mathematics: 14th International Conference, CICM 2021, Timisoara, Romania, July 26–31, 2021, Proceedings by Fairouz Kamareddine
English | PDF | 2021 | 263 Pages | ISBN : 3030810968 | 10.7 MB

This book constitutes the refereed proceedings of the 14th International Conference on Intelligent Computer Mathematics, CICM 2021, held in Timisoara, Romania, in July 2021*.

Model and Data Engineering

Posted By: AvaxGenius
Model and Data Engineering

Model and Data Engineering: 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21–23, 2021, Proceedings by Christian Attiogbé
English | PDF | 2021 | 329 Pages | ISBN : 3030784274 | 25.4 MB

This book constitutes the refereed proceedings of the 10th International Conference on Model and Data Engineering, MEDI 2021, held in Tallinn, Estonia, in June 2021.

Computational Methods in Systems Biology

Posted By: AvaxGenius
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.*

Dependable Computing - EDCC 2021 Workshops

Posted By: AvaxGenius
Dependable Computing - EDCC 2021 Workshops

Dependable Computing - EDCC 2021 Workshops: DREAMS, DSOGRI, SERENE 2021, Munich, Germany, September 13, 2021, Proceedings by Rasmus Adler
English | EPUB | 2021 | 164 Pages | ISBN : 3030865061 | 17.8 MB

This book constitutes refereed proceedings of the Workshops of the 17th European Dependable Computing Conference, EDCC: ​Second Worskhop on Dynamic Risk Management for Autonomous Systems, DREAMS 2021, Third Workshop on Dependable Solutions for Intelligent Electricity Distribution Grids, DSOGRI 2021, 13th Workshop on Software Engineering for Resilient Systems, SERENE 2021, held in September 2021. Due to the COVID-19 pandemic the workshops were held virtually.

OpenMP: Enabling Massive Node-Level Parallelism

Posted By: AvaxGenius
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.

Search-Based Software Engineering

Posted By: AvaxGenius
Search-Based Software Engineering

Search-Based Software Engineering: 13th International Symposium, SSBSE 2021, Bari, Italy, October 11–12, 2021, Proceedings by Una-May O'Reilly
English | PDF | 2021 | 176 Pages | ISBN : 3030881059 | 6.1 MB

This book constitutes the proceedings of the 13th International Symposium on Search-Based Software Engineering, SSBSE 2021, which was held in Bari, Italy, during October 11-12, 2021.

Advances in Model and Data Engineering in the Digitalization Era

Posted By: AvaxGenius
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.

Rust for Rustaceans: Idiomatic Programming for Experienced Developers [Early Access]

Posted By: l3ivo
Rust for Rustaceans: Idiomatic Programming for Experienced Developers [Early Access]

Jon Gjengset, "Rust for Rustaceans: Idiomatic Programming for Experienced Developers"
English | 2021 | ISBN: 1718501854 | 280 pages | True PDF | 11.8 MB