Alexandra Silva – författare
Visar alla böcker från författaren .
7 produkter
7 produkter
Inbunden, Engelska, 2020
1 109 kr
Skickas inom 7-10 vardagar
Del 12759 - Lecture Notes in Computer Science
Computer Aided Verification
33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I
Häftad, Engelska, 2021
579 kr
Skickas inom 10-15 vardagar
Del 12760 - Lecture Notes in Computer Science
Computer Aided Verification
33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II
Häftad, Engelska, 2021
579 kr
Skickas inom 10-15 vardagar
Del 13038 - Lecture Notes in Computer Science
Logic, Language, Information, and Computation
27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings
Häftad, Engelska, 2021
1 039 kr
Skickas inom 10-15 vardagar
Del 10321 - Lecture Notes in Computer Science
Formal Techniques for Distributed Objects, Components, and Systems
37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings
Häftad, Engelska, 2017
729 kr
Skickas inom 10-15 vardagar
Häftad, Engelska, 2012
729 kr
Skickas inom 10-15 vardagar
Häftad, Engelska, 2019
709 kr
Skickas inom 10-15 vardagar