Treffer 1 – 11 von 11 für Suche 'Ribeiro, Leila', 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
    Algebraic high-level nets and transformations with initial marings

    Algebraic high-level nets and transformations with initial marings von Ribeiro, Leila, Padberg, Julia

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Algebraic high-level net transformation systems

    Algebraic high-level net transformation systems von Padberg, Julia, Ehrig, Hartmut 1944-2016, Ribeiro, Leila

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Formal development of concurrent systems using algebraic high-level nets and transformations

    Formal development of concurrent systems using algebraic high-level nets and transformations von Ribeiro, Leila, Ehrig, Hartmut 1944-2016, Padberg, Julia

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Extension of PROSOFT in order to integrate correct software tools obtained from algebraic specification

    Extension of PROSOFT in order to integrate correct software tools obtained from algebraic specification von Ribeiro, Leila

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Parallel composition and unfolding semantics of graph grammars

    Parallel composition and unfolding semantics of graph grammars von Ribeiro, Leila

    Veröffentlicht 1996
    Inhaltsverzeichnis
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    A telephone's system specification using graph grammars

    A telephone's system specification using graph grammars von Ribeiro, Leila

    Veröffentlicht 1996
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Extension of PROSOFT in order to integrate correct software tools obtained from algebraic specifications

    Extension of PROSOFT in order to integrate correct software tools obtained from algebraic specifications von Ribeiro, Leila

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Algebraic high level nets Petri nets revisited

    Algebraic high level nets Petri nets revisited von Ehrig, Hartmut 1944-2016, Padberg, Julia, Ribeiro, Leila

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Formal Methods Teaching 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings

    Formal Methods Teaching 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings

    Veröffentlicht 2024
    Weitere Verfasser:

    Volltext öffnen Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  10. 10
    Formal methods: foundations and applications 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016 : proceedings

    Formal methods: foundations and applications 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016 : proceedings

    Veröffentlicht 2016
    Weitere Verfasser: “… Ribeiro, Leila …”

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Formal methods: foundations and applications 19th Brazilian symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016 : proceedings

    Formal methods: foundations and applications 19th Brazilian symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016 : proceedings

    Veröffentlicht 2016
    Weitere Verfasser: “… Ribeiro, Leila …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: