Automated Reasoning Lecture Notes in Artificial Intelligence
Christoph Benzmüller
Advances in Computer Graphics Part I
Computer Graphics Internationa
Tools and Algorithms For the Construction and Analysis of Systems
Sriram Sankaranarayanan
Modelling and Development of Intelligent Systems
MDIS
Machine Learning and Knowledge Discovery in Databases Part V
ECML PKDD
Algorithms and Discrete Applied Mathematics
CALDAM
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
SOFSEM 2023
SOFSEM
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
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
