Alexandra Silva - Böcker
794 kr
Skickas inom 7-10 vardagar
Computer Aided Verification
33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I
442 kr
Skickas inom 10-15 vardagar
Computer Aided Verification
33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II
442 kr
Skickas inom 10-15 vardagar
Logic, Language, Information, and Computation
27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings
789 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
551 kr
Skickas inom 10-15 vardagar
Logic and Program Semantics
Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday
551 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
535 kr
Skickas inom 10-15 vardagar