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

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

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

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

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

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

Mathematical Advances Towards Sustainable Environmental Systems, Fachbücher von Richard H. McClatchey, Anil K. Gupta, Ja...