Nathalie Bertrand – författare
Visar alla böcker från författaren Nathalie Bertrand. Handla med fri frakt och snabb leverans.
7 produkter
Formal Modeling and Analysis of Timed Systems
18th International Conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020, Proceedings
Av Nathalie Bertrand, Nils Jansen
Häftad, 2020
568 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 18th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2020, held in Vienna, Austria, in September 2020.The 16 full papers and 2 short papers presented in this volume were carefully reviewed and selected from 42 …
Formal Modeling and Analysis of Timed Systems
18th International Conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020, Proceedings
Av Nils Jansen, Nathalie Bertrand
E-bok, 2020
732 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 18th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2020, held in Vienna, Austria, in September 2020. The 16 full papers and 2 short papers presented in this volume were carefully reviewed and selected from 42 …
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 …
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 …
Foundations of Software Science and Computation Structures
29th International Conference, FoSSaCS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11–16, 2026, Proceedings
Av Nathalie Bertrand, Stefan Milius
Häftad, 2026
443 kr
Lägg i varukorg
This open access book constitutes the proceedings of the 29th International Conference on Foundations of Software Science and Computation Structures, FoSSaCS 2026, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, in Turin, Italy, during …
Quantitative Evaluation of Systems
14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings
Av Nathalie Bertrand, Luca Bortolussi
Häftad, 2017
568 kr
Lägg i varukorg
This book constitutes the proceedings of the 14th International Conference on Quantitative Evaluation Systems, QEST 2017, held in Berlin, Germany, in September 2017.The 20 full papers and 4 tool papers presented were carefully reviewed and selected From 58 submissions. The papers are organized in …
Quantitative Evaluation of Systems
14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings
Av Luca Bortolussi, Nathalie Bertrand
E-bok, 2017
718 kr
Lägg i varukorg
This book constitutes the proceedings of the 14th International Conference on Quantitative Evaluation Systems, QEST 2017, held in Berlin, Germany, in September 2017.The 20 full papers and 4 tool papers presented were carefully reviewed and selected From 58 submissions. The papers are organized in …
