Showing 1 - 5 results of 5 for search 'Tahar, Sofiène 1966-', 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
    Eine Methode zur formalen Verifikation von RISC-Prozessoren

    Eine Methode zur formalen Verifikation von RISC-Prozessoren by Tahar, Sofiène 1966-

    Published 1995
    Indexes
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    Formalized probability theory and applications using theorem proving

    Formalized probability theory and applications using theorem proving by Hasan, Osman, Tahar, Sofiène 1966-

    Published 2015
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  3. 3
    Eine Methode zur formalen Verifikation von RISC-Prozessoren

    Eine Methode zur formalen Verifikation von RISC-Prozessoren by Tahar, Sofiène 1966-

    Published 1994
    Indexes
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    Verification and evaluation of computer and communication systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017 : proceedings

    Verification and evaluation of computer and communication systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017 : proceedings

    Published 2017
    Other Authors:

    Get full text Get full text
    Electronic Conference Proceeding eBook


    Saved in:
  5. 5
    Formal methods and software engineering 24th international conference on formal engineering methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023 : proceedings

    Formal methods and software engineering 24th international conference on formal engineering methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023 : proceedings

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


    Saved in:

Search Tools: