Springer Nature Switzerland AG Forlag
Visning: Type : Alle | Sprog : Alle | Format : Alle
-
Emerging Technologies for Authorization and Authentication: Third International Workshop, ETAA 2020, Guildford, UK, September 18, 2020, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the Third International Workshop on Emerging Technologies for Authorization and Authentication, ETAA 2020, held in Guildford, UK, in September 2020.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Digital Libraries at Times of Massive Societal Transition: 22nd International Conference on Asia-Pacific Digital Libraries, ICADL 2020, Kyoto, Japan, November 30 – December 1, 2020, Proceedings (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Programming Languages and Systems: 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 18th Asian Symposium on Programming Languages and Systems, APLAS 2020, held in Fukuoka, Japan, in December 2020.*The 19 papers presented in this volume were carefully reviewed and selected from 46 submissions.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Innovation for Systems Information and Decision: Second International Meeting, INSID 2020, Recife, Brazil, December 2–4, 2020, Proceedings (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Theory of Cryptography: 18th International Conference, TCC 2020, Durham, NC, USA, November 16–19, 2020, Proceedings, Part III (Bog, Paperback / softback, Engelsk)
This three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Theory of Cryptography: 18th International Conference, TCC 2020, Durham, NC, USA, November 16–19, 2020, Proceedings, Part II (Bog, Paperback / softback, Engelsk)
This three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Theory of Cryptography: 18th International Conference, TCC 2020, Durham, NC, USA, November 16–19, 2020, Proceedings, Part I (Bog, Paperback / softback, Engelsk)
This three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Security Standardisation Research: 6th International Conference, SSR 2020, London, UK, November 30 – December 1, 2020, Proceedings (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY (Bog, Paperback / softback, Engelsk)
This book presents reflections on the occasion of 20 years on the KeY project that focuses on deductive software verification.Since the inception of the KeY project two decades ago, the area of deductive verification has evolved considerably.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Subject-Oriented Business Process Management. The Digital Workplace – Nucleus of Transformation: 12th International Conference, S-BPM ONE 2020, Bremen, Germany, December 2-3, 2020, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 12th International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Stabilization, Safety, and Security of Distributed Systems: 22nd International Symposium, SSS 2020, Austin, TX, USA, November 18–21, 2020, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 22nd International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Computer Security: ESORICS 2020 International Workshops, CyberICPS, SECPRE, and ADIoT, Guildford, UK, September 14–18, 2020, Revised Selected Papers (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
