Nathalie Bertrand – författare
Visar alla böcker från författaren .
4 produkter
4 produkter
Del 12288 - Lecture Notes in Computer Science
Formal Modeling and Analysis of Timed Systems
18th International Conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020, Proceedings
Häftad, Engelska, 2020
729 kr
Skickas inom 10-15 vardagar
Del 15760 - Lecture Notes in Computer Science
Principles of Formal Quantitative Analysis
Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday
Häftad, Engelska, 2025
1 039 kr
Skickas inom 10-15 vardagar
Del 16503 - Lecture Notes in Computer Science
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
Häftad, Engelska, 2026
569 kr
Skickas inom 10-15 vardagar
Del 10503 - Lecture Notes in Computer Science
Quantitative Evaluation of Systems
14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings
Häftad, Engelska, 2017
729 kr
Skickas inom 10-15 vardagar