Peter Höfner – författare
Visar alla böcker från författaren Peter Höfner. Handla med fri frakt och snabb leverans.
2 produkter
2 produkter
Del 8428 - Lecture Notes in Computer Science
Relational and Algebraic Methods in Computer Science
14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014, Proceedings
Häftad, Engelska, 2014
565 kr
Skickas inom 10-15 vardagar
This book constitutes the proceedings of the 14th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2014 held in Marienstatt, Germany, in April/May 2014.The 25 revised full papers presented were carefully selected from 37 submissions. The papers are structured in specific fields on concurrent Kleene algebras and related formalisms, reasoning about computations and programs, heterogeneous and categorical approaches, applications of relational and algebraic methods and developments related to modal logics and lattices.
Del 10226 - Lecture Notes in Computer Science
Relational and Algebraic Methods in Computer Science
16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings
Häftad, Engelska, 2017
565 kr
Skickas inom 10-15 vardagar
This book constitutes the proceedings of the 16th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2017, held in Lyon, France, in May 2017. The 17 revised full papers and 2 invited papers presented together with 1 invited abstract were carefully selected from 28 submissions. Topics covered range from mathematical foundations to applications as conceptual and methodological tools in computer science and beyond.