Zum Inhalt springen

  2. Berghammer, Rudolf [HerausgeberIn]

    Tool support for system specification development and verification : preliminary proceedings of a workshop held in Malente, June 2 - 4, 1998

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Kiel: Inst. für Informatik und Praktische Mathematik, 1998

    Erschienen in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9803

  7. Berghammer, Rudolf [HerausgeberIn]; Möller, Bernhard [Sonstige Person, Familie und Körperschaft] ; International Seminar on Relational Methods in Computer Science 7 2003 Malente, International Workshop on Applications of Kleene Algebra 2 2003 Malente

    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

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2004

    Erschienen in: Lecture notes in computer science ; 3051

  10. Berghammer, Rudolf [HerausgeberIn]; Möller, Bernhard [Sonstige Person, Familie und Körperschaft]; Struth, Georg [Sonstige Person, Familie und Körperschaft] ; International Conference on Relational Methods in Computer Science 10 2008 Chiemsee-Frauenchiemsee, International Conference on Applications of Kleene Algebra 5 2008 Chiemsee-Frauenchiemsee

    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

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2008

    Erschienen in: Lecture notes in computer science ; 4988

  11. Berghammer, Rudolf [HerausgeberIn]; Jaoua, Ali Mohamed [HerausgeberIn]; Möller, Bernhard [HerausgeberIn] ; International Conference on Relational Methods in Computer Science 11 2009 Doha, International Conference on Applications of Kleene Algebra 6. 2009 Doha

    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

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2009

    Erschienen in: Lecture notes in computer science ; 5827

  12. Berghammer, Rudolf [VerfasserIn]; Hoffmann, Thorsten [VerfasserIn]; Leoniuk, Barbara [VerfasserIn]

    Rechnergestützte Erstellung von Prototypen für Programme auf relationalen Strukturen

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Kiel: Inst. für Informatik und Praktische Mathematik, 1999

    Erschienen in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9905

  14. Schmidt, Gunther [VerfasserIn] ; Berghammer, Rudolf [Sonstige Person, Familie und Körperschaft]

    Graph-Theoretic Concepts in Computer Science : 17th International Workshop WG '91, Fischbachau, Germany, June 17-19, 1991. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1992

    Erschienen in: Lecture notes in computer science ; 570

  17. Berghammer, Rudolf [VerfasserIn]

    Mathematik für die Informatik : Grundlegende Begriffe, Strukturen und ihre Anwendung - [3., erweiterte und aktualisierte Auflage]

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Wiesbaden: Springer Vieweg, [2019]

    Erschienen in: Springer eBooks ; Computer Science and Engineering