search result

Cover von An Introduction to Sequential Dynamical Systems
Author: Mortveit, Henning S.; Reidys, Christian M. Search for this author
Year: 2008
Publisher: Berlin, Springer
Series: Universitext
Media group: MONOGRAPHIE
Cover von MOQA

MOQA

unlocking the potential of compositional static average-case analysis
Year: 2010
Media group: ARTICLE
Cover von Implicit characterizations of FPTIME and NC revisited

Implicit characterizations of FPTIME and NC revisited

Year: 2010
Media group: ARTICLE
Cover von Agile Softwareentwicklung
Werte, Konzepte und Methoden
Author: Bleek, Wolf-Gideon; Wolf, Henning Search for this author
Year: 2008
Publisher: Heidelberg, dpunkt.verlag
Media group: MONOGRAPHIE
Cover von Learning to Bound for Maximum Common Subgraph Algorithms

Learning to Bound for Maximum Common Subgraph Algorithms

Year: 2025
Media group: LIPIcs
Cover von Composition and Recursion for Causal Structures

Composition and Recursion for Causal Structures

Year: 2023
Media group: LIPIcs
Cover von Iterierte Funktionen, Sprachen und Fraktale
Author: Fernau, Henning Search for this author
Year: 1994
Publisher: Mannheim, BI-Wissenschaftsverlag
Series: Aspekte komplexer Systeme; 2
Media group: MONOGRAPHIE
Cover von 3.; Human-computer interaction
Search for this author
Year: 1991
Publisher: Hove, Lawrence Erlbaum
Volume: 3.
Media group: MONOGRAPHIE
Cover von Computer Science - Theory and Applications
15th International Computer Science Symposium in Russia, CSR 2020, Yekaterinburg, Russia, June 29 - July 3, 2020, Proceedings
Search for this author
Year: 2020
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 12159
Media group: MONOGRAPHIE
Cover von Coinduction in Flow

Coinduction in Flow

The Later Modality in Fibrations
Year: 2019
Media group: LIPIcs
OPEN V 11.1.0.0