It looks like you're offline.

Last edited by raybb

June 20, 2025 | History

Edit

Hanne Riis Nielson

We need a photo of Hanne Riis Nielson

Born

1954

9 works Add another?

Most Editions

Most Editions First Published Most Recent Top Rated Reading Log Trending Random

Details Grid — Show only ebooks?

Preview

Preview Book
×Close

Principles of program analysis

by Flemming Nielson, Hanne Riis Nielson, and Chris Hankin First published in 1999
4 editions, 1 ebook

Preview Only

My Reading Lists:

Create a new list

Create a new list
×Close

Name:

Description:

Cancel
Two-Level Functional Languages (Cambridge Tracts in Theoretical Computer Science)

by Flemming Nielson and Hanne Riis Nielson First published in 2005
3 editions

Locate

My Reading Lists:

Create a new list
Type and Effect Systems: Behaviours for Concurrency

by Torben Amtoft, Flemming Nielson, and Hanne Riis Nielson First published in 1999
2 editions

Locate

My Reading Lists:

Create a new list
Preview

Semantics with Applications: An Appetizer (Undergraduate Topics in Computer Science)

by Hanne Riis Nielson and Flemming Nielson First published in 2007
2 editions, 1 ebook

Locate

My Reading Lists:

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

by Hanne Riis Nielson and Gilberto Filé First published in 2007
1 edition

Locate

My Reading Lists:

Create a new list
Programming Languages and Systems - Esop '96: 6th European Symposium on Programming Linkoping, Sweden, April 22-24, 1996 : Proceedings (Lecture Notes in Computer Science , Vol 1058)

by Hanne Riis Nielson First published in 1996
1 edition

Locate

My Reading Lists:

Create a new list
Preview

Semantics with applications: a formal introduction

by Hanne Riis Nielson First published in 1992
1 edition, 1 ebook
Borrow

Listen

Locate
My Reading Lists:

Create a new list
Formal Methods: An Appetizer

by Flemming Nielson and Hanne Riis Nielson First published in 2019
1 edition

Locate

My Reading Lists:

Create a new list
Coordination Models and Languages: 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated ...

by Hanne Riis Nielson and Emilio Tuosto First published in 2019
1 edition

Locate

My Reading Lists:

Create a new list

We need a photo of Hanne Riis Nielson

Born

1954

Add to List

My Reading Lists:

Create a new list

ID Numbers

OLID: OL772088A
Wikidata: Q25927874
Inventaire.io: wd:Q25927874

Links outside Open Library

No links yet. Add one?

Alternative names

Hanne R. Nielson

Download catalog record: RDF / JSON