Hoppa till sidans huvudinnehåll

Hanne Riis Nielson - Böcker

Visar alla böcker från författaren Hanne Riis Nielson.
8 produkter
Del 34 - Cambridge Tracts in Theoretical Computer Science

Two-Level Functional Languages

Av Flemming Nielson, Hanne Riis Nielson m. fl

Häftad, Engelska, 2005

889 kr

Skickas inom 10-15 vardagar
Del 34 - Cambridge Tracts in Theoretical Computer Science

Two-Level Functional Languages

Av Flemming Nielson, Hanne Riis Nielson m. fl

Inbunden, Engelska, 1992

2 149 kr

Skickas inom 10-15 vardagar

Semantics with Applications: An Appetizer

Av Hanne Riis Nielson, Flemming Nielson

Häftad, Engelska, 2007

509 kr

Skickas inom 10-15 vardagar

Type And Effect Systems: Behaviours For Concurrency

Av Torben Amtoft, Hanne Riis Nielson m. fl

Inbunden, Engelska, 1999

1 969 kr

Tillfälligt slut

Formal Methods

An Appetizer

Av Flemming Nielson, Hanne Riis Nielson

Inbunden, Engelska, 2019

729 kr

Skickas inom 10-15 vardagar

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

Av Hanne Riis Nielson, Emilio Tuosto

Häftad, Engelska, 2019

729 kr

Skickas inom 10-15 vardagar

Transactions on Computational Systems Biology VII

Av Anna Ingolfsdottir, Bud Mishra m. fl

Häftad, Engelska, 2006

709 kr

Skickas inom 10-15 vardagar

Static Analysis

14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings

Av Hanne Riis Nielson, Gilberto Filé

Häftad, Engelska, 2007

729 kr

Skickas inom 10-15 vardagar