Annabelle McIver: search on Z-Library

Fundraising September 15, 2024 – October 1, 2024 About fundraising

Your gateway to knowledge and culture. Accessible for everyone.

Fundraising September 15, 2024 – October 1, 2024

Z-Library is one of the largest online libraries in the world that contains over 17,000,000 books and 84,837,000 articles. We aim to make literature accessible to everyone. Today (September 15, 2024) we've started additional fundraising to project maintenance and development.

Also UNLIMITED downloads (for 31 days after the day of making donation) are available for ALL contributors who will donate during the fundraising period till October 1, 2024.

About fundraisingRead more

Make a donation

Books (8)
Most Popular
List
- List
- Table

1

Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

Springer-Verlag Berlin Heidelberg

Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov (eds.)

Year:

2015

Language:

english

File:

PDF, 22.02 MB

0 / 0

english, 2015

2

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

Springer International Publishing

Maurice H. ter Beek, Annabelle McIver, José N. Oliveira

Year:

2019

Language:

english

File:

PDF, 35.63 MB

0 / 0

english, 2019

3

Abstraction, Refinement and Proof for Probabilistic Systems

Abstraction, Refinement and Proof for Probabilistic Systems

Annabelle McIver, Charles Carroll Morgan

Year:

2004

Language:

english

File:

PDF, 2.46 MB

0 / 0

english, 2004

4

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

Springer International Publishing

Annabelle McIver, Andras Horvath

Year:

2018

Language:

english

File:

PDF, 14.22 MB

0 / 0

english, 2018

5

Programming methodology

Programming methodology

Carroll Morgan, Annabelle McIver

Year:

2003

Language:

english

File:

DJVU, 3.55 MB

0 / 4.5

english, 2003

6

The Science Of Quantitative Information Flow

The Science Of Quantitative Information Flow

Mário S. Alvim, Konstantinos, Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey S. Smith

Year:

2020

Language:

english

File:

PDF, 8.12 MB

0 / 0

english, 2020

7

Programming Methodology

Programming Methodology

Annabelle McIver, Carroll Morgan (eds.)

Year:

2003

Language:

english

File:

PDF, 11.96 MB

0 / 0

english, 2003

8

Abstraction, refinement and proof for probabilistic systems

Abstraction, refinement and proof for probabilistic systems

Springer New York

McIver, Annabelle, Morgan, Charles C

Year:

2005

Language:

english

File:

PDF, 1.72 MB

0 / 0

english, 2005