Treffer 1 – 4 von 4 für Suche 'Braga, Christiano', 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
    Formal aspects of component software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015 : revised selected papers

    Formal aspects of component software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015 : revised selected papers

    Veröffentlicht 2016
    Weitere Verfasser: “… Braga, Christiano …”

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


    Gespeichert in:
  2. 2
    Formal aspects of component software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015 : revised selected papers

    Formal aspects of component software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015 : revised selected papers

    Veröffentlicht 2016
    Weitere Verfasser: “… Braga, Christiano …”

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Formal aspects of component software 12th international conference, FACS 2015, Niterói, Brazil, October 14-16, 2015 : revised selected papers

    Formal aspects of component software 12th international conference, FACS 2015, Niterói, Brazil, October 14-16, 2015 : revised selected papers

    Veröffentlicht 2016
    Weitere Verfasser: “… Braga, Christiano …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Selected papers from the 17th Brazilian Symposium on Formal Methods (SBMF 2014)

    Selected papers from the 17th Brazilian Symposium on Formal Methods (SBMF 2014)

    Veröffentlicht 2016
    Weitere Verfasser: “… Braga, Christiano …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: