کتاب‌های Hanne Riis Nielson - BookPine

Two-Level Functional Languages

Two-Level Functional Languages

Flemming Nielson

Formal Methods: An Appetizer

Formal Methods: An Appetizer

Flemming Nielson

Coordination Models and Languages: 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated ... Kongens Lyngby, Denmark, June 17-21, 2019, Pr

Coordination Models and Languages: 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated ... Kongens Lyngby, Denmark, June 17-21, 2019, Pr

Hanne Riis Nielson

Coordination Models and Languages

Coordination Models and Languages

Hanne Riis Nielson

Coordination Models and Languages: 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference ... Notes in Computer Science Book 11533)

Coordination Models and Languages: 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference ... Notes in Computer Science Book 11533)

Hanne Riis Nielson

Semantics With Applications : An Appetizer

Semantics With Applications : An Appetizer

Nielson Hanne Riis Et.Al

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

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

Hanne Riis Nielson

Semantics with Applications: An Appetizer

Semantics with Applications: An Appetizer

Hanne Riis Nielson

TYPE AND EFFECT SYSTEMS: BEHAVIOURS FOR CONCURRENCY

TYPE AND EFFECT SYSTEMS: BEHAVIOURS FOR CONCURRENCY

Torben Amtoft

Programming Languages and Systems - ESOP '96: 6th European Symposium on Programming, Linköping, Sweden, April, 22 - 24, 1996. Proceedings

Programming Languages and Systems - ESOP '96: 6th European Symposium on Programming, Linköping, Sweden, April, 22 - 24, 1996. Proceedings

Hanne Riis Nielson

Semantics With Applications: A Formal Introduction

Semantics With Applications: A Formal Introduction

Hanne Riis Nielson