Model Theory.

Institution-independent model theory by: (Language materials, printed)

Building and Solving Mathematical Programming Models = 50 Practical Examples / by: (Language materials, printed)

Mathematical Logic = Exercises and Solutions / by: (Language materials, printed)

Model Validation and Uncertainty Quantification, Volume 3 = Proceedings of the 39th IMAC, A Conference and Exposition on Structural Dynamics 2021 / by: (Language materials, printed)

QSPR/QSAR analysis using SMILES and quasi-SMILES by: (Language materials, printed)

Mathematical logic.

Computer science—Mathematics.

Theoretical Chemistry.

Quantum Simulations.

Formal Languages and Automata Theory.

Model theory.

Buildings—Maintenance.

Mechanical Statics and Structures.

Operations Research, Management Science .

Building Repair and Maintenance.

Logic.

Mathematical Logic and Foundations.

Management science.

Buildings—Repair and reconstruction.

Building Construction and Design.

Computational chemistry.

QSAR (Biochemistry)

Optimization.

Mathematical Applications in Computer Science.

Operations research.

Model Theory.

Logic, Symbolic and mathematical.

Operations Research and Decision Theory.

Mathematical optimization.

Computational Chemistry.

General Logic.

Statics.

Buildings—Design and construction.