Uli Fahrenberg - Böcker
Visar alla böcker från författaren Uli Fahrenberg. Handla med fri frakt och snabb leverans.
5 produkter
5 produkter
Relational and Algebraic Methods in Computer Science
18th International Conference, RAMiCS 2020, Palaiseau, France, October 26–29, 2020, Proceedings
Häftad, Engelska, 2020
552 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.
Relational and Algebraic Methods in Computer Science
19th International Conference, RAMiCS 2021, Marseille, France, November 2–5, 2021, Proceedings
Häftad, Engelska, 2021
789 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
639 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.
- Nyhet
Relational and Algebraic Methods in Computer Science
22nd International Conference, RAMiCS 2026, Będlewo, Poland, April 7–10, 2026, Proceedings
Häftad, Engelska, 2026
900 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.
Formal Modeling and Analysis of Timed Systems
9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings
Häftad, Engelska, 2011
552 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.