Ergebnisse filtern
-
- 6
-
- 1
- 1
- 1
- 1
- 1
- 1
-
- 3
- 3
-
- 4
- 2
-
- 6
-
- 6
-
- 6
Mathematik | Informatik
-
Horvath / McIver Quantitative Evaluation of Systems
15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-99153-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
McIver / Morgan Abstraction, Refinement and Proof for Probabilistic Systems
2005. Auflage 2004Verlag: SpringerISBN: 978-0-387-40115-7Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Morgan / McIver Abstraction, Refinement and Proof for Probabilistic Systems
1. Auflage. Softcover version of original hardcover Auflage 2005Verlag: SpringerISBN: 978-1-4419-2312-7Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Davis / Voronkov / Fehnker Logic for Programming, Artificial Intelligence, and Reasoning
20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-662-48898-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
ter Beek / Oliveira / McIver Formal Methods - The Next 30 Years
Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-030-30941-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Alvim / Chatzikokolakis / Smith The Science of Quantitative Information Flow
1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-319-96129-3Medium: Buch64,19 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort