Keisuke Nakano - Böcker
Visar alla böcker från författaren Keisuke Nakano. Handla med fri frakt och snabb leverans.
2 produkter
2 produkter
Del 12073 - Lecture Notes in Computer Science
Functional and Logic Programming
15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings
Häftad, Engelska, 2020
556 kr
Skickas inom 10-15 vardagar
They cover all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming focusing on topics such as functional programming, logic programming, declarative programming, constraint programming, formal method, model checking, program transformation, program refinement, and type theory.
Software Foundations for Data Interoperability
5th International Workshop, SFDI 2021, Copenhagen, Denmark, August 16, 2021, Revised Selected Papers
Häftad, Engelska, 2022
721 kr
Skickas inom 10-15 vardagar
This book constitutes selected papers presented at the 5th International Workshop on Software Foundations for Data Interoperability, SFDI 2021, held in Copenhagen, Denmark, in August 2021.