search result

Cover von Einführung in die Constraint-Programmierung
Grundlagen, Methoden, Sprachen, Anwendungen
Author: Hofstedt, Petra; Wolf, Armin Search for this author
Year: 2007
Publisher: Heidelberg, Springer
Series: eXamen.press
Media group: MONOGRAPHIE
Cover von Synchronization Under Dynamic Constraints

Synchronization Under Dynamic Constraints

Year: 2020
Media group: LIPIcs
Cover von Monoids of Upper Triangular Matrices over the Boolean Semiring

Monoids of Upper Triangular Matrices over the Boolean Semiring

Year: 2024
Media group: LIPIcs
Cover von A Timecop’s Chase Around the Table

A Timecop’s Chase Around the Table

Year: 2021
Media group: LIPIcs
Cover von Synchronization of Deterministic Visibly Push-Down Automata

Synchronization of Deterministic Visibly Push-Down Automata

Year: 2020
Media group: LIPIcs
Cover von Synchronizing Deterministic Push-Down Automata Can Be Really Hard

Synchronizing Deterministic Push-Down Automata Can Be Really Hard

Year: 2020
Media group: LIPIcs
Cover von Distance to Transitivity

Distance to Transitivity

New Parameters for Taming Reachability in Temporal Graphs
Year: 2024
Media group: LIPIcs
Cover von Parameterized Algorithms for Multi-Label Periodic Temporal Graph Realization

Parameterized Algorithms for Multi-Label Periodic Temporal Graph Realization

Year: 2024
Media group: LIPIcs
Cover von Decomposing Permutation Automata

Decomposing Permutation Automata

Year: 2021
Media group: LIPIcs
Cover von Restricted Power - Computational Complexity Results for Strategic Defense Games

Restricted Power - Computational Complexity Results for Strategic Defense Games

Year: 2018
Media group: LIPIcs
OPEN V 11.1.0.0