Showing 1 - 5 results of 5 for search 'Niehren, Joachim', 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
    Functional computation as concurrent computation

    Functional computation as concurrent computation by Niehren, Joachim

    Published 1995
    Indexes
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    Functional computation as concurrent computation

    Functional computation as concurrent computation by Niehren, Joachim

    Published 1995
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    Equational and membership constraints for infinite trees

    Equational and membership constraints for infinite trees by Niehren, Joachim, Podelski, Andreas, Treinen, Ralf

    Published 1993
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    Computational methods in systems biology 21st international conference, CMSB 2023, Luxembourg City, Luxembourg, September 13–15, 2023, proceedings

    Computational methods in systems biology 21st international conference, CMSB 2023, Luxembourg City, Luxembourg, September 13–15, 2023, proceedings

    Published 2023
    Other Authors:

    Get full text Get full text
    Electronic Conference Proceeding eBook


    Saved in:
  5. 5
    Computational methods in systems biology 21th international conference, CMSB 2023, Luxembourg City, Luxembourg, September 13-15, 2023 : proceedings

    Computational methods in systems biology 21th international conference, CMSB 2023, Luxembourg City, Luxembourg, September 13-15, 2023 : proceedings

    Published 2023
    Other Authors:
    Conference Proceeding Book Interlibrary loan Place Request


    Saved in:

Search Tools: