Programming

Modelling to Program (9783030726959)

Bio-Inspired Computing: Theories and Applications (9789811613531)

Information Technologies and Mathematical Modelling. Queueing Theory and Applications (9783030722463)

Tools and Methods of Program Analysis (9783030714710)

Formal Methods – Fun for Everybody (9783030713737)

Evaluation of Novel Approaches to Software Engineering (9783030700058)

Model-Driven Engineering and Software Development (9783030674441)

Machine Translation (9789813361614)

Advances in Optimization and Applications (9783030657383)

Active Inference (9783030649180)

Supercomputing (9783030646158)

Mathematical Optimization Theory and Operations Research (9783030586560)