13 results
Type of media (2)
Availability (3)
Classification (3)
Year
Persons
Publishers
Sort by
Results per page
Filter
13 results

Your search for Hanne Riis Nielson

  1. Cover: Formal Methods - Springer
    Flemming Nielson | Hanne Riis Nielson
    Formal Methods
    An Appetizer
    07/2019
    Springer
    9783030051563 (ISBN)
    E-Book
    PDF
    Other editions
    €58.84
    Available for download
  2. Cover: Coordination Models and Languages - Springer
    Hanne Riis Nielson | Emilio Tuosto
    Coordination Models and Languages
    21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings
    06/2019
    Springer
    9783030223977 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  3. Cover: Semantics with Applications: An Appetizer - Springer
    Hanne Riis Nielson | Flemming Nielson
    Semantics with Applications: An Appetizer
    04/2007
    1st EDN1st Edition
    Springer
    9781846286926 (ISBN)
    E-Book
    PDF
    Other editions
    €36.99
    Available for download
  4. Cover: Formal Methods - Springer
    Flemming Nielson | Hanne Riis Nielson
    Formal Methods
    An Appetizer
    07/2019
    Springer
    9783030051556 (ISBN)
    Book
    Hardback
    Other editions
    €58.84
    Shipment within 7-9 days
  5. Cover: Coordination Models and Languages - Springer
    Hanne Riis Nielson | Emilio Tuosto
    Coordination Models and Languages
    21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings
    06/2019
    Springer
    9783030223960 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  6. Cover: Transactions on Computational Systems Biology VII - Springer
    Anna Ingolfsdottir | Bud Mishra | Hanne Riis Nielson
    Transactions on Computational Systems Biology VII
    11/2006
    Springer
    9783540488378 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  7. Cover: Static Analysis - Springer
    Hanne Riis Nielson | Gilberto Filé
    Static Analysis
    14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings
    08/2007
    Springer
    9783540740605 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  8. Cover: Two-Level Functional Languages - Cambridge University Press
    Flemming Nielson | Hanne Riis Nielson
    Two-Level Functional Languages
    08/2005
    Cambridge University Press
    9780521018470 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €70.10
    Shipment within 15-20 days
  9. Cover: Type And Effect Systems: Behaviours For Concurrency - Imperial College Press
    Torben Amtoft | Hanne Riis Nielson | Flemming Nielson
    Type And Effect Systems: Behaviours For Concurrency
    03/1999
    Imperial College Press
    9781860941542 (ISBN)
    Book
    Hardback
    Other editions
    €88.50
    Article not available at the moment
  10. Cover: Semantics with Applications: An Appetizer - Springer
    Hanne Riis Nielson | Flemming Nielson
    Semantics with Applications: An Appetizer
    04/2007
    Springer
    9781846286919 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €37.40
    Shipment within 15-20 days
  11. Cover: Two-Level Functional Languages - Cambridge University Press
    Flemming Nielson | Hanne Riis Nielson
    Two-Level Functional Languages
    07/1992
    Cambridge University Press
    9780521403849 (ISBN)
    Book
    Hardback
    Other editions
    €156.10
    Shipment within 15-20 days
  12. This image is currently not available.
    Hanne Riis Nielson | Gilberto Fil
    Static Analysis
    09/2008
    Springer
    9783540841944 (ISBN)
    Book
    Paperback/Softback
    €22.99
    Not available
  13. This image is currently not available.
    Hanne Riis Nielson | Flemming Nielson
    Semantics with Applications
    A Formal Introduction
    12/1991
    Wiley
    9780471929802 (ISBN)
    Book
    Hardback
    €37.08
    Exhausted; no reprint