Mathematik für die Informatik: Grundlegende Begriffe, Strukturen und ihre Anwendung, Ausgabe 2

Mathematik für die Informatik: Grundlegende Begriffe, Strukturen und Anwendungen, Ausgabe 5

Mathematik für die Informatik: Grundlegende Begriffe, Strukturen und ihre Anwendung, Ausgabe 3

Ordnungen und Verbände: Grundlagen, Vorgehensweisen und Anwendungen

Mathematik für Informatiker: Grundlegende Begriffe und Strukturen

Ordnungen, Verbände und Relationen mit Anwendungen: Ausgabe 2

Tool Support for System Specification, Development and Verification

Relations and Kleene Algebra in Computer Science: 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009, Proceedings

Relations and Kleene Algebra in Computer Science: 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008, Proceedings

Ordnungen, Verbände und Relationen mit Anwendungen