Ergebnisse filtern
-
- 6
- 5
-
- 2
- 2
- 2
- 2
- 1
- 1
- 1
-
- 4
- 6
- 1
-
- 8
- 3
-
- 11
-
- 11
-
- 11
-
McIver / Horvath Quantitative Evaluation of Systems
15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-99154-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
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
-
McIver / Morgan Abstraction, Refinement and Proof for Probabilistic Systems
1. Auflage 2005Verlag: Springer USISBN: 978-0-387-27006-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark149,79 € (inkl. MwSt.)
sofort verfügbar
-
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 / Fehnker / McIver 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-48899-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
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
-
ter Beek / McIver / Oliveira Formal Methods – The Next 30 Years
Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, ProceedingsErscheinungsjahr 2019Verlag: Springer International PublishingISBN: 978-3-030-30942-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Alvim / Chatzikokolakis / McIver The Science of Quantitative Information Flow
1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-319-96131-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark64,19 € (inkl. MwSt.)
sofort verfügbar
-
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
