Treffer 1 – 8 von 8 für Suche 'Johnsen, Einar Broch', Suchdauer: 0,06s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Fundamental approaches to software engineering 25th international conference, FASE 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, proceedings

    Fundamental approaches to software engineering 25th international conference, FASE 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

    Veröffentlicht 2022
    Weitere Verfasser: “… Johnsen, Einar Broch …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  2. 2
    Tests and Proofs 11th International Conference, TAP 2017, held as part of STAF 2017, Marburg, Germany, July 19–20, 2017 : proceedings

    Tests and Proofs 11th International Conference, TAP 2017, held as part of STAF 2017, Marburg, Germany, July 19–20, 2017 : proceedings

    Veröffentlicht 2017
    Weitere Verfasser:

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  3. 3
    Software engineering and formal methods 16th International Conference, SEFM 2018 : held as part of STAF 2018, Toulouse, France, June 27–29, 2018 : proceedings

    Software engineering and formal methods 16th International Conference, SEFM 2018 : held as part of STAF 2018, Toulouse, France, June 27–29, 2018 : proceedings

    Veröffentlicht 2018
    Weitere Verfasser: “… Johnsen, Einar Broch …”

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  4. 4
    The logic of software a tasting menu of formal methods : essays dedicated to Reiner Hähnle on the occasion of his 60th birthday

    The logic of software a tasting menu of formal methods : essays dedicated to Reiner Hähnle on the occasion of his 60th birthday

    Veröffentlicht 2022
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  5. 5
    Active object languages: current research trends

    Active object languages: current research trends

    Veröffentlicht 2024
    Weitere Verfasser:

    Volltext öffnen Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  6. 6
    Fundamental approaches to software engineering 25th international conference, FASE 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings

    Fundamental approaches to software engineering 25th international conference, FASE 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 20...

    Veröffentlicht 2022
    Weitere Verfasser: “… Johnsen, Einar Broch …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Software engineering and formal methods 16th international conference, SEFM 2018, held as part of STAF 201, Toulouse, France, June 27-29, 2018 : proceedings

    Software engineering and formal methods 16th international conference, SEFM 2018, held as part of STAF 201, Toulouse, France, June 27-29, 2018 : proceedings

    Veröffentlicht 2018
    Weitere Verfasser: “… Johnsen, Einar Broch …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Service-oriented and cloud computing 6th IFIP WG 2.14 European conference, ESOCC 2017 : Oslo, Norway, September 27-29, 2017 : proceedings

    Service-oriented and cloud computing 6th IFIP WG 2.14 European conference, ESOCC 2017 : Oslo, Norway, September 27-29, 2017 : proceedings

    Veröffentlicht 2017
    Weitere Verfasser:
    Inhaltsverzeichnis
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: