Treffer 1 – 5 von 5 für Suche 'Barbosa, Luís Soares', Suchdauer: 0,03s 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
    Artificial Intelligence Logic and Applications 4th International Conference, AILA 2024, Lanzhou, China, August 10–11, 2024, Proceedings

    Artificial Intelligence Logic and Applications 4th International Conference, AILA 2024, Lanzhou, China, August 10–11, 2024, Proceedings

    Veröffentlicht 2025
    Weitere Verfasser:

    Volltext öffnen Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Dynamic logic new trends and applications : second international workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019 : proceedings

    Dynamic logic new trends and applications : second international workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019 : proceedings

    Veröffentlicht 2020
    Weitere Verfasser: “… Barbosa, Luís Soares …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  3. 3
    Topics in theoretical computer science third IFIP WG 1.8 International Conference, TTCS 2020, Tehran, Iran, July 1–2, 2020, proceedings

    Topics in theoretical computer science third IFIP WG 1.8 International Conference, TTCS 2020, Tehran, Iran, July 1–2, 2020, proceedings

    Veröffentlicht 2020
    Weitere Verfasser: “… Barbosa, Luís Soares …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  4. 4
    Topics in theoretical computer science third IFIP WG 1.8 international conference, TTCS 2020 Tehran, Iran, July 1-2, 2020 : proceedings

    Topics in theoretical computer science third IFIP WG 1.8 international conference, TTCS 2020 Tehran, Iran, July 1-2, 2020 : proceedings

    Veröffentlicht 2020
    Weitere Verfasser: “… Barbosa, Luís Soares …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Selected best papers from the 7th International Workshop on Formal Aspects of Component Software (FACS 2010) held in Guimarães, Portugal on October 14-16, 2010]

    Selected best papers from the 7th International Workshop on Formal Aspects of Component Software (FACS 2010) held in Guimarães, Portugal on October 14-16, 2010]

    Veröffentlicht 2014
    Weitere Verfasser: “… Barbosa, Luís Soares …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: