Informatics in Schools. Beyond Bits and Bytes: Nurturing Informatics Intelligence in Education
This book constitutes the proceedings of the 16th International Conference on Informatics in...
EAN: 9783031448997
Formal Methods for Industrial Critical Systems
This book constitutes the proceedings of the 28th International Conference on Formal Methods for...
EAN: 9783031436802
Explainable and Transparent AI and Multi-Agent Systems
This volume LNCS 14127 constitutes the refereed proceedings of the 5th International Workshop,...
EAN: 9783031408779
OpenMP: Advanced Task-Based, Device and Compiler Programming
This book constitutes the proceedings of the 19th International Workshop on OpenMP, IWOMP 2023,...
EAN: 9783031407437
Logic and Argumentation
This book constitutes the refereed proceedings of the 5th International Conference on Logic and...
EAN: 9783031408748
Programming Languages and Systems
This book constitutes the refereed proceedings of the 21st Asian Symposium on Programming...
EAN: 9789819983100
Composability, Comprehensibility and Correctness of Working Software
This book constitutes the revised selected papers of the 8th Summer School, CEFP 2019, held in...
EAN: 9783031428326
Advanced Guide to Python 3 Programming
EAN: 9783031403354
Beginners Guide to Python 3 Programming
Each subject area is prefaced with an introductory chapter, before continuing with how these...
EAN: 9783031351211
Modern X86 Assembly Language Programming
EAN: 9781484296028
Programming Languages: Principles and Paradigms
EAN: 9783031341434
Symbolic and Quantitative Approaches to Reasoning with Uncertainty
EAN: 9783030297640
Software Engineering and Formal Methods
The papers cover a large variety of topics, including testing, formal verification, program...
EAN: 9783030304454
Static Analysis
This book constitutes the refereed proceedings of the 29th International Symposium on Static...
EAN: 9783031223075
Programming Languages and Systems
This book constitutes the proceedings of the 20th Asian Symposium on Programming Languages and...
EAN: 9783031210365
Explainable and Transparent AI and Multi-Agent Systems
This book constitutes the refereed proceedings of the 4th International Workshop on Explainable...
EAN: 9783031155642
SSA-based Compiler Design
This book provides readers with a single-source reference to static-single assignment(SSA)-based...
EAN: 9783030805142
