Showing 1 - 3 results of 3 for search 'Jacobs, Bart 1963-', 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
    Categorical logic and type theory

    Categorical logic and type theory by Jacobs, Bart 1963-

    Published 2005
    Thesis Book Interlibrary loan Place Request


    Saved in:
  2. 2
    Foundations of software science and computation structures 19th international conference, FOSSACS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings

    Foundations of software science and computation structures 19th international conference, FOSSACS 2016, held as part of the European Joint Conferences on Theory and Practice of Sof...

    Published 2016
    Other Authors: “…Jacobs, Bart 1963-…”
    Conference Proceeding Book Interlibrary loan Place Request


    Saved in:
  3. 3
    Foundations of software science and computation structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings

    Foundations of software science and computation structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

    Published 2016
    Other Authors: “…Jacobs, Bart 1963-…”

    Get full text Get full text
    Electronic Conference Proceeding eBook Interlibrary loan Place Request


    Saved in:

Search Tools: