Inbunden, Engelska, 2020
1 119 kr
Skickas inom 11-20 vardagar
Alexandra Silva – författare
Visar alla böcker från författaren Alexandra Silva.
7 produkter
7 produkter
- 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, 2021599 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, 2021599 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, 20211 069 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, 2017749 kr
Skickas inom 10-15 vardagar
- Häftad, Engelska, 2012
749 kr
Skickas inom 10-15 vardagar
- Häftad, Engelska, 2019
729 kr
Skickas inom 10-15 vardagar