Tags
Language
Tags
Buy Bitcoin With Credit Card Instantly!
Bitcoin Recovers! Be quick!

Buy Bitcoin With Credit Card Instantly!


CEX.IO is a secure, regulated, and licensed cryptocurrency exchange.
The exchange supports 100+ cryptocurrencies, including
Bitcoin, Ethereum, and other popular assets.

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.

Deductive Software Verification: Future Perspectives Reflections on the Occasion of 20 Years of KeY

Posted By: AvaxGenius
Deductive Software Verification: Future Perspectives Reflections on the Occasion of 20 Years of KeY

Deductive Software Verification: Future Perspectives Reflections on the Occasion of 20 Years of KeY by Wolfgang Ahrendt
English | PDF,EPUB | 2020 | 345 Pages | ISBN : 3030643530 | 35.5 MB

Since the inception of the KeY project two decades ago, the area of deductive verification has evolved considerably. Support for real world programming languages by deductive program verification tools has become prevalent. This required to overcome significant theoretical and technical challenges to support advanced software engineering and programming concepts. The community became more interconnected with a competitive, but friendly and supportive environment.

Victorian Visions of Suburban Utopia: Abandoning Babylon

Posted By: Grev27
Victorian Visions of Suburban Utopia: Abandoning Babylon

Victorian Visions of Suburban Utopia: Abandoning Babylon by Nathaniel Robert Walker
English | ISBN: 0198861443 | 573 pages | EPUB | November 17, 2020 | 13 Mb

Fields of Logic and Computation III: Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday

Posted By: AvaxGenius
Fields of Logic and Computation III: Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday

Fields of Logic and Computation III: Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday by Andreas Blass
English | PDF,EPUB | 2020 | 349 Pages | ISBN : 3030480054 | 32 MB

This Festschrift is published in honor of Yuri Gurevich’s 80th birthday. An associated conference, YuriFest 2020, was planned for May 18–20 in Fontainebleau, France, in combination with the 39th Journées sur les Arithmétiques Faibles also celebrating Yuri’s 80th birthday. Because of the coronavirus situation, the conference had to be postponed, but this Festschrift is being published as originally planned. It addresses a very wide variety of topics, but by no means all of the fields of logic and computation in which Yuri has made important progress.