Treffer 1 – 4 von 4 für Suche 'Meseguer, José 1950-', Suchdauer: 0,01s 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
    Algebras with actions and automata

    Algebras with actions and automata von Kühnel, Wolfgang 1950-, Meseguer, José 1950-, Pfender, M., Sols, I.

    Veröffentlicht 1975
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Primitive recursive algebraic theories and program schemes

    Primitive recursive algebraic theories and program schemes von Kühnel, Wolfgang 1950-, Meseguer, José 1950-, Pfender, M., Sols, I.

    Veröffentlicht 1975
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Protocols, strands, and logic essays dedicated to Joshua Guttman on the occasion of his 66.66th birthday

    Protocols, strands, and logic essays dedicated to Joshua Guttman on the occasion of his 66.66th birthday

    Veröffentlicht 2021
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  4. 4
    Foundations of security, protocols, and equational reasoning essays dedicated to Catherine A. Meadows

    Foundations of security, protocols, and equational reasoning essays dedicated to Catherine A. Meadows

    Veröffentlicht 2019
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:

Suchwerkzeuge: