Der er 3 underkategorier
for at udvide
kategorilisten.
Softwareudvikling
-
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Intelligent Computer Mathematics: 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 13th International Conference... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Code-Based Cryptography: 8th International Workshop, CBCrypto 2020, Zagreb, Croatia, May 9–10, 2020, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed and revised post-conference proceedings of the... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Diagrammatic Representation and Inference: 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 11th International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Computer Safety, Reliability, and Security: 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16–18, 2020, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 39th International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the workshops which complemented the 23rd... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the workshops which complemented the... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Engineering Trustworthy Software Systems: 5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 5th International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
New Trends in Information and Communications Technology Applications: 4th International Conference, NTICT 2020, Baghdad, Iraq, June 15, 2020, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes refereed proceedings of the 4th International Conference on New Trends in Information and Communications Technology Applications, NTICT 2020, held on June 15, 2020.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 12th International Symposium on NASA Formal Methods, NFM 2020, held in Moffett Field, CA, USA, in May 2020.*The 20 full and 5 short papers presented in this volume were carefully reviewed and selected from 62 submissions.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Advances in Cryptology – CRYPTO 2020: 40th Annual International Cryptology Conference, CRYPTO 2020, Santa Barbara, CA, USA, August 17–21, 2020, Proceedings, Part I (Bog, Paperback / softback, Engelsk)
Conference on Cryptologic Research, CRYPTO 2020, which was held during... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Advances in Cryptology – CRYPTO 2020: 40th Annual International Cryptology Conference, CRYPTO 2020, Santa Barbara, CA, USA, August 17–21, 2020, Proceedings, Part III (Bog, Paperback / softback, Engelsk)
Conference on Cryptologic Research, CRYPTO 2020, which was held during... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage)
