Lecture Slides for Programming in C++ (Version 2020-02-29)
Language: en
Pages: 2543
Authors: Michael D. Adams
Categories: Computers
Type: BOOK - Published: 2020-02-29 - Publisher: Michael Adams

GET EBOOK

This document, which consists of approximately 2500 lecture slides, offers a wealth of information on many topics relevant to programming in C++, including cove
Foundations of Software Science and Computation Structures
Language: en
Pages: 471
Authors: Patricia Bouyer
Categories: Computers
Type: BOOK - Published: 2022-03-28 - Publisher: Springer Nature

GET EBOOK

This open access book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational Structures, FOSSACS
Programming Languages and Systems
Language: en
Pages: 693
Authors: Nobuko Yoshida
Categories: Computers
Type: BOOK - Published: 2021-03-22 - Publisher: Springer Nature

GET EBOOK

This open access book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March 27 until April 1, 2021,
Tools and Algorithms for the Construction and Analysis of Systems
Language: en
Pages: 615
Authors: Sriram Sankaranarayanan
Categories: Computers
Type: BOOK - Published: 2023-04-19 - Publisher: Springer Nature

GET EBOOK

This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TAC
Programming Languages and Systems
Language: en
Pages: 772
Authors: Peter Müller
Categories: Computers
Type: BOOK - Published: 2020-04-17 - Publisher: Springer Nature

GET EBOOK

This open access book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which was planned to take place in Dublin, Ireland,