Treffer 1 – 4 von 4 für Suche 'Pavlović, Dus̆ko', 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
    Programs as Diagrams From Categorical Computability to Computable Categories

    Programs as Diagrams From Categorical Computability to Computable Categories von Pavlovic, Dusko

    Veröffentlicht 2023

    Volltext öffnen Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Predicates and fibrations from type theoretical to category theoretical presentation of constructive logic ; (met een samenvatting in het Nederlands)

    Predicates and fibrations from type theoretical to category theoretical presentation of constructive logic ; (met een samenvatting in het Nederlands) von Pavlović, Dus̆ko

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Predicates and fibrations From type theoretical to category theoretical presentation of constructive logic

    Predicates and fibrations From type theoretical to category theoretical presentation of constructive logic von Pavlović, Dus̆ko

    Veröffentlicht 1990
    Abschlussarbeit Buch Fernleihe Bestellen


    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: