Alexandra Silva - Böcker
999 kr
Skickas inom 7-10 vardagar
Computer Aided Verification
33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I
579 kr
Skickas inom 10-15 vardagar
Computer Aided Verification
33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II
579 kr
Skickas inom 10-15 vardagar
Logic, Language, Information, and Computation
27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings
1 029 kr
Skickas inom 10-15 vardagar
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
719 kr
Skickas inom 10-15 vardagar
Logic and Program Semantics
Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday
719 kr
Skickas inom 10-15 vardagar
Language, Logic, and Computation
12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers
699 kr
Skickas inom 10-15 vardagar