Towards Mechanized Mathematical Assistants, Fachbücher von Robert Miner, Manuel Kauers, Manfred Kerber

Manuel Kauers (u. A.) | Towards Mechanized Mathematical Assistants |

Modelling in Mathematical Programming, Fachbücher von José Manuel García Sánchez

Mathematical Methods in Program Development, Fachbücher von Manfred Broy, Birgit Schieder

Fundamental Mathematical Analysis, Fachbücher von Robert Magnus

Robert Indiana, Sachbücher von Kerber

Manifestation of emotivity in mathematical modeling and learning, Fachbücher von Héctor Manuel Belmar Garrido

Towards Tradable Water Rights, Fachbücher von Min Jiang

Robert Musil in Ostasien, Fachbücher von Thomas Pekar, Manuel Kraus

Towards Autonomous Robotic Systems, Fachbücher von Maria Elena Giannaccini, Manuel Giuliani, Tareq Assaf

Exploring Teachers and Students' Attitudes towards Taboo Language, Fachbücher von Edson Manuel Senguaio

Towards the Funky Tech University, Fachbücher von Róbert Szabolcsi

Ultraprecision in Manufacturing Engineering, Fachbücher von Manfred Weck, Robert Hartel

Mathematical Software - ICMS 2018, Fachbücher von Josef Urban, Manuel Kauers, George Labahn, James H. Davenport

Green Game Changers: transforming business towards a green economy, Fachbücher von Manuel Trindade Marques

Determinants and Their Applications in Mathematical Physics, Fachbücher von Robert Vein, Paul Dale