Annabelle McIver의 책들 - BookPine

The Science of Quantitative Information Flow

The Science of Quantitative Information Flow

Mário S. Alvim

Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

Maurice H. ter Beek

Quantitative Evaluation of Systems: 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings

Quantitative Evaluation of Systems: 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings

Annabelle McIver

Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, ... Computer Science and General Issues)

Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, ... Computer Science and General Issues)

Martin D. Davis

Abstraction, Refinement and Proof for Probabilistic Systems

Abstraction, Refinement and Proof for Probabilistic Systems

Annabelle McIver

Programming Methodology

Programming Methodology

Annabelle McIver

Abstraction

Abstraction

Annabelle McIver

Tropical Soils: Properties and Management for Sustainable Agriculture

Tropical Soils: Properties and Management for Sustainable Agriculture

Annabelle McIver