Treffer 1 – 5 von 5 für Suche 'Tahar, Sofiène 1966-', Suchdauer: 0,07s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Eine Methode zur formalen Verifikation von RISC-Prozessoren

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

    Veröffentlicht 1995
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 2015
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


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

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

    Veröffentlicht 1994
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert 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

    Veröffentlicht 2017
    Weitere Verfasser:

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert 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

    Veröffentlicht 2023
    Weitere Verfasser:
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: