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

AvFlemming Nielson,Hanne Riis Nielson m. fl.

Häftad, Engelska, 2005

859 kr

Skickas inom 10-15 vardagar

Del 34 - Cambridge Tracts in Theoretical Computer Science

Two-Level Functional Languages

AvFlemming Nielson,Hanne Riis Nielson m. fl.

Inbunden, Engelska, 1992

2 079 kr

Skickas inom 10-15 vardagar

Semantics with Applications: An Appetizer

AvHanne Riis Nielson,Flemming Nielson

Häftad, Engelska, 2007

499 kr

Skickas inom 10-15 vardagar

Type And Effect Systems: Behaviours For Concurrency

AvTorben Amtoft,Hanne Riis Nielson m. fl.

Inbunden, Engelska, 1999

1 909 kr

Tillfälligt slut

Formal Methods

An Appetizer

AvFlemming Nielson,Hanne Riis Nielson

Inbunden, Engelska, 2019

719 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

AvHanne Riis Nielson,Emilio Tuosto

Häftad, Engelska, 2019

709 kr

Skickas inom 10-15 vardagar

Transactions on Computational Systems Biology VII

AvAnna Ingolfsdottir,Bud Mishra m. fl.

Häftad, Engelska, 2006

689 kr

Skickas inom 10-15 vardagar

Static Analysis

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

AvHanne Riis Nielson,Gilberto Filé

Häftad, Engelska, 2007

709 kr

Skickas inom 10-15 vardagar