201 kr
Tillfälligt slut
201 kr
Tillfälligt slut
320 kr
Skickas inom 3-6 vardagar
181 kr
Skickas inom 5-8 vardagar
215 kr
Skickas
194 kr
Skickas
33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings
619 kr
Skickas inom 5-8 vardagar
813 kr
Läs direkt efter köp
This book constitutes the refereed proceedings of the 33rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2023, held in Cascais, Portugal, during October 23-24, 2023.
The 8 full papers and 4 short papers included in this book were carefully reviewed and selected from 29 submissions. They were organized in topical sections as follows: Horn Clauses Analysis, Transformation and Synthesis; Static analysis and Type systems; Unification and substitution in (C)LP; and Knowledge representation and AI-based learning.
17th International Conference, RC 2025, Odense, Denmark, July 3–4, 2025, Proceedings
744 kr
Skickas inom 10-15 vardagar
894 kr
Läs direkt efter köp
This book constitutes the refereed proceedings of the 17th International Conference on Reversible Computation, RC 2025, held in Odense, Denmark, during July 3–4, 2025.
The 7 full papers and 5 short papers included in this book were carefully reviewed and selected from 22 submissions.The conference brought together researchers from computer science, mathematics, engineering, and physics to discuss new developments and directions for future research in the area of Reversible Computation.
574 kr
Skickas inom 10-15 vardagar
739 kr
Läs direkt efter köp
574 kr
Skickas inom 10-15 vardagar
529 kr
Skickas inom 10-15 vardagar
657 kr
Läs direkt efter köp
208 kr
Tillfälligt slut