Treffer 1 – 5 von 5 für Suche 'Desharnais, Jules', Suchdauer: 0,05s 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
    Non-associative Kleene algebra and temporal logics

    Non-associative Kleene algebra and temporal logics von Möller, Bernhard, Desharnais, Jules

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


    Gespeichert in:
  2. 2
    Computer program construction

    Computer program construction von Mili, Ali, Desharnais, Jules, Mili, Fatma

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Relational and algebraic methods in computer science 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018 : proceedings

    Relational and algebraic methods in computer science 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018 : proceedings

    Veröffentlicht 2018
    Weitere Verfasser: “… Desharnais, Jules …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  4. 4
    Relational and algebraic methods in computer science 17th international conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018 : proceedings

    Relational and algebraic methods in computer science 17th international conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018 : proceedings

    Veröffentlicht 2018
    Weitere Verfasser: “… Desharnais, Jules …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Special section on mathematics of program construction (MPC 2010)

    Special section on mathematics of program construction (MPC 2010)

    Veröffentlicht 2013
    Weitere Verfasser: “… Desharnais, Jules …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: