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
739 kr
Skickas inom 10-15 vardagar
Nathalie Bertrand – författare
Visar alla böcker från författaren Nathalie Bertrand.
4 produkter
4 produkter
- 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, 20251 069 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, 2026589 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, 2017739 kr
Skickas inom 10-15 vardagar