685 kr
Skickas inom 10-15 vardagar
903 kr
Läs direkt efter köp
This book constitutes the refereed proceedings of the 9th International Symposium on From Data Models and Back, DataMod 2020, held virtually, in October 2020.
The 11 full papers and 3 short papers presented in this book were selected from 19 submissions. The papers are grouped in these topical sections: machine learning; simulation-based approaches, and data mining and processing related approaches.
10th International Symposium, DataMod 2021, Virtual Event, December 6–7, 2021, Revised Selected Papers
629 kr
Skickas inom 10-15 vardagar
821 kr
Läs direkt efter köp
34th International Symposium, LOPSTR 2024, Milan, Italy, September 9–10, 2024, Proceedings
742 kr
Skickas inom 10-15 vardagar
903 kr
Läs direkt efter köp
This book constitutes the refereed proceedings of the 34th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2024, held in Milan, Italy, during September 9–10, 2024.
The 12 full papers and 1 short paper included in this book were carefully reviewed and selected from 28 submissions. They were organized in topical sections as follows: Synthesis and Transformation; Decision Procedures; Deployment; Specification, Refactoring and Testing; and Term and Graph Rewriting.
685 kr
Skickas inom 10-15 vardagar
903 kr
Läs direkt efter köp
This book constitutes the refereed proceedings of the 9th International Symposium on From Data Models and Back, DataMod 2020, held virtually, in October 2020.
The 11 full papers and 3 short papers presented in this book were selected from 19 submissions. The papers are grouped in these topical sections: machine learning; simulation-based approaches, and data mining and processing related approaches.
10th International Symposium, DataMod 2021, Virtual Event, December 6–7, 2021, Revised Selected Papers
629 kr
Skickas inom 10-15 vardagar
821 kr
Läs direkt efter köp
34th International Symposium, LOPSTR 2024, Milan, Italy, September 9–10, 2024, Proceedings
742 kr
Skickas inom 10-15 vardagar
903 kr
Läs direkt efter köp
This book constitutes the refereed proceedings of the 34th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2024, held in Milan, Italy, during September 9–10, 2024.
The 12 full papers and 1 short paper included in this book were carefully reviewed and selected from 28 submissions. They were organized in topical sections as follows: Synthesis and Transformation; Decision Procedures; Deployment; Specification, Refactoring and Testing; and Term and Graph Rewriting.
