Clemens Dubslaff – författare

Visar alla böcker från författaren Clemens Dubslaff. Handla med fri frakt och snabb leverans.

4 produkter

1. 

   Theoretical Aspects of Computing – ICTAC 2023

   20th International Colloquium, Lima, Peru, December 4–8, 2023, Proceedings

   Av Erika Ábrahám, Clemens Dubslaff m. fl.

   Häftad, 2023

   900 kr

   Lägg i varukorg

   This book constitutes the proceedings of the 20th International Colloquium on Theoretical Aspects of Computing, ICTAC 2023, which took place in Lima, Peru, during December 4–8, 2023.The 20 full papers presented in this volume together with 3 invited papers and 1 tool paper were carefully reviewed …

2. 

   Theoretical Aspects of Computing - ICTAC 2023

   20th International Colloquium, Lima, Peru, December 4–8, 2023, Proceedings

   Av Silvia Lizeth Tapia Tarifa, Clemens Dubslaff m. fl.

   E-bok, 2023

   1150 kr

   Lägg i varukorg

   This book constitutes the proceedings of the 20th International Colloquium on Theoretical Aspects of Computing, ICTAC 2023, which took place in Lima, Peru, during December 4–8, 2023. The 20 full papers presented in this volume together with 3 invited papers and 1 tool paper were carefully reviewed …

3. 

   Principles of Formal Quantitative Analysis

   Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday

   Av Nathalie Bertrand, Clemens Dubslaff m. fl.

   Häftad, 2025

   813 kr

   Lägg i varukorg

   This Festschrift is dedicated to Christel Baier in recognition of her contributions to the field of theoretical computer science, particularly in formal methods, temporal logics, model checking, and probabilistic systems.After earning her doctorate from the University of Mannheim, Christel Baier …

4. 

   Principles of Formal Quantitative Analysis

   Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday

   Av Sascha Kluppelholz, Clemens Dubslaff m. fl.

   E-bok, 2025

   1037 kr

   Lägg i varukorg

   This Festschrift is dedicated to Christel Baier in recognition of her contributions to the field of theoretical computer science, particularly in formal methods, temporal logics, model checking, and probabilistic systems.After earning her doctorate from the University of Mannheim, Christel Baier …