Bookshelf
| can't find it |

| browse books |
books
 


> try searching in e-books

| search results |

displaying 36 results for author search for 'Tiziana Margaria'
 

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part III

Tiziana Margaria
Paperback / softback, 406 pages
ISBN-13: 9783031753794
30 Oct 2024
Readership Age:
computers / programming / software development
Price: R 3 178.95
| on special |
normal price: R 3 345.95
Available from overseas. Usually dispatched in 14 days

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part II

Tiziana Margaria
Paperback / softback, 370 pages
ISBN-13: 9783031751066
27 Oct 2024
Readership Age:
computers / programming / software development
Price: R 2 403.95
| on special |
normal price: R 2 530.95
This title will take longer to obtain, and should be delivered in 6-8 weeks

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part V

Tiziana Margaria
Paperback / softback, 210 pages
ISBN-13: 9783031753893
26 Oct 2024
Readership Age:
computers / programming / software development
Price: R 1 802.95
| on special |
normal price: R 1 897.95
This title will take longer to obtain, and should be delivered in 6-8 weeks

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part IV

Tiziana Margaria
Paperback / softback, 330 pages
ISBN-13: 9783031753862
26 Oct 2024
Readership Age:
computers / programming / software development
Price: R 2 403.95
| on special |
normal price: R 2 530.95
This title will take longer to obtain, and should be delivered in 6-8 weeks

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part I

Tiziana Margaria
Paperback / softback, 428 pages
ISBN-13: 9783031737084
9 Oct 2024
Readership Age:
computers / programming / software development
Price: R 2 604.95
| on special |
normal price: R 2 741.95
This title will take longer to obtain, and should be delivered in 6-8 weeks

12345678
| your trolley |

To view the items in your trolley please sign in.

| sign in |

| specials |

The Coming Wave: AI, Power and Our Future

Mustafa Suleyman
Paperback / softback
352 pages
was: R 295.95
now: R 265.95
Stock is usually dispatched in 6-12 days from date of order


Survive the AI Apocalypse: A guide for solutionists

Bronwyn Williams
Paperback / softback
232 pages
was: R 340.95
now: R 306.95
Stock is usually dispatched in 6-12 days from date of order

Look around you is anything real or normal any more? News, images and videos created by AI are everywhere.

The Colonialist: The Vision of Cecil Rhodes

William Kelleher Storey
Paperback / softback
528 pages
was: R 425.95
now: R 382.95
Usually dispatched in 6-12 days

This first comprehensive biography of Cecil Rhodes in a generation illuminates Rhodes’s vision for the expansion of imperialism in southern Africa, connecting politics and industry to internal development, and examines how this fueled a lasting, white-dominated colonial society.

The Memory Collectors: A Novel

Dete Meserve
Paperback / softback
320 pages


Enquiries only