Uli Fahrenberg – författare
Visar alla böcker från författaren Uli Fahrenberg. Handla med fri frakt och snabb leverans.
10 produkter
Relational and Algebraic Methods in Computer Science
18th International Conference, RAMiCS 2020, Palaiseau, France, October 26–29, 2020, Proceedings
Av Uli Fahrenberg, Peter Jipsen m. fl.
Häftad, 2020
566 kr
Lägg i varukorg
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. The conference was cancelled due to the COVID-19 pandemic.The 20 full papers presented …
Relational and Algebraic Methods in Computer Science
18th International Conference, RAMiCS 2020, Palaiseau, France, October 26–29, 2020, Proceedings
Av Michael Winter, Peter Jipsen m. fl.
E-bok, 2020
718 kr
Lägg i varukorg
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. The conference was cancelled due to the COVID-19 pandemic. The 20 full papers presented …
Relational and Algebraic Methods in Computer Science
19th International Conference, RAMiCS 2021, Marseille, France, November 2–5, 2021, Proceedings
Av Uli Fahrenberg, Mai Gehrke m. fl.
Häftad, 2021
811 kr
Lägg i varukorg
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. The 29 papers presented in this book were carefully reviewed and selected from 35 …
Relational and Algebraic Methods in Computer Science
19th International Conference, RAMiCS 2021, Marseille, France, November 2–5, 2021, Proceedings
Av Michael Winter, Luigi Santocanale m. fl.
E-bok, 2021
1026 kr
Lägg i varukorg
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. The 29 papers presented in this book were carefully reviewed and selected from 35 …
Relational and Algebraic Methods in Computer Science
21st International Conference, RAMiCS 2024, Prague, Czech Republic, August 19–22, 2024, Proceedings
Av Uli Fahrenberg, Wesley Fussner m. fl.
Häftad, 2024
656 kr
Lägg i varukorg
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. They focus on mathematical foundations to …
Relational and Algebraic Methods in Computer Science
21st International Conference, RAMiCS 2024, Prague, Czech Republic, August 19–22, 2024, Proceedings
Av Roland Gluck, Wesley Fussner m. fl.
E-bok, 2024
1642 kr
Lägg i varukorg
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. They focus on mathematical foundations to …
Relational and Algebraic Methods in Computer Science
22nd International Conference, RAMiCS 2026, Będlewo, Poland, April 7–10, 2026, Proceedings
Av Uli Fahrenberg, Wesley Fussner m. fl.
Häftad, 2026
927 kr
Lägg i varukorg
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 …
Relational and Algebraic Methods in Computer Science
22nd International Conference, RAMiCS 2026, Bedlewo, Poland, April 7-10, 2026, Proceedings
Av Luigi Santocanale, Wesley Fussner m. fl.
E-bok, 2026
1175 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 22nd International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2026, held in Bedlewo, Poland, during April 7–10, 2026.The 18 full papers included in this book were carefully reviewed and selected from 23 …
Formal Modeling and Analysis of Timed Systems
9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings
Av Uli Fahrenberg, Stavros Tripakis
Häftad, 2011
566 kr
Lägg i varukorg
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 …
Formal Modeling and Analysis of Timed Systems
9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings
Av Stavros Tripakis, Uli Fahrenberg
E-bok, 2011
755 kr
Lägg i varukorg
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 …
