Uli Fahrenberg – författare
Visar alla böcker från författaren Uli Fahrenberg. Handla med fri frakt och snabb leverans.
5 produkter
5 produkter
Häftad, Engelska, 2020
561 kr
Skickas inom 10-15 vardagar
This book constitutes the proceedings of the 18th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2020, which was due to be held in Palaiseau, France, in April 2020.
Häftad, Engelska, 2021
802 kr
Skickas inom 10-15 vardagar
This book constitutes the proceedings of the 19th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2021, which took place in Marseille, France, during November 2-5, 2021. They deal with the development and dissemination of relation algebras, Kleene algebras, and similar algebraic formalisms.
Del 14787 - Lecture Notes in Computer Science
Relational and Algebraic Methods in Computer Science
21st International Conference, RAMiCS 2024, Prague, Czech Republic, August 19–22, 2024, Proceedings
Häftad, Engelska, 2024
649 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 21st International Conference, RAMiCS 2024, held in Prague, Czech Republic, during August 19–22, 2024. The 15 full papers presented in this book were carefully reviewed and selected from 21 submissions.
Del 16526 - Lecture Notes in Computer Science
Relational and Algebraic Methods in Computer Science
22nd International Conference, RAMiCS 2026, Będlewo, Poland, April 7–10, 2026, Proceedings
Häftad, Engelska, 2026
915 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 22nd International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2026, held in Będlewo, Poland, during April 7–10, 2026.The 18 full papers included in this book were carefully reviewed and selected from 23 submissions. RAMiCS 2026 topics range from mathematical foundations to applications as conceptual and methodological tools in computer science and beyond.solutions.
Häftad, Engelska, 2011
561 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 9th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2011, held in Aalborg, Denmark, in September 2011. The 20 revised full papers presented together with three invited talks were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on probabilistic methods, robustness, games, verification and testing, verification, hybrid systems, and applications.