Home Advanced Search

Advanced Search - Page 1

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
  • PDF
  • English
  • Year: 2009
  • Author: Rohit Parikh (auth.), Rudolf Berghammer, Ali Mohamed Jaoua, Bernhard Möller (eds.)
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
  • PDF
  • English
  • Year: 2009
  • Author: Rohit Parikh (auth.), Rudolf Berghammer, Ali Mohamed Jaoua, Bernhard Möller (eds.)
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
  • PDF
  • English
  • Year: 2008
  • Author: Marc Pauly (auth.), Rudolf Berghammer, Bernhard Möller, Georg Struth (eds.)
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
  • PDF
  • English
  • Year: 2004
  • Author: Raymond Bisdorff, Marc Roubens (auth.), Rudolf Berghammer, Bernhard Möller, Georg Struth (eds.)
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
  • PDF
  • English
  • Year: 2004
  • Author: Raymond Bisdorff, Marc Roubens (auth.), Rudolf Berghammer, Bernhard Möller, Georg Struth (eds.)
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
  • PDF
  • English
  • Year: 2004
  • Author: Raymond Bisdorff, Marc Roubens (auth.), Rudolf Berghammer, Bernhard Möller, Georg Struth (eds.)
Mathematik für die Informatik: Grundlegende Begriffe, Strukturen und ihre Anwendung
  • PDF
  • German
  • Year: 2017
  • Author: Rudolf Berghammer (auth.)
Ordnungen, Verbände und Relationen mit Anwendungen: Studium
  • PDF
  • German
  • Year: 2008
  • Author: Rudolf Berghammer (auth.)
Ordnungen, Verbände und Relationen mit Anwendungen
  • PDF
  • German
  • Year: 2012
  • Author: Rudolf Berghammer (auth.)
Logics of Programs: Brooklyn, June 17–19, 1985 Proceedings
  • DJVU
  • English
  • Year: 1985
  • Author: Martin Abadi, Zohar Manna (auth.), Rohit Parikh (eds.)
search