Bernhard Möller - Böcker

Modal Semirings and Applications

Doppel-Klick 8. Jahrgangsstufe - Mittelschule Bayern - Schülerbuch. Für Regelklassen

Doppel-Klick 5. Jahrgangsstufe - Mittelschule Bayern - Schülerbuch

Doppel-Klick 6. Jahrgangsstufe - Mittelschule Bayern - Schülerbuch

Doppel-Klick 7. Jahrgangsstufe - Mittelschule Bayern - Schülerbuch. Für Regelklassen

Doppel-Klick 7. Jahrgangsstufe - Mittelschule Bayern - Schülerbuch. Für M-Klassen

Doppel-Klick 8. Jahrgangsstufe - Mittelschule Bayern - Schülerbuch. Für M-Klassen

Relational and Kleene-Algebraic Methods in Computer Science

7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers

Mathematics of Program Construction

6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings

Formal Program Development

IFIP TC2/WG 2.1 State-of-the-Art Report

Higher-Order Algebra, Logic, and Term Rewriting

First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers

Mathematics of Program Construction

Third International Conference, MPC '95, Kloster Irsee, Germany, July 17 - 21, 1995. Proceedings

Higher-Order Algebra, Logic, and Term Rewriting

Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers

Prospects for Hardware Foundations

ESPRIT Working Group 8533 NADA — New Hardware Design Methods Survey Chapters

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