Strukturwandel und Strukturpolitik in Nordrhein-Westfalen

Veröffentlicht 2004

Tinted, Detached, and Lazy CNF-XOR Solving and Its Applications to Counting and Sampling

von Soos, Mate
Veröffentlicht in CAV (32. : 2020 : Online) Computer aided verification ; Part 1 (2020)

Certifying Solvers for Clique and Maximum Common (Connected) Subgraph Problems

von Gocht, Stephan
Veröffentlicht in CP (26. : 2020 : Online) Principles and practice of constraint programming (2020)

Zwei Krawatten : Revuestück von Georg Kaiser ; Premiere am 24. Januar 2009 ; [Programmheft]

Veröffentlicht 2009