for at udvide
kategorilisten.
Softwareudvikling
-
Runtime Verification: A Hands-On Approach in Java (Bog, Paperback / softback, Engelsk)
This book provides a hands-on introduction to runtime verification which guides the reader from zero to sufficient practical knowledge required to consider and apply it in industry.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Computer Information Systems and Industrial Management: 21st International Conference, CISIM 2022, Barranquilla, Colombia, July 15–17, 2022, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 21st International Conference on Computer Information Systems and Industrial Management Applications, CISIM 2022, held in Barranquilla, Colombia, in July 2022.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Computational Science and Its Applications – ICCSA 2022 Workshops: Malaga, Spain, July 4–7, 2022, Proceedings, Part IV (Bog, Paperback / softback, Engelsk)
Computational and Applied Mathematics (CAM 2022), Computational and Applied Statistics (CAS 2022); Advanced and Computational Methods for Earth Science Applications (WACM4ES 2022);
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Computing Science, Communication and Security: Third International Conference, COMS2 2022, Gujarat, India, February 6–7, 2022, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes revised selected papers of the Third International... Læs mere
Levering: 6 - 9 hverdage -
Computational Science and Its Applications – ICCSA 2022 Workshops: Malaga, Spain, July 4–7, 2022, Proceedings, Part VI (Bog, Paperback / softback, Engelsk)
Computational and Applied Mathematics (CAM 2022), Computational and Applied Statistics (CAS 2022); Advanced and Computational Methods for Earth Science Applications (WACM4ES 2022);
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings (Bog, Paperback / softback, Engelsk)
This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Database Systems for Advanced Applications. DASFAA 2022 International Workshops: BDMS, BDQM, GDMA, IWBT, MAQTDS, and PMBD, Virtual Event, April 11–14, 2022, Proceedings (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Business Modeling and Software Design: 12th International Symposium, BMSD 2022, Fribourg, Switzerland, June 27–29, 2022, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 12h International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Software Technologies: 16th International Conference, ICSOFT 2021, Virtual Event, July 6–8, 2021, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 16th International Conference on... Læs mere
Levering: 6 - 9 hverdage -
Data Analytics and Management in Data Intensive Domains: 23rd International Conference, DAMDID/RCDL 2021, Moscow, Russia, October 26–29, 2021, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes the post-conference proceedings of the 23rd... Læs mere
Levering: 6 - 9 hverdage -
Database and Expert Systems Applications: 33rd International Conference, DEXA 2022, Vienna, Austria, August 22–24, 2022, Proceedings, Part I (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Rewriting Logic and Its Applications: 14th International Workshop, WRLA 2022, Munich, Germany, April 2–3, 2022, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes selected papers from the refereed proceedings of... Læs mere
Levering: 6 - 9 hverdage
