Showing 1 - 8 results of 8 for search 'Johnsen, Einar Broch', query time: 0.04s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  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...

    Published 2022
    Other Authors: “…Johnsen, Einar Broch…”
    Get full text
    Electronic Conference Proceeding eBook


    Saved 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

    Published 2017
    Other Authors:

    Get full text Get full text
    Electronic Conference Proceeding eBook


    Saved 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

    Published 2018
    Other Authors: “…Johnsen, Einar Broch…”

    Get full text Get full text
    Electronic Conference Proceeding eBook


    Saved 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

    Published 2022
    Other Authors:
    Get full text
    Electronic eBook


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

    Active object languages: current research trends

    Published 2024
    Other Authors:

    Get full text Get full text
    Electronic eBook


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

    Published 2022
    Other Authors: “…Johnsen, Einar Broch…”
    Conference Proceeding Book Interlibrary loan Place Request


    Saved 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

    Published 2018
    Other Authors: “…Johnsen, Einar Broch…”
    Conference Proceeding Book Interlibrary loan Place Request


    Saved 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

    Published 2017
    Other Authors:
    Indexes
    Conference Proceeding Book Interlibrary loan Place Request


    Saved in:

Search Tools: