Showing 1 - 6 results of 6 for search 'ATVA Online', query time: 0.03s 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
    Automated technology for verification and analysis 19th international symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, proceedings

    Automated technology for verification and analysis 19th international symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, proceedings

    Published 2021
    “…ATVA Online…”
    Get full text
    Electronic Conference Proceeding eBook


    Saved in:
  2. 2
    Automated technology for verification and analysis 18th international symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020 : proceedings

    Automated technology for verification and analysis 18th international symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020 : proceedings

    Published 2020
    “…ATVA Online…”
    Get full text
    Electronic Conference Proceeding eBook


    Saved in:
  3. 3
    Automated technology for verification and analysis 20th international symposium, ATVA 2022, virtual event, October 25–28, 2022, proceedings

    Automated technology for verification and analysis 20th international symposium, ATVA 2022, virtual event, October 25–28, 2022, proceedings

    Published 2022
    “…ATVA Online…”

    Get full text Get full text
    Electronic Conference Proceeding eBook


    Saved in:
  4. 4
    Automated technology for verification and analysis 19th international symposium, ATVA 2021 Gold Coast, QLD, Australia, October 18–22, 2021 : proceedings

    Automated technology for verification and analysis 19th international symposium, ATVA 2021 Gold Coast, QLD, Australia, October 18–22, 2021 : proceedings

    Published 2021
    “…ATVA Online…”
    Conference Proceeding Book Interlibrary loan Place Request


    Saved in:
  5. 5
    Automated technology for verification and analysis 20th international symposium, ATVA 2022 virtual event, October 25-28-, 2022 : proceedings

    Automated technology for verification and analysis 20th international symposium, ATVA 2022 virtual event, October 25-28-, 2022 : proceedings

    Published 2022
    “…ATVA Online…”
    Conference Proceeding Book Interlibrary loan Place Request


    Saved in:
  6. 6
    Automated technology for verification and analysis 18th international symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020 : proceedings

    Automated technology for verification and analysis 18th international symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020 : proceedings

    Published 2020
    “…ATVA Online…”
    Conference Proceeding Book Interlibrary loan Place Request


    Saved in:

Search Tools: