Treffer 1 – 9 von 9 für Suche 'Diaconescu, Răzvan', Suchdauer: 0,04s 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
    Institution-independent model theory

    Institution-independent model theory von Diaconescu, Razvan

    Veröffentlicht 2008
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Institution-independent model theory

    Institution-independent model theory von Diaconescu, Răzvan

    Veröffentlicht 2008
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  3. 3
    CafeOBJ report the language, proof techniques, and methodologies for object-oriented algebraic specification

    CafeOBJ report the language, proof techniques, and methodologies for object-oriented algebraic specification von Diaconescu, Răzvan, Futatsugi, Kokichi

    Veröffentlicht 1998
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    CafeOBJ report the language, proof techniques, and methodologies for object-oriented algebraic specification

    CafeOBJ report the language, proof techniques, and methodologies for object-oriented algebraic specification von Diaconescu, Razvan

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


    Gespeichert in:
  5. 5
    Hiding and behaviour an institutional approach

    Hiding and behaviour an institutional approach von Burstall, Rod M., Diaconescu, Răzvan

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Monadic equational logic

    Monadic equational logic von Diaconescu, Răzvan

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Institution-independent model theory

    Institution-independent model theory von Diaconescu, Razvan

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


    Gespeichert in:
  8. 8
    Institution-independent model theory

    Institution-independent model theory von Diaconescu, Răzvan

    Veröffentlicht 2008
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Logic and computation

    Logic and computation

    Veröffentlicht 2023
    Weitere Verfasser: “… Diaconescu, Răzvan …”
    Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:

Suchwerkzeuge: