Showing 1 - 17 results of 17 for search 'Nielson, Flemming, 1955-', query time: 0.26s Refine Results
  1. 1
    Two-level functional languages /

    Book
  2. 2
    Principles of program analysis /

    Book
  3. 3
    Principles of program analysis /

    Book
  4. 4
    Principles of program analysis /
    by Nielson, Flemming, 1955-
    Published 2005

    Book
  5. 5
    Formal Methods : An Appetizer /

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  6. 6
    Semantics with applications : an appetizer /
    Other Authors: “...Nielson, Flemming, 1955-...”

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  7. 7
    ML with concurrency : design, analysis, implementation, and application /
    Published 1997
    Other Authors: “...Nielson, Flemming, 1955-...”

    Book
  8. 8
    Semantics with applications an appetizer /
    by Nielson, Hanne Riis, 1954-
    Published 2007
    Other Authors: “...Nielson, Flemming, 1955-...”

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Electronic Book
  9. 9
    Semantics with applications : an appetizer /
    by Nielson, Hanne Riis, 1954-
    Published 2007
    Other Authors: “...Nielson, Flemming, 1955-...”

    Book
  10. 10
    Semantics with applications : a formal introduction /
    by Nielson, Hanne Riis, 1954-
    Published 1992
    Other Authors: “...Nielson, Flemming, 1955-...”

    Book
  11. 11
    Trustworthy Global Computing : 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers /
    Published 2009
    Other Authors: “...Nielson, Flemming, 1955-...”

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  12. 12
    Trustworthy global computing : 4th international symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008 : revised selected papers /
    Published 2009
    Other Authors: “...Nielson, Flemming, 1955-...”

    Conference Proceeding Book
  13. 13
    Type and effect systems : behaviours for concurrency /
    by Amtoft, Torben
    Published 1999
    Other Authors: “...Nielson, Flemming, 1955-...”

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  14. 14
    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 /
    Published 2019
    Other Authors: “...Nielson, Flemming, 1955-...”

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Conference Proceeding Book
  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 /
    Published 2019
    Other Authors: “...Nielson, Flemming, 1955-...”

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  16. 16
    Type and effect systems : behaviours for concurrency /
    by Amtoft, Torben
    Published 1999
    Other Authors: “...Nielson, Flemming, 1955-...”

    Book
  17. 17
    Semantics, logics, and calculi : essays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays /
    Published 2016
    Other Authors: “...Nielson, Flemming, 1955-...”

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
Search Tools: Get RSS Feed — Email this Search