Zum Inhalt springen

  1. Steffen, Bernhard [HerausgeberIn] ; ETAPS 1 1998 Lissabon

    Tools and algorithms for the construction and analysis of systems : 4th International Conference, TACAS '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998; 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, 1998

    Erschienen in: Lecture notes in computer science ; 1384

  2. Steffen, Bernhard [Sonstige Person, Familie und Körperschaft]

    Gemeinsamer Bericht über die Forschungsvorhaben Vollständige interprozedurale Programmoptimierung und Interprozedurale Datenflußanalysegeneratoren

    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, 1994

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

  3. Steffen, Günter [VerfasserIn] ; Lohmann, Bernhard [Sonstige Person, Familie und Körperschaft]

    Die Wirtschaftlichkeit verschiedener Betriebszweige auf unterschiedlichen Standorten Nordrhein-Westfalens

    Bücher
    Schließen

    Merkliste

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

    Bonn: Institut für landwirtschaftliche Betriebslehre d. Rhein.-Westf. Friedr.-Wilh.-Univ, 1968

    Erschienen in: Nordrhein-Westfalen: Forschung und Beratung / B ; 15

  4. Margaria, Tiziana [Sonstige Person, Familie und Körperschaft]; Steffen, Bernhard [Sonstige Person, Familie und Körperschaft]; Margaria-Steffen, Tiziana [HerausgeberIn] ; ISoLA 1 2004 Paphos

    Leveraging applications of formal methods : first international symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004 ; 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, 2006

    Erschienen in: Lecture notes in computer science ; 4313

  5. Steffen, Bernhard [HerausgeberIn]; Lolling, Habbo G. [Sonstige Person, Familie und Körperschaft]

    Karten von Mykenai

    Bücher
    Schließen

    Merkliste

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

    Berlin: Reimer, 18XX-

  6. Uhlig, Max [KünstlerIn]; Fischer, Sören [VerfasserIn]; Maaz, Bernhard [VerfasserIn] ; Egle, Steffen [VerfasserIn eines Geleitwortes]; Bachem, Bettina [VerfasserIn eines Geleitwortes] Museum Pfalzgalerie Kaiserslautern

    Max Uhlig - die erzeichnete Welt : eine Publikation zu Ehren des 85. Künstlergeburtstags im Jahr 2022

    Bücher
    Schließen

    Merkliste

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

    Kaiserslautern: mpk Museum Pfalzgalerie, [2022?]

    Erschienen in: Museum Pfalzgalerie Kaiserslautern: Bestandskataloge der Graphischen Sammlung / MPK, Museum Pfalzgalerie Kaiserslautern ; 17