Showing 1 - 5 results of 5 for search 'Pettorossi, Alberto', 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
    Automata Theory and Formal Languages Fundamental Notions, Theorems, and Techniques

    Automata Theory and Formal Languages Fundamental Notions, Theorems, and Techniques by Pettorossi, Alberto

    Published 2022

    Get full text Get full text
    Electronic eBook


    Saved in:
  2. 2
    Techniques for Searching, Parsing, and Matching

    Techniques for Searching, Parsing, and Matching by Pettorossi, Alberto

    Published 2021
    Get full text
    Electronic eBook


    Saved in:
  3. 3
    Automata theory and formal languages Fundamental notions, theorems, and techniques

    Automata theory and formal languages Fundamental notions, theorems, and techniques by Pettorossi, Alberto 1947-

    Published 2022
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    Complete modal theories for verifying communicating agents behaviour in recursive equations programs

    Complete modal theories for verifying communicating agents behaviour in recursive equations programs by Pettorossi, Alberto 1947-, Skowron, Andrzej 1943-

    Published 1983
    Book Interlibrary loan Place Request


    Saved in:
  5. 5
    Some properties of subbases in weak combinatory logic

    Some properties of subbases in weak combinatory logic by Batini, Carlo, Pettorossi, Alberto

    Published 1975
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: