Mathematical Modeling and Supercomputer Technologies
MMST
High-Performance Computing Systems and Technologies in Scientific Research, Automation of Control and Production
HPCST
Artificial Intelligence and Natural Language
AINL
Advances in Optimization and Applications
OPTIMA
Arithmetic of Finite Fields
WAIFI
Artificial Intelligence Research
Southern African Conference on
Optimization and Learning
OLA
Rules and Reasoning
RuleML+RR
The Digital Twin
Noël Crespi
Coordination, Organizations, Institutions, Norms, and Ethics For Governance of Multi-Agent Systems XV
International Workshop on Coor
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles
Tiziana Margaria
Computer Algebra in Scientific Computing
International Workshop on Comp
Introduction To Combinatorial Optimization
Dingzhu Du
Advances in Computer Games
Advances in Computer Games
Understanding Computation
Arnold L. Rosenberg
Python For Probability, Statistics, and Machine Learning
José Unpingco
Introduction To Quantum Computing With Q# and QDK
Filip Wojcieszyn
Engineering Multi-Agent Systems
EMAS
Foundation Mathematics For Science and Engineering Students
P. D. Prewett
