for at udvide
kategorilisten.
Matematisk datateori
Visning: Type : Alle | Sprog : Alle | Format : Alle
-
Computational Science – ICCS 2025: 25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part II (Bog, Paperback / softback, Engelsk)
The 4-volume set LNCS constitutes the main proceedings of the 25th International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Computational Science – ICCS 2025: 25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part III (Bog, Paperback / softback, Engelsk)
The 4-volume set LNCS constitutes the main proceedings of the 25th International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Data Visualization with Category Theory and Geometry: With a Critical Analysis and Refinement of UMAP (Bog, Hardback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Designing the Information Systems Artefact: Typology, Architecture, Abstraction, Collaborative Evolution and Design Patterns (Bog, Hardback, Engelsk)
As a foundation for understanding and categorizing DSR artifacts, it proposes a more differentiated, empirically justified DSR artifact typology.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Computer Aided Verification: 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Computer Aided Verification: 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part III (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Computer Aided Verification: 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Combinatorial Algorithms: 36th International Workshop, IWOCA 2025, Bozeman, MT, USA, July 21–24, 2025, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 36th International Workshop on... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions (Bog, Hardback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Quantum Machine Learning in Industrial Automation (Bog, Hardback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Discrete and Computational Geometry, Graphs, and Games: 24th Japanese Conference, JCDCGGG 2022, Virtual Event, September 9–11, 2022, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book, LNCS 14364, constitutes the refereed proceedings of the 24th... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Modeling Decisions for Artificial Intelligence: 22nd International Conference, MDAI 2025, Valencia, Spain, September 15–18, 2025, Proceedings (Bog, Paperback / softback, Engelsk)
mso-ansi-language: EN-US;">This book constitutes the refereed... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage)
