All Departments
Hi
ALL DEPARTMENTS
Daily
deals
My Orders
Wishlist
Help
Sell On Loot
Arts & Crafts
Baby
Books
Computers
DIY & Tools
Electronics
Fashion
Fragrances
Games
Garden
Health & Beauty
Home
Kitchen & Appliances
Movies & TV
Music
Outdoor
Pets
Sport
Stationery & Office
Toys
Filter by Category
All Departments
Books
Filter by Price
Min Price
Max Price
Clear
Apply
Status
Available to order
Brand
Independently Published
Springer International Publishing AG
Springer Nature Switzerland AG
Springer-Verlag
Springer-Verlag New York
Filter Results
Showing 7 Results in All Departments
Relevance
Bird (Paperback)
Annabel Maciver
List Price
R
239
R
238
Add to Cart
Ships in 10 - 15 working days
Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings (Paperback, 1st ed. 2018)
R
1,601
Add to Cart
Ships in 10 - 15 working days
Logic for Programming, Artificial Intelligence, and Reasoning - 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings (Paperback, 1st ed. 2015)
R
3,533
Add to Cart
Ships in 10 - 15 working days
Abstraction, Refinement and Proof for Probabilistic Systems (Paperback, Softcover reprint of hardcover 1st ed. 2005)
Annabelle McIver
,
Charles Carroll Morgan
R
4,519
Add to Cart
Ships in 10 - 15 working days
The Science of Quantitative Information Flow (Hardcover, 1st ed. 2020)
Mario S. Alvim
,
Konstantinos Chatzikokolakis
,
Annabelle McIver
,
Carroll Morgan
,
Catuscia Palamidessi
,
Geoffrey Smith
R
1,911
Add to Cart
Ships in 10 - 15 working days
Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings (Paperback, 1st ed. 2019)
R
1,715
Add to Cart
Ships in 10 - 15 working days
Abstraction, Refinement and Proof for Probabilistic Systems (Hardcover, 2005 ed.)
Annabelle McIver
,
Charles Carroll Morgan
R
4,739
Add to Cart
Ships in 10 - 15 working days