Springer has just released a new textbook by Manuel Kauers about D-finite Functions.

Concrete Abstractions - Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker by Wolfgang Schreiner (RISC)

Finanzmanagement

Grundlagen - Konzepte - Umsetzung

3rd edition

The book edited by Michael Singer and Clemens Raab on the milestones of integration in finite terms has just appeared.

Thinking Programs - Logical Modeling and Reasoning About Languages, Data, Computations, and Executions

by Wolfgang Schreiner (RISC)

Engineering and Social Models for a Trans-humanist World

by Franz Barachini and Christian Stary

Prof. Alois Birklbauer’s useful reference into procedural law for a quick overview and in-depth insight.