Zum Inhalt springen

  4. Durchholz, Reiner [HerausgeberIn]; Ehrich, Hans-Dieter [HerausgeberIn] ; Workshop on Information and Data Structure Description in Standardization 1982 Walberberg

    Information and data structure description in standardization : Workshop in Walberberg, Sep. 29 - Oct. 1, 1982

    Bücher
    Schließen

    Merkliste

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

    München [u.a.]: Oldenbourg, 1983

    Erschienen in: Gesellschaft für Mathematik und Datenverarbeitung: Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; 139

  5. Loeckx, Jacques [VerfasserIn]; Ehrich, Hans-Dieter [VerfasserIn]; Wolf, Markus [VerfasserIn]

    Specification of abstract data types

    Bücher
    Schließen

    Merkliste

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

    Stuttgart: Teubner, 1996 ; Chichester [u.a.]: Wiley Teubner, 1996

    Erschienen in: Wiley-Teubner computing

  7. Ryan, Mark D. [HerausgeberIn]; Meyer, John-Jules Ch [Sonstige Person, Familie und Körperschaft]; Ehrich, Hans-Dieter [Sonstige Person, Familie und Körperschaft]

    Objects, agents, and features : international seminar, Dagstuhl Castle, Germany, February 16 - 21, 2003 ; revised and invited 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 ; 2975

  8. Pavlović, Olivera [VerfasserIn] ; Ehrich, Hans-Dieter [AkademischeR BetreuerIn]

    Formale Verifikation von Software für speicherprogrammierbare Steuerungen mittels Model Checking

    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.

    Braunschweig: Technische Universität Braunschweig, 2009

  12. Ehrich, Hans-Dieter [HerausgeberIn] ; Gesellschaft für Informatik

    40 Jahre Informatik an der Technischen Universität Braunschweig : 1972 - 2012 ; zum Workshop auf der GI-Jahrestagung 2012 in Braunschweig : [Festveranstaltung ... am 21.09.2012]

    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.

    Bonn: Ges. für Informatik, 2012

    Erschienen in: GI-Edition ; Thematics ; 6

  14. Kowsari, Mojgan [VerfasserIn] ; Ehrich, Hans-Dieter [MitwirkendeR]

    On the Development and Use of a Formal Object Oriented Methodology Based on an Application Case Study

    Hochschulschriften
    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.

    TU Braunschweig: LeoPARD - Publications And Research Data, 2003-01-21

  15. Ehrich, Hans-Dieter [Sonstige Person, Familie und Körperschaft] ; International Conference on Quality Software 4 2004 Braunschweig, Institut für Informationssysteme Braunschweig, University of Hong Kong Software Engineering Group

    Proceedings / Fourth International Conference on Quality Software, 2004, QSIC 2004 : 8 - 9 Sept. 2004, [Braunschweig, Germany]

    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.

    Los Alamitos, Calif. [u.a.]: IEEE Computer Society, 2004

  17. Pinger, Ralf [VerfasserIn] ; Ehrich, Hans-Dieter [MitwirkendeR]

    Kompositionale Verifikation nebenläufiger Softwaremodelle durch Model Checking ; Compositional Verification of Concurrent Softwaremodels with Model Checking

    Hochschulschriften
    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.

    TU Braunschweig: LeoPARD - Publications And Research Data, 2002-02-14

  19. Goltz, Ursula [HerausgeberIn]; Ehrich, Hans-Dieter [HerausgeberIn] ; Gesellschaft für Informatik, Deutsche Gesellschaft für Medizinische Dokumentation, Informatik und Statistik

    Informatik 2012 : Was bewegt uns in der/die Zukunft? 42. Jahrestagung der Gesellschaft für Informatik e.V. (GI); 16.-21.09.2012 in Braunschweig]

    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.

    Bonn: Ges. für Informatik, 2012 ; Online-Ausg.

    Erschienen in: Gesellschaft für Informatik: GI-Edition / Proceedings ; 208 - Informatik ... ; 42

  20. Ryan, Mark [VerfasserIn] ; Ehrich, Hans-Dieter [Sonstige Person, Familie und Körperschaft]; Meyer, John-Jules Ch [Sonstige Person, Familie und Körperschaft]

    Objects, Agents, and Features : International Seminar, Dagstuhl Castle, Germany, February 16-21, 2003, Revised and Invited Papers

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

    Erschienen in: Lecture notes in computer science ; 2975