Informatics in Schools. A Step Beyond Digital Education
The current ISSEP conference reacted to this trend and therefore invited computer scientists,...
EAN: 9783031158506
OpenMP in a Modern World: From Multi-device Support to Meta Programming
This book constitutes the proceedings of the 18th International Workshop on OpenMP, IWOMP 2022,...
EAN: 9783031159213
Logic Programming and Nonmonotonic Reasoning
EAN: 9783031157066
Diagrammatic Representation and Inference
This book constitutes the refereed proceedings of the 13th International Conference on the Theory...
EAN: 9783031151453
Formal Methods for Industrial Critical Systems
This book constitutes the proceedings of the 27th International Conference on Formal Methods for...
EAN: 9783031150074
Database Systems for Advanced Applications. DASFAA 2022 International Workshops
EAN: 9783031112164
Graph Transformation
This book constitutes the refereed proceedings of the 15th International Conference on Graph...
EAN: 9783031098420
Wireless Web Development with PHP and WAP
PHP is a scripting language used to create some of the world's most powerful Web-based...
EAN: 9781893115934
Programming Languages and Systems
This open access book constitutes the proceedings of the 31st European Symposium on Programming,...
EAN: 9783030993351
Chatbot Research and Design
This book constitutes the proceedings of the 5th International Workshop on Chatbot Research and...
EAN: 9783030948894
ICT Education
This book constitutes the refereed proceedings of the 50th Annual Conference of the Southern...
EAN: 9783030950026
Software Verification
This book constitutes the refereed proceedings of the 13th International Conference on Verified...
EAN: 9783030955601
Advanced Finite Element Simulation with MSC Marc
This book offers an in-depth insight into the general-purpose finite element program MSC Marc,...
EAN: 9783319837949
Separation Logic for High-level Synthesis
This book presents novel compiler techniques, which combine a rigorous mathematical framework,...
EAN: 9783319850948
Instruction Level Parallelism
This book precisely formulates and simplifies the presentation of Instruction Level Parallelism...
EAN: 9781493979592
Introduction to Statistics with Python
This textbook provides an introduction to the free software Python and its use for statistical...
EAN: 9783319803234
Semantics of the Probabilistic Typed Lambda Calculus
EAN: 9783662568729
Models, Algorithms, Logics and Tools
During the last three decades, Kim Guldstrand Larsen has given major contributions across a...
EAN: 9783319631202
