bib.howest.be Zoekresultaten

U zocht naar: Auteur McIver

1 - 7 van 7

1. Quantitative Evaluation of Systems

Auteur:: McIver; Andras Horvath; Horvath, Andras
Uitgever:: Springer International Publishing 2018
Type:: e-book

2. Formal Methods – The Next 30 Years

Auteur:: ter Beek; McIver, Annabelle; Oliveira, José N.
Uitgever:: Springer International Publishing 2019
Type:: e-book

3. Logic for Programming, Artificial Intelligence, and Reasoning

Auteur:: Davis; Fehnker, Ansgar; McIver, Annabelle; Voronkov, Andrei
Uitgever:: Springer Berlin Heidelberg 2015
Type:: e-book

4. ICT Critical Infrastructures and Society

Auteur:: Hercheui, Magda David; Whitehouse, Diane; McIver Jr., William; Phahlamohlaka, Jackie
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

5. The Science of Quantitative Information Flow

Auteur:: Alvim; Chatzikokolakis, Konstantinos; McIver, Annabelle; Morgan, Carroll; Palamidessi, Catuscia; Smith, Geoffrey
Uitgever:: Springer International Publishing 2020
Type:: e-book

6. Abstraction, Refinement and Proof for Probabilistic Systems

Auteur:: McIver, Annabelle; Morgan, Caroll; Morgan, Carroll; Morgan, Charles C.; Morgan, Charles Carroll
Uitgever:: Springer New York 2005
Type:: e-book

7. Knowing Art

Auteur:: Lehrer, Keith; Baker, Lynne Rudder; Cohen, Stewart; Kieran, Matthew; Lopes, Dominic; McIver Lopes, Dominic
Uitgever:: Springer Netherlands 2007
Type:: e-book