Showing 1 - 5 results of 5 for search 'Barbosa, Luis Soares', query time: 0.04s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  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

    Published 2025
    Other Authors:

    Get full text Get full text
    Electronic eBook


    Saved 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

    Published 2020
    Other Authors: “…Barbosa, Luís Soares…”
    Get full text
    Electronic Conference Proceeding eBook


    Saved 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

    Published 2020
    Other Authors: “…Barbosa, Luís Soares…”
    Get full text
    Electronic Conference Proceeding eBook


    Saved 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

    Published 2020
    Other Authors: “…Barbosa, Luís Soares…”
    Conference Proceeding Book Interlibrary loan Place Request


    Saved 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]

    Published 2014
    Other Authors: “…Barbosa, Luís Soares…”
    Conference Proceeding Book Interlibrary loan Place Request


    Saved in:

Search Tools: