Skip to contents

  1. Halang, Wolfgang A. [Editor] ; GI/GMA/ITG-Fachausschuss Echtzeitsysteme, Fachtagung Echtzeit 2011 Boppard

    Herausforderungen durch Echtzeitbetrieb : Echtzeit 2011 ; Fachtagung des gemeinsamen Fachausschusses Echtzeitsysteme von Gesellschaft für Informatik e.V. (GI), VDI/VDE-Gesellschaft für Mess- und Automatisierungstechnik (GMA) und Informationstechnischer Gesellschaft im VDE (ITG), Boppard, 3. und 4. November 2011

    Books
    Close

    Bookmarks

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

    Berlin; Heidelberg [u.a.]: Springer, c 2012

    Published in: Informatik aktuell - GI

  5. Cezon, Michael [Other]; Wolfsthal, Yaron [Other]; Cezon, Michel [Editor] ; ServiceWave 3 2010 Gent, OCS 1 2010 Gent

    Towards a service-based internet : ServiceWave 2010 Workshops ; international workshops, OCS, EMSOA, SMART, and EDBPM 2010, Ghent, Belgium, December 13-15, 2010, revised selected papers

    Books
    Close

    Bookmarks

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

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

    Published in: Lecture notes in computer science ; 6569

  6. Unger, Herwig [Editor] ; Echtzeit Veranstaltung 2018 Boppard, Gesellschaft für Informatik, Gesellschaft für Informatik, VDI/VDE-Gesellschaft Mess- und Automatisierungstechnik, VDI/VDE-Gesellschaft Mess- und Automatisierungstechnik, Informationstechnische Gesellschaft, Informationstechnische Gesellschaft, Springer-Verlag GmbH

    Echtzeit und Sicherheit : Echtzeit 2018

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Berlin, Heidelberg: Springer Vieweg, [2018]

    Published in: Informatik aktuell- SpringerLink ; Bücher

  9. Hutchison, David [Other]; Pandu Rangan, C. [Other]; Steffen, Bernhard [Other]; Sudan, Madhu [Other]; Terzopoulos, Demetri [Other]; Tygar, Doug [Other]; Vardi, Moshe Y. [Other]; Weikum, Gerhard [Other]; Kanade, Takeo [Other]; Kittler, Josef [Other]; Kleinberg, Jon [Other]; Leucker, Martin [Other]; Mattern, Friedemann [Other]; Mitchell, John C. [Other]; Naor, Moni [Other]; Nierstrasz, Oscar [Other]

    Runtime Verification : 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2008

    Published in: Lecture notes in computer science ; 5289

  10. Barringer, Howard [Author] ; Falcone, Ylies [Other]; Finkbeiner, Bernd [Other]; Havelund, Klaus [Other]; Lee, Insup [Other]; Pace, Gordon J. [Other]; Rosu, Grigore [Other]; Sokolsky, Oleg [Other]; Tillmann, Nikolai [Other]

    Runtime Verification : First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2010

    Published in: Lecture notes in computer science ; 6418

  11. Cezon, Michel [Author] ; Wolfsthal, Yaron [Other]

    Towards a Service-Based Internet. ServiceWave 2010 Workshops : International Workshops, OCS, EMSOA, SMART, and EDBPM 2010, Ghent, Belgium, December 13-15, 2010, Revised Selected Papers

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2011

    Published in: Lecture notes in computer science ; 6569