for at udvide
kategorilisten.
Softwareudvikling
-
Graph Transformation: 17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10–11, 2024, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 17th International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Search-Based Software Engineering: 16th International Symposium, SSBSE 2024, Porto de Galinhas, Brazil, July 15, 2024, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 16th International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Human-Centered Software Engineering: 10th IFIP WG 13.2 International Working Conference, HCSE 2024, Reykjavik, Iceland, July 8–10, 2024, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 10th IFIP WG 13.2... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
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)
