for at udvide
kategorilisten.
Softwareudvikling
Visning: Type : Alle | Sprog : Engelsk | Format : Paperback / softback Der vises kun varer på engelsk
-
Artificial General Intelligence: 17th International Conference, AGI 2024, Seattle, WA, USA, August 13–16, 2024, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 17th International Conference on Artificial General Intelligence, AGI 2024, held in Seattle, Washington, USA in August 2024. The 25 papers presented in this book were carefully reviewed and selected from 55 submissions.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
The Application of Formal Methods: Essays Dedicated to Jim Woodcock on the Occasion of His Retirement (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
TOOLympics Challenge 2023: Updates, Results, Successes of the Formal-Methods Competitions (Bog, Paperback / softback, Engelsk)
TOOLympics 2023 was the third edition of a series of events to showcase competitions in the area of formal methods, colocated with the European Joint Conferences on Theory and Practice of Software (ETAPS 2023), held in April in Paris, France.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Database and Expert Systems Applications - DEXA 2024 Workshops: IWCFS, AISys, CIU, Naples, Italy, August 26–28, 2024, Proceedings (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Database and Expert Systems Applications: 35th International Conference, DEXA 2024, Naples, Italy, August 26–28, 2024, Proceedings, Part I (Bog, Paperback / softback, Engelsk)
The two-volume set LNCS 14910 and 14911 constitutes the proceedings of the... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Symbolic Computation in Software Science: 10th International Symposium, SCSS 2024, Tokyo, Japan, August 28–30, 2024, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 10th International Symposium on Symbolic Computation in Software Science, SCSS 2024, which took place in Tokyo, Japan, during August 28-30, 2024. The 7 full papers were carefully reviewed and selected from 25 submissions.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Computer and Communication Engineering: 4th International Conference, CCCE 2024, Oslo, Norway, May 24–26, 2024, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 4th International Conference on Computer and Communication Engineering, CCCE 2024, which took place in Oslo, Norway, during May 24-26, 2024. and design and implementation of modern information management systems.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Future Access Enablers for Ubiquitous and Intelligent Infrastructures: 8th EAI International Conference, FABULOUS 2024, Zagreb, Croatia, May 9–10, 2024, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed post-conference proceedings of the 8th... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Linking Theory and Practice of Digital Libraries: 28th International Conference on Theory and Practice of Digital Libraries, TPDL 2024, Ljubljana, Slovenia, September 24–27, 2024, Proceedings, Part I (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Service-Oriented Computing: 18th Symposium and Summer School, SummerSOC 2024, Crete, Greece, June 24–29, 2024, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 18th Symposium and... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Agile Processes in Software Engineering and Extreme Programming – Workshops: XP 2024 Workshops, Bozen-Bolzano, Italy, June 4–7, 2024, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This open access book constitutes revised selected papers from the... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Recent Advances in the Message Passing Interface: 31st European MPI Users' Group Meeting, EuroMPI 2024, Perth, WA, Australia, September 25–27, 2024, Proceedings (Bog, Paperback / softback, Engelsk)
This volume LNCS constitutes the refereed proceedings of 31st European... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage)
