Hanne Riis Nielson – författare

Visar alla böcker från författaren Hanne Riis Nielson.

8 produkter

Kategorier

8 produkter

Del 34
Del 34 - Cambridge Tracts in Theoretical Computer Science
Two-Level Functional Languages
AvFlemming Nielson,Hanne Riis Nielsonm. fl.
Häftad, Engelska, 2005
1 149 kr
Skickas inom 5-8 vardagar
Del 34
Del 34 - Cambridge Tracts in Theoretical Computer Science
Two-Level Functional Languages
AvFlemming Nielson,Hanne Riis Nielson
Inbunden, Engelska, 1992
2 809 kr
Skickas inom 5-8 vardagar
Semantics with Applications: An Appetizer
AvHanne Riis Nielson,Flemming Nielson
Häftad, Engelska, 2007
519 kr
Skickas inom 10-15 vardagar
Formal Methods
An Appetizer
AvFlemming Nielson,Hanne Riis Nielson
Inbunden, Engelska, 2019
819 kr
Skickas inom 10-15 vardagar
Del 11533
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
749 kr
Skickas inom 10-15 vardagar
Transactions on Computational Systems Biology VII
AvAnna Ingolfsdottir,Bud Mishram. fl.
Häftad, Engelska, 2006
729 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
749 kr
Skickas inom 10-15 vardagar
TYPE AND EFFECT SYSTEMS: BEHAVIOURS FOR CONCURRENCY
AvTorben Amtoft,Flemming Nielsonm. fl.
Inbunden, Engelska, 1999
2 019 kr
Tillfälligt slut

Hanne Riis Nielson – författare

Visar alla böcker från författaren Hanne Riis Nielson.

8 produkter

Kategorier

8 produkter

Del 34
Del 34 - Cambridge Tracts in Theoretical Computer Science
Two-Level Functional Languages
AvFlemming Nielson,Hanne Riis Nielsonm. fl.
Häftad, Engelska, 2005
1 149 kr
Skickas inom 5-8 vardagar
Del 34
Del 34 - Cambridge Tracts in Theoretical Computer Science
Two-Level Functional Languages
AvFlemming Nielson,Hanne Riis Nielson
Inbunden, Engelska, 1992
2 809 kr
Skickas inom 5-8 vardagar
Semantics with Applications: An Appetizer
AvHanne Riis Nielson,Flemming Nielson
Häftad, Engelska, 2007
519 kr
Skickas inom 10-15 vardagar
Formal Methods
An Appetizer
AvFlemming Nielson,Hanne Riis Nielson
Inbunden, Engelska, 2019
819 kr
Skickas inom 10-15 vardagar
Del 11533
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
749 kr
Skickas inom 10-15 vardagar
Transactions on Computational Systems Biology VII
AvAnna Ingolfsdottir,Bud Mishram. fl.
Häftad, Engelska, 2006
729 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
749 kr
Skickas inom 10-15 vardagar
TYPE AND EFFECT SYSTEMS: BEHAVIOURS FOR CONCURRENCY
AvTorben Amtoft,Flemming Nielsonm. fl.
Inbunden, Engelska, 1999
2 019 kr
Tillfälligt slut

Hanne Riis Nielson – författare

Two-Level Functional Languages

Two-Level Functional Languages

Semantics with Applications: An Appetizer

Formal Methods

Coordination Models and Languages

Transactions on Computational Systems Biology VII

Static Analysis

TYPE AND EFFECT SYSTEMS: BEHAVIOURS FOR CONCURRENCY

Hanne Riis Nielson – författare

Two-Level Functional Languages

Two-Level Functional Languages

Semantics with Applications: An Appetizer

Formal Methods

Coordination Models and Languages

Transactions on Computational Systems Biology VII

Static Analysis

TYPE AND EFFECT SYSTEMS: BEHAVIOURS FOR CONCURRENCY