(Ilmumisaeg: 09-Jan-2023, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031248412)
This book constitutes the proceedings of the 25th International Symposium on Practical Aspects of Declarative Languages, PADL 2023, which was held in Boston, MA, USA, in January 2023.The 15 full papers and 4 short papers presented in this volume were...Loe edasi...
(Ilmumisaeg: 09-Jan-2023, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031248412)
This book constitutes the proceedings of the 25th International Symposium on Practical Aspects of Declarative Languages, PADL 2023, which was held in Boston, MA, USA, in January 2023.The 15 full papers and 4 short papers presented in this volume were...Loe edasi...
(Ilmumisaeg: 01-Dec-2022, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031223082)
This book constitutes the refereed proceedings of the 29th International Symposium on Static Analysis, SAS 2022, held in Auckland, New Zealand, in December 2022.The 18 full papers included in this book were carefully reviewed and selected from 43 sub...Loe edasi...
(Ilmumisaeg: 01-Dec-2022, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031223082)
This book constitutes the refereed proceedings of the 29th International Symposium on Static Analysis, SAS 2022, held in Auckland, New Zealand, in December 2022.The 18 full papers included in this book were carefully reviewed and selected from 43 sub...Loe edasi...
(Ilmumisaeg: 25-Nov-2022, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031210372)
This book constitutes the proceedings of the 20th Asian Symposium on Programming Languages and Systems, APLAS 2022, held in Auckland, New Zealand, in December 2022.The 10 papers presented in this volume were carefully reviewed and selected from 22 su...Loe edasi...
(Ilmumisaeg: 25-Nov-2022, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031210372)
This book constitutes the proceedings of the 20th Asian Symposium on Programming Languages and Systems, APLAS 2022, held in Auckland, New Zealand, in December 2022.The 10 papers presented in this volume were carefully reviewed and selected from 22 su...Loe edasi...
(Ilmumisaeg: 17-Oct-2022, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031196850)
This book constitutes the proceedings of the 9th International Conference on Algebraic Informatics, CAI 2022, held as virtual event, in October 27-29, 2022.The 2 abstracts, 3 full papers of invited speakers, and 12 contributed papers presented in thi...Loe edasi...
(Ilmumisaeg: 17-Oct-2022, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031196850)
This book constitutes the proceedings of the 9th International Conference on Algebraic Informatics, CAI 2022, held as virtual event, in October 27-29, 2022.The 2 abstracts, 3 full papers of invited speakers, and 12 contributed papers presented in thi...Loe edasi...
This book constitutes the proceedings of the 19th Asian Symposium on Programming Languages and Systems, APLAS 2021, held in Chicago, USA, in October 2021.*The 17 papers presented in this volume were carefully reviewed and selected from 43 submissions...Loe edasi...
This book constitutes the proceedings of the 19th Asian Symposium on Programming Languages and Systems, APLAS 2021, held in Chicago, USA, in October 2021.*The 17 papers presented in this volume were carefully reviewed and selected from 43 submissions...Loe edasi...
This book constitutes the refereed proceedings of the 27th International Symposium on String Processing and Information Retrieval, SPIRE 2021, held in Lille, France, in October 2021.*The 14 full papers and 4 short papers presented together with 2 inv...Loe edasi...
This book constitutes the refereed proceedings of the 27th International Symposium on String Processing and Information Retrieval, SPIRE 2021, held in Lille, France, in October 2021.*The 14 full papers and 4 short papers presented together with 2 inv...Loe edasi...
This book constitutes the proceedings of the 8th International Conference on Rigorous State-Based Methods, ABZ 2021, which was planned to take place in Ulm, Germany, during June 6-11, 2021. The conference changed to an online format due to the C...Loe edasi...
This book constitutes the proceedings of the 8th International Conference on Rigorous State-Based Methods, ABZ 2021, which was planned to take place in Ulm, Germany, during June 6-11, 2021. The conference changed to an online format due to the C...Loe edasi...
This book constitutes the thoroughly refereed post-conference proceedings of the 32nd International Workshop on Languages and Compilers for Parallel Computing, LCPC 2019, held in Atlanta, GA, USA, in October 2019.The 8 revised full papers and 3 revis...Loe edasi...
This book constitutes the thoroughly refereed post-conference proceedings of the 32nd International Workshop on Languages and Compilers for Parallel Computing, LCPC 2019, held in Atlanta, GA, USA, in October 2019.The 8 revised full papers and 3 revis...Loe edasi...
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, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021....Loe edasi...
This book constitutes the proceedings of the 18th Asian Symposium on Programming Languages and Systems, APLAS 2020, held in Fukuoka, Japan, in December 2020.*The 19 papers presented in this volume were carefully reviewed and selected from 46 submissi...Loe edasi...
This book constitutes the proceedings of the 18th Asian Symposium on Programming Languages and Systems, APLAS 2020, held in Fukuoka, Japan, in December 2020.*The 19 papers presented in this volume were carefully reviewed and selected from 46 submissi...Loe edasi...
This book constitutes the refereed proceedings of the 27th International Symposium on String Processing and Information Retrieval, SPIRE 2020, held in Orlando, FL, USA, in October 2020. The 17 full papers and 4 short papers presented in this volume w...Loe edasi...
