Related Books
Language: en
Pages: 901
Pages: 901
Type: BOOK - Published: 2016 - Publisher:
Language: en
Pages: 394
Pages: 394
Type: BOOK - Published: 2018-10-22 - Publisher: Springer
This book constitutes the proceedings of the 17th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2018, held in Groning
Language: en
Pages: 740
Pages: 740
Type: BOOK - Published: 2018-07-06 - Publisher: Springer
This book constitutes the refereed proceedings of the 9th International Joint Conference on Automated Reasoning, IJCAR 2018, held in Oxford, United Kingdom, in
Language: en
Pages: 586
Pages: 586
Type: BOOK - Published: 2018-04-14 - Publisher: Springer
This book constitutes the proceedings of the 21st International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2018, which
Language: en
Pages: 1056
Pages: 1056
Type: BOOK - Published: 2018-04-14 - Publisher: Springer
This open access book constitutes the proceedings of the 27th European Symposium on Programming, ESOP 2018, which took place in Thessaloniki, Greece in April 20