Book Presentations.

News
D-Finite Cover

D-Finite Functions

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

News
[Translate to Englisch:] Titelblatt

Concrete Abstractions

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

News
[Translate to Englisch:] Finanzmanagement

NEW PUBLICATION

Finanzmanagement

Grundlagen - Konzepte - Umsetzung

3rd edition

News
Integration in Finite Terms: Fundamental Sources

New book on Symbolic Integration

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

News
cover page

Thinking Programs

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

by Wolfgang Schreiner (RISC)

News
From Digital Twins to Digital Selves and Beyond

From Digital Twins to Digital Selves and Beyond

Engineering and Social Models for a Trans-humanist World

by Franz Barachini and Christian Stary

News
Kommentar Strafprozessordnung

Linz Commentary about the Code of Criminal Procedure

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