for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
multidisciplinary, domain-sepcific and applied parallel and distributed computing.
The three-volume set LNCS 15900-15902 constitutes the proceedings of the... Læs mere
The three-volume set LNCS 15900-15902 constitutes the proceedings of the... Læs mere
This book constitutes the refereed proceedings of the 6th International Conference on Logic and Argumentation, CLAR 2025, held in Taiyuan, China, during June 14–16, 2025. The 22 full papers included in this book were carefully reviewed and selected from 38 submissions.
Die Antwort auf diese Frage führt uns auf eine faszinierende Reise zu den Grundlagen der binären... Læs mere
Renate Motzer führt in die Welt der Brüche ein und bringt sie in Verbindung mit Dezimalzahlen.... Læs mere
This book provides comprehensive coverage of verification and debugging techniques for embedded software, which is frequently used in safety critical applications (e.g., automotive), where failures are unacceptable.
This book discusses the theoretical foundations of Organic Computing, its methods, tools and learning techniques, architectural patterns and applications. A concluding chapter reviews new projects spawned since the original German Research Foundation program.