Showing 1 - 4 results of 4 for search 'Narodytska, Nina', 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
    Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024

    Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024

    Published 2024
    Other Authors: “…Narodytska, Nina…”
    Get full text
    Electronic Conference Proceeding eBook


    Saved in:
  2. 2
    Software verification and formal methods for ML-enabled autonomous systems 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022 : proceedings

    Software verification and formal methods for ML-enabled autonomous systems 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 3...

    Published 2022
    Other Authors:

    Get full text Get full text
    Electronic Conference Proceeding eBook


    Saved in:
  3. 3
    AI Verification First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22–23, 2024, Proceedings

    AI Verification First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22–23, 2024, Proceedings

    Published 2024
    Other Authors:

    Get full text Get full text
    Electronic eBook


    Saved in:
  4. 4
    Software verification and formal methods for ML-enabled autonomous systems 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings

    Software verification and formal methods for ML-enabled autonomous systems 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 3...

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


    Saved in:

Search Tools: