Showing 1 - 16 results of 16 for search 'Nielson, Flemming', query time: 0.05s 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
    Formal methods an appetizer

    Formal methods an appetizer by Nielson, Flemming 1955-, Nielson, Hanne Riis 1954-

    Published 2019
    Get full text
    Electronic eBook


    Saved in:
  2. 2
    Semantics with applications: an appetizer

    Semantics with applications: an appetizer by Nielson, Hanne Riis 1954-, Nielson, Flemming

    Published 2007
    Indexes
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    Semantics with applications a formal introduction

    Semantics with applications a formal introduction by Nielson, Hanne Riis 1954-, Nielson, Flemming

    Published 1993
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    Semantics with applications a formal introduction

    Semantics with applications a formal introduction by Nielson, Hanne Riis 1954-, Nielson, Flemming

    Published 1992
    Book Interlibrary loan Place Request


    Saved in:
  5. 5
    Semantics with applications

    Semantics with applications by Riis Nielson, Hanne, Nielson, Flemming

    Published 1992
    Book Interlibrary loan Place Request


    Saved in:
  6. 6
    Formal methods an appetizer

    Formal methods an appetizer by Nielson, Flemming 1955-, Nielson, Hanne Riis 1954-

    Published 2019
    Book Interlibrary loan Place Request


    Saved in:
  7. 7
    Semantics with applications: an appetizer

    Semantics with applications: an appetizer by Nielson, Hanne Riis 1954-, Nielson, Flemming

    Published 2007
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  8. 8
    Principles of program analysis

    Principles of program analysis by Nielson, Flemming 1955-, Nielson, Hanne Riis 1954-, Hankin, Chris

    Published 2005
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  9. 9
    Two-level functional languages

    Two-level functional languages by Nielson, Flemming 1955-

    Published 1992
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  10. 10
    Principles of program analysis

    Principles of program analysis by Nielson, Flemming, Nielson, Hanne Riis 1954-, Hankin, Chris

    Published 2010
    Description
    Book Interlibrary loan Place Request


    Saved in:
  11. 11
    Principles of program analysis

    Principles of program analysis by Nielson, Flemming, Nielson, Hanne Riis 1954-, Hankin, Chris

    Published 2005
    Indexes
    Book Interlibrary loan Place Request


    Saved in:
  12. 12
    Principles of program analysis

    Principles of program analysis by Nielson, Flemming, Nielson, Hanne Riis 1954-, Hankin, Chris

    Published 1999
    Indexes
    Book Interlibrary loan Place Request


    Saved in:
  13. 13
    Semantics with applications a formal introduction

    Semantics with applications a formal introduction by Nielson, Hanne Riis 1954-, Nielson, Flemming

    Published 1995
    Book Interlibrary loan Place Request


    Saved in:
  14. 14
    Two-level functional languages

    Two-level functional languages by Nielson, Flemming, Nielson, Hanne Riis 1954-

    Published 1992
    Book Interlibrary loan Place Request


    Saved in:
  15. 15
    Principles of security and trust 8th international conference, POST 2019 : held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019 : proceedings

    Principles of security and trust 8th international conference, POST 2019 : held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Cz...

    Published 2019
    Other Authors: “…Nielson, Flemming 1955-…”

    Get full text Get full text
    Electronic Conference Proceeding eBook


    Saved in:
  16. 16
    Principles of security and trust 8th international conference, POST 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prag, Czech Republic, April 6-11, 2019 : proceedings

    Principles of security and trust 8th international conference, POST 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prag, Czech...

    Published 2019
    Other Authors: “…Nielson, Flemming 1955-…”
    Conference Proceeding Book Interlibrary loan Place Request


    Saved in:

Search Tools: