Der er 13+ underkategorier
for at udvide
kategorilisten.
Informatik
-
Bemærk: Kan ikke leveres før jul.
Cellular Automata and Discrete Complex Systems: 30th IFIP WG 1.5 International Workshop, AUTOMATA 2024, Durham, UK, July 22–24, 2024, Proceedings (Bog, Paperback / softback, Engelsk)This book constitutes the proceedings from the 30th IFIP WG 1.5... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Coalgebraic Methods in Computer Science: 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Proceedings (Bog, Paperback / softback, Engelsk)This book constitutes the post-conference proceedings of the 17th... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
The Practice of Formal Methods: Essays in Honour of Cliff Jones, Part II (Bog, Paperback / softback, Engelsk)His career has included industry research in the UK, Austria and Belgium, a PhD at the University of Oxford, and academic and research roles at the University of Cambridge and the University of Manchester, and since 1999 at Newcastle University.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
The Practice of Formal Methods: Essays in Honour of Cliff Jones, Part I (Bog, Paperback / softback, Engelsk)His career has included industry research in the UK, Austria and Belgium, a PhD at the University of Oxford, and academic and research roles at the University of Cambridge and the University of Manchester, and since 1999 at Newcastle University.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Deep Learning Theory and Applications: 5th International Conference, DeLTA 2024, Dijon, France, July 10–11, 2024, Proceedings, Part II (Bog, Paperback / softback, Engelsk)The two-volume set CCIS 2171 and 2172 constitutes the refereed papers from... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Biomedical Engineering Systems and Technologies: 16th International Joint Conference, BIOSTEC 2023, Lisbon, Portugal, February 16–18, 2023, Revised Selected Papers (Bog, Paperback / softback, Engelsk)This book constitutes the refereed post-conference proceedings of the... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
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) -
Bemærk: Kan ikke leveres før jul.
Design, Learning, and Innovation: 8th EAI International Conference, DLI 2023, Aalborg, Denmark, November 6–7, 2023, Proceedings (Bog, Paperback / softback, Engelsk)This book constitutes the refereed post-conference proceedings of the 8th EAI... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Ecosystems Without Borders 2024: Opportunities and Challenges (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Design Behind Interaction: Interfaces, Technology, Meanings (Bog, Paperback / softback, Engelsk)This book investigates how digital transformation and technological innovations are challenging traditional design paradigms and redefining the conception of interfaces, suggesting a future where interfaces seamlessly integrate into or disappear within smart objects.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
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) -
Bemærk: Kan ikke leveres før jul.
Conceptual Knowledge Structures: First International Joint Conference, CONCEPTS 2024, Cadiz, Spain, September 9–13, 2024, Proceedings (Bog, Paperback / softback, Engelsk)This book constitutes the proceedings of the First International Joint... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage)
