Der er 13+ underkategorier
Systemanalyse og systemdesign
-
Software Technologies: 14th International Conference, ICSOFT 2019, Prague, Czech Republic, July 26–28, 2019, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes the thoroughly refereed post-conference proceedings of... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Learning and Intelligent Optimization: 14th International Conference, LION 14, Athens, Greece, May 24–28, 2020, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed post-conference proceedings on Learning and Intelligent Optimization, LION 14, held in Athens, Greece, in May 2020.
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) -
Performance Evaluation and Benchmarking for the Era of Cloud(s): 11th TPC Technology Conference, TPCTC 2019, Los Angeles, CA, USA, August 26, 2019, Revised Selected Papers (Bog, Paperback / softback, Engelsk)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) -
Parallel Computational Technologies: 14th International Conference, PCT 2020, Perm, Russia, May 27–29, 2020, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes refereed proceedings of the 14th 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) -
Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
The volume LNCS 12226 constitutes the revised selected papers from the... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Formal Modeling and Analysis of Timed Systems: 18th International Conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 18th International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Ubiquitous Networking: 5th International Symposium, UNet 2019, Limoges, France, November 20–22, 2019, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 5th International Symposium... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
OpenMP: Portable Multi-Level Parallelism on Modern Systems: 16th International Workshop on OpenMP, IWOMP 2020, Austin, TX, USA, September 22–24, 2020, Proceedings (Bog, Paperback / softback, Engelsk)
and memory.The chapters ‘A Case Study on Addressing Complex Load Imbalance in OpenMP’ and ‘A Study of Memory Anomalies in OpenMP Applications’ are available open access under a Creative Commons Attribution 4.0 License via link.springer.com.
Levering: Skaffevare (forvent 14 - 30 hverdage)
