Diagrammatic Representation and Inference
EAN: 9783031712906
Rigorous State-Based Methods
This book constitutes the refereed proceedings of the 10th International Conference on Rigorous...
EAN: 9783031637896
Nonsequential and Distributed Programming with Go
EAN: 9783662709283
Concise Introduction to Software Engineering
Software engineering has changed: A software project today is likely to use large language...
EAN: 9783031743177
Concrete Semantics
Part II can be read even without familiarity with Isabelle’s proof language, all proofs are...
EAN: 9783319357591
Definitive Guide to Modern Java Clients with JavaFX
EAN: 9798868809972
Software Development, Design, and Coding
EAN: 9798868802843
Static Analysis
This book constitutes the refereed proceedings of the 30th International Symposium on Static...
EAN: 9783031442445
MATLAB Control Systems Engineering
In addition to giving an introduction to the MATLAB environment and MATLAB programming, this book...
EAN: 9781484202906
Inductive Logic Programming
They cover all aspects of learning in logic, multi-relational data mining, statistical relational...
EAN: 9783031492983
SSA-based Compiler Design
This book provides readers with a single-source reference to static-single assignment(SSA)-based...
EAN: 9783030805173
AIxIA 2023 – Advances in Artificial Intelligence
This book constitutes the refereed proceedings of the XXIInd International Conference on AIxIA...
EAN: 9783031475450
Options and Derivatives Programming in C++23
EAN: 9781484298268
Formal Methods and Software Engineering
EAN: 9789819975839
