Book Presentations.

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
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.