Skip to contents

Berghammer, Rudolf [Editor]

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

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9803
Berghammer, Rudolf [Editor]

Programming languages and fundamentals of programming

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9717
Berghammer, Rudolf [Author]

Ordnungen, Verbände und Relationen mit Anwendungen - [2., durchges. und korrigierte Aufl.]

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Wiesbaden: Springer Vieweg, 2012

Published in: Lehrbuch
Berghammer, Rudolf [Author]

Ordnungen, Verbände und Relationen mit Anwendungen - [1. Aufl.]

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Wiesbaden: Vieweg + Teubner, 2008

Published in: Leitfäden der Informatik - Studium
Berghammer, Rudolf [Author]

Dijkstras wp-Funktion als Formeltransformer und ihre Verbindung zur denotationellen Semantik

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9708
Berghammer, Rudolf [Author]

Graphdurchlauf mit Vererbung und Synthese : eine Fallstudie über die Parameterisierung von Programmen mittels ML-Funktoren

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9402
Berghammer, Rudolf [Editor]; Möller, Bernhard [Other] ; 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

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 3051
Schmidt, Gunther [Editor]; Berghammer, Rudolf [Other] ; WG 17 1991 Fischbachau

Graph-theoretic concepts in computer science : proceedings

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 570
Berghammer, Rudolf [Author]; Tiedt, Markus [Author]

Kiel interactive evaluation laboratory

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9909
Berghammer, Rudolf [Editor]; Möller, Bernhard [Other]; Struth, Georg [Other] ; 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

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 4988
Berghammer, Rudolf [Editor]; Jaoua, Ali Mohamed [Editor]; Möller, Bernhard [Editor] ; 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

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 5827
Berghammer, Rudolf [Author]; Hoffmann, Thorsten [Author]; Leoniuk, Barbara [Author]

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

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9905
Behnke, Ralf [Author]; Berghammer, Rudolf [Author]; Schneider, Peter [Author]

Machine support of relational computations : the Kiel RELVIEW system

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9711
Schmidt, Gunther [Author] ; Berghammer, Rudolf [Other]

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

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 1992

Published in: Lecture notes in computer science ; 570
Berghammer, Rudolf [Author]

Mathematik für die Informatik : grundlegende Begriffe, Strukturen und Anwendungen - [5. Auflage]

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Wiesbaden: Springer Vieweg, [2024]
Berghammer, Rudolf [Author]

Mathematik für die Informatik : grundlegende Begriffe, Strukturen und ihre Anwendung - [4., erweiterte und verbesserte Auflage]

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Wiesbaden: Springer Vieweg, [2021]

Published in: Springer eBook Collection
Berghammer, Rudolf [Author]

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

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Wiesbaden: Springer Vieweg, [2019]

Published in: Springer eBooks ; Computer Science and Engineering
Berghammer, Rudolf [Author]

Mathematik für die Informatik : Grundlegende Begriffe, Strukturen und ihre Anwendung - [2. Aufl. 2017]

View online
Schließen

Access

... to E-book via DOI (Volltext)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Wiesbaden: Springer Vieweg, 2017

Published in: SpringerLink ; Bücher
Berghammer, Rudolf [Author]

Mathematik für Informatiker : Grundlegende Begriffe und Strukturen

View online
Schließen

Access

... to E-book via DOI (Volltext)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Wiesbaden: Springer Vieweg, 2014

Published in: SpringerLink ; Bücher
Berghammer, Rudolf [Author]

Ordnungen und Verbände : Grundlagen, Vorgehensweisen und Anwendungen

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Wiesbaden: Springer Vieweg, 2013

Published in: SpringerLink ; Bücher - Springer eBook Collection ; Computer Science and Engineering

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication