Der er 6+ underkategorier
for at udvide
kategorilisten.
Operativsystemer
-
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I (Bog, Paperback / softback, Engelsk)
The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20–30, 2020, on Rhodes, Greece.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Logic, Language, and Security: Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday (Bog, Paperback / softback, Engelsk)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)
-
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) -
Service-Oriented Computing: 18th International Conference, ICSOC 2020, Dubai, United Arab Emirates, December 14–17, 2020, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 18th International Conference on Service-Oriented Computing, ICSOC 2020, which was planned to take place in Dubai, UAE, during December 14-17, 2020. smart data and smart services;
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Transactions on Large-Scale Data- and Knowledge-Centered Systems XLII (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Transactions on Rough Sets XXII (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Statistics and Data Science: Research School on Statistics and Data Science, RSSDS 2019, Melbourne, VIC, Australia, July 24–26, 2019, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the Research School on... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Blockchain Technology and Application: Second CCF China Blockchain Conference, CBCC 2019, Chengdu, China, October 11–13, 2019, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the Second CCF China Blockchain Conference, CBCC 2019, held in Chengdu, China, in October 2019. The papers deal with research results and development activities in all aspects of blockchain science and technology.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Data Science and Analytics: 5th International Conference on Recent Developments in Science, Engineering and Technology, REDSET 2019, Gurugram, India, November 15–16, 2019, Revised Selected Papers, Part II (Bog, Paperback / softback, Engelsk)
This two-volume set (CCIS 1229 and CCIS 1230) constitutes the refereed... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Advanced Computer Architecture: 13th Conference, ACA 2020, Kunming, China, August 13–15, 2020, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 13th Conference on Advanced Computer... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Neural Information Processing: 24th International Conference, ICONIP 2017, Guangzhou, China, November 14–18, 2017, Proceedings, Part VI (Bog, Paperback / softback, Engelsk)
The six volume set LNCS 10634, LNCS 10635, LNCS 10636, LNCS 10637, LNCS 10638, and LNCS 10639 constitues the proceedings of the 24rd International Conference on Neural Information Processing, ICONIP 2017, held in Guangzhou, China, in November 2017.
Levering: Skaffevare (forvent 14 - 30 hverdage)
