Showing 1 - 5 results of 5 for search 'Gianola, Alessandro', query time: 0.03s 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
    Verification of Data-Aware Processes via Satisfiability Modulo Theories

    Verification of Data-Aware Processes via Satisfiability Modulo Theories by Gianola, Alessandro

    Published 2023

    Get full text Get full text
    Electronic eBook


    Saved in:
  2. 2
    Verification of data-aware processes via satisfiability modulo theories

    Verification of data-aware processes via satisfiability modulo theories by Gianola, Alessandro 1993-

    Published 2023
    Indexes
    Thesis Book Interlibrary loan Place Request


    Saved in:
  3. 3
    Verification of Data-Aware Processes Via Satisfiability Modulo Theories

    Verification of Data-Aware Processes Via Satisfiability Modulo Theories by Gianola, Alessandro

    Published 2023
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  4. 4
    La chiesa di S. Sebastiano di Cuneo la progressiva saturazione di un isolato

    La chiesa di S. Sebastiano di Cuneo la progressiva saturazione di un isolato by Gianola, Alessandro

    Published 1995
    Article Interlibrary loan Place Request


    Saved in:
  5. 5
    La "Selva" dei Cappuccini di Caltagirone

    La "Selva" dei Cappuccini di Caltagirone by Gianola, Alessandro

    Published 2006
    Article Interlibrary loan Place Request


    Saved in:

Search Tools: