|
|

avaa valikko

Annabelle McIver | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 7 tuotetta
Haluatko tarkentaa hakukriteerejä?



ter Beek, Maurice H.; McIver, Annabelle; Oliveira, José N.
Springer Nature Switzerland AG
2019
Pehmeäkantinen kirja
Formal Methods – The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
57,10 €
McIver, Annabelle; Morgan, Charles Carroll
Springer-Verlag New York Inc.
2004
Kovakantinen kirja
Abstraction, Refinement and Proof for Probabilistic Systems
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
149,40 €
McIver, Annabelle; Morgan, Charles Carroll
Springer-Verlag New York Inc.
2010
Pehmeäkantinen kirja
Abstraction, Refinement and Proof for Probabilistic Systems
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
149,40 €
McIver, Annabelle; Morgan, Charles C.
SPRINGER VERLAG GMBH
2009
Kovakantinen kirja
Abstraction, Refinement and Proof for Probabilistic Systems
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
70,00 €
McIver, Annabelle; Horvath, Andras
Springer International Publishing AG
2018
Pehmeäkantinen kirja
Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
57,10 €
Davis, Martin; Fehnker, Ansgar; McIver, Annabelle; Voronkov, Andrei
Springer
2015
Pehmeäkantinen kirja
Logic for Programming, Artificial Intelligence, and Reasoning : 20th International Conference, LPAR-20 2015, Suva, Fiji,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
57,10 €
Alvim, Mário S.; Chatzikokolakis, Konstantinos; McIver, Annabelle; Morgan, Carroll; Palamidessi, Catuscia; Smith, Geoffrey
Springer
2020
Kovakantinen kirja
The Science of Quantitative Information Flow
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
68,20 €