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.)
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.)
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.)
Mathematik für die Informatik: Grundlegende Begriffe, Strukturen und ihre Anwendung
  • PDF
  • German
  • Year: 2017
  • Author: Rudolf Berghammer (auth.)
Tool Support for System Specification, Development and Verification
  • PDF
  • English
  • Year: 1999
  • Author: R. Berghammer, Y. Lakhnech, W. Reif (auth.), Prof. Dr. Rudolf Berghammer, Dr. Yassine Lakhnech (eds.)
Games, Actions and Social Software: Multidisciplinary Aspects
  • PDF
  • English
  • Year: 2012
  • Author: Rohit Parikh, Marc Pauly (auth.), Jan van Eijck, Rineke Verbrugge (eds.)
search