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 Nielsonm. fl.

Häftad, Engelska, 2005

889 kr

Skickas inom 7-10 vardagar

Del 34 - Cambridge Tracts in Theoretical Computer Science

Two-Level Functional Languages

AvFlemming Nielson,Hanne Riis Nielson

Inbunden, Engelska, 1992

2 159 kr

Skickas inom 7-10 vardagar

Semantics with Applications: An Appetizer

AvHanne Riis Nielson,Flemming Nielson

Häftad, Engelska, 2007

509 kr

Skickas inom 10-15 vardagar

Formal Methods

An Appetizer

AvFlemming Nielson,Hanne Riis Nielson

Inbunden, Engelska, 2019

799 kr

Skickas inom 10-15 vardagar

Del 11533 - Lecture Notes in Computer Science

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

729 kr

Skickas inom 10-15 vardagar

Transactions on Computational Systems Biology VII

AvAnna Ingolfsdottir,Bud Mishram. 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

AvHanne Riis Nielson,Gilberto Filé

Häftad, Engelska, 2007

949 kr

Skickas inom 5-8 vardagar

Type And Effect Systems: Behaviours For Concurrency

AvTorben Amtoft,Hanne Riis Nielsonm. fl.

Inbunden, Engelska, 1999

1 909 kr

Tillfälligt slut