Optimization and Applications
OPTIMA
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification
Tiziana Margaria
Proceedings of the 2nd International and Interdisciplinary Conference on Digital Environments For Education, Arts and Heritage
Alessandro Luigini
Foundation Mathematics For Computer Science
John Vince
Elementary Numerical Mathematics For Programmers and Engineers
Gisbert Stoyan
Automated Reasoning Lecture Notes in Artificial Intelligence
Christoph Benzmüller
Interactive Media For Cultural Heritage
Fotis Liarokapis
Advances in Computer Graphics Part I
Computer Graphics Internationa
Exploring University Mathematics With Python
Siri Chongchitnan
ISTQB Certified Tester Foundation Level
Lucjan Stapp
OpenMP - Advanced Task-Based, Device and Compiler Programming
IWOMP
A Beginners Guide To Python 3 Programming
John Hunt
Programming Languages
Maurizio Gabbrielli
The Illusion of Control
Mario Vanhoucke
Machine Learning and Data Mining For Sports Analytics
MLSA
Modelling and Development of Intelligent Systems
MDIS
Enterprise Design, Operations, and Computing - EDOC 2022 Workshops
International Conference on En
Current Trends in Web Engineering
Giuseppe Agapito
Algorithms and Discrete Applied Mathematics
CALDAM
Emerging Technologies in Computing
International Conference on Em
