Showing 1 - 8 results of 8 for search 'Méry, Dominique', query time: 0.02s 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
    Rigorous state-based methods 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021 : proceedings

    Rigorous state-based methods 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021 : proceedings

    Published 2021
    Other Authors:
    Get full text
    Electronic Conference Proceeding eBook


    Saved in:
  2. 2
    Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems Communications of NII Shonan Meetings

    Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems Communications of NII Shonan Meetings

    Published 2021
    Other Authors:
    Get full text
    Electronic eBook


    Saved in:
  3. 3
    Rigorous state-based methods 7th international conference, ABZ 2020, Ulm, Germany, May 27–29, 2020 : proceedings

    Rigorous state-based methods 7th international conference, ABZ 2020, Ulm, Germany, May 27–29, 2020 : proceedings

    Published 2020
    Other Authors:
    Get full text
    Electronic Conference Proceeding eBook


    Saved in:
  4. 4
    Formal methods and software engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, proceedings

    Formal methods and software engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, proceedings

    Published 2024
    Other Authors:

    Get full text Get full text
    Electronic Conference Proceeding eBook


    Saved in:
  5. 5
    Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings

    Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings

    Published 2023
    Other Authors:

    Get full text Get full text
    Electronic eBook


    Saved in:
  6. 6
    Model and data engineering 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018 : proceedings

    Model and data engineering 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018 : proceedings

    Published 2018
    Other Authors:
    Get full text
    Electronic Conference Proceeding eBook


    Saved in:
  7. 7
    New trends in model and data engineering MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24-26, 2018 : proceedings

    New trends in model and data engineering MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24-26, 2018 : proceedings

    Published 2018
    Other Authors:

    Get full text Get full text
    Electronic Conference Proceeding eBook


    Saved in:
  8. 8
    Rigorous state-based methods 9th international conference, ABZ 2023, Nancy, France, May 30-June 2, 2023 : proceedings

    Rigorous state-based methods 9th international conference, ABZ 2023, Nancy, France, May 30-June 2, 2023 : proceedings

    Published 2023
    Other Authors:
    Conference Proceeding Book Interlibrary loan Place Request


    Saved in:

Search Tools: