Hoppa till sidans huvudinnehåll

Nathalie Bertrand - Böcker

Visar alla böcker från författaren Nathalie Bertrand.
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

AvNathalie Bertrand,Nils Jansen

Häftad, Engelska, 2020

719 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

AvNathalie Bertrand,Clemens Dubslaffm. fl.

Häftad, Engelska, 2025

1 029 kr

Skickas inom 10-15 vardagar

  • Nyhet

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

AvNathalie Bertrand,Stefan Milius

Häftad, Engelska, 2026

959 kr

Skickas inom 3-6 vardagar

Del 10503 - Lecture Notes in Computer Science

Quantitative Evaluation of Systems

14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings

AvNathalie Bertrand,Luca Bortolussi

Häftad, Engelska, 2017

719 kr

Skickas inom 10-15 vardagar