Tags
Language
Tags
March 2024
Su Mo Tu We Th Fr Sa
25 26 27 28 29 1 2
3 4 5 6 7 8 9
10 11 12 13 14 15 16
17 18 19 20 21 22 23
24 25 26 27 28 29 30
31 1 2 3 4 5 6

From Data to Models and Back

Posted By: AvaxGenius
From Data to Models and Back

From Data to Models and Back: 10th International Symposium, DataMod 2021, Virtual Event, December 6–7, 2021, Revised Selected Papers by Juliana Bowles, Giovanna Broccia, Roberto Pellungrini
English | PDF | 2022 | 199 Pages | ISBN : 303116010X | 16.9 MB

This book constitutes the refereed proceedings of the 10th International Symposium "From Data Models and Back", DataMod 2021, which was held virtually during December 6-7, 2021, as a satellite event of SEFM 2021.

Software Architecture

Posted By: AvaxGenius
Software Architecture

Software Architecture: 16th European Conference, ECSA 2022, Prague, Czech Republic, September 19–23, 2022, Proceedings by Ilias Gerostathopoulos, Grace Lewis, Thais Batista, Tomáš Bureš
English | PDF,EPUB | 2022 | 225 Pages | ISBN : 3031166965 | 22 MB

This book constitutes the refereed proceedings of the 16th International Conference on Software Architecture, ECSA 2022, held in Prague in September 2022.
The 9 full papers and 6 short papers were carefully selected from 47 submissions.
In the Research Track, 11 full papers presented together with 5 short papers were carefully reviewed and selected from 58 submissions. The papers are organized in topical sections as follows: components, APIs and interface management; architecting for data-driven systems; microservices and middleware; architecture modeling, design and decision making; architecture reconstruction and recovery.

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 | EPUB | 2021 | 263 Pages | ISBN : 3030810968 | 12.8 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*.
The 12 full papers, 7 system descriptions, 1 system entry, and 3 abstracts of invited papers presented were carefully reviewed and selected from a total of 38 submissions. The papers focus on advances in formalization, automatic theorem proving and learning, search and classification, teaching and geometric reasoning, and logic and systems, among other topics.

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 | EPUB | 2021 | 176 Pages | ISBN : 3030881059 | 12.8 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.

Software Verification

Posted By: AvaxGenius
Software Verification

Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, Revised Selected Papers by Roderick Bloem
English | EPUB | 2022 | 207 Pages | ISBN : 3030955605 | 23.9 MB[[/center]
This book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14th International Workshop on Numerical Software Verification, NSV 2021, held online, in July/ October 2021. Due to COVID-19 pandemic the conference was held virtually.

Frontiers in Software Engineering

Posted By: AvaxGenius
Frontiers in Software Engineering

Frontiers in Software Engineering: First International Conference, ICFSE 2021, Innopolis, Russia, June 17–18, 2021, Revised Selected Papers by Giancarlo Succi
English | EPUB | 2021 | 223 Pages | ISBN : 303093134X | 18.7 MB

This volume constitutes selected papers presented at the First International Conference on Frontiers in Software Engineering, ICFSE 2021, hekd in Innopolis, Russia, in June 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*.

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.

Information and Communication Technologies in Education, Research, and Industrial Applications

Posted By: AvaxGenius
Information and Communication Technologies in Education, Research, and Industrial Applications

Information and Communication Technologies in Education, Research, and Industrial Applications: 16th International Conference, ICTERI 2020, Kharkiv, Ukraine, October 6–10, 2020, Revised Selected Papers by Andreas Bollin
English | EPUB | 2021 | 200 Pages | ISBN : 3030775917 | 38.7 MB

This book contains revised and extended versions of the best papers presented at the 16th International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications, ICTERI 2020, held in Kherson, Ukraine, in October 2020. Due to the COVID-19 pandemic the conference was held online.

Information and Communication Technologies in Education, Research, and Industrial Applications

Posted By: AvaxGenius
Information and Communication Technologies in Education, Research, and Industrial Applications

Information and Communication Technologies in Education, Research, and Industrial Applications: 16th International Conference, ICTERI 2020, Kharkiv, Ukraine, October 6–10, 2020, Revised Selected Papers by Andreas Bollin
English | PDF | 2021 | 200 Pages | ISBN : 3030775917 | 25.8 MB

This book contains revised and extended versions of the best papers presented at the 16th International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications, ICTERI 2020, held in Kherson, Ukraine, in October 2020. Due to the COVID-19 pandemic the conference was held online.

Tools and Methods of Program Analysis

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

Tools and Methods of Program Analysis

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

Transactions on Petri Nets and Other Models of Concurrency XV

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

Transactions on Petri Nets and Other Models of Concurrency XV

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

Transactions on Petri Nets and Other Models of Concurrency XV by Maciej Koutny
English | PDF | 2021 | 199 Pages | ISBN : 3662630788 | 9.5 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.

Formal Methods and Software Engineering

Posted By: AvaxGenius
Formal Methods and Software Engineering

Formal Methods and Software Engineering: 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings by Shang-Wei Lin
English | PDF | 2020 | 336 Pages | ISBN : 3030634051 | 12.3 MB

This book constitutes the proceedings of the 22nd International Conference on Formal Engineering Methods, ICFEM 2020, held in Singapore, Singapore, in March 2021. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover theory and applications in formal engineering methods together with case studies. They also represent the recent development in the use and development of formal engineering methods for software and system development.