Books by Hanne Riis Nielson

Hanne Riis Nielson
Average rating 3.61 · 33 ratings · 0 reviews · shelved 160 times

Showing 15 distinct works.

	Principles of Program Analysis by Flemming Nielson, Hanne Riis Nielson, Chris Hankin 3.63 avg rating — 35 ratings — published 1999 — 9 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Semantics with Applications: An Appetizer by Hanne Riis Nielson, Flemming Nielson (Contributor) 3.57 avg rating — 28 ratings — published 2007 — 6 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Semantics With Applications: A Formal Introduction by Hanne Riis Nielson, Flemming Nielson 3.50 avg rating — 2 ratings — published 1992 — 2 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	TYPE AND EFFECT SYSTEMS: BEHAVIOURS FOR CONCURRENCY by Torben Amtoft, Flemming Nielson, Hanne Riis Nielson really liked it 4.00 avg rating — 1 rating — published 1999	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Formal Methods: An Appetizer by Flemming Nielson, Hanne Riis Nielson really liked it 4.00 avg rating — 1 rating — 4 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Two-Level Functional Languages (Cambridge Tracts in Theoretical Computer Science, Series Number 34) by Flemming Nielson, Hanne Riis Nielson really liked it 4.00 avg rating — 1 rating — published 1992 — 6 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Static Analysis: 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings (Lecture Notes in Computer Science, 4634) by Hanne Riis Nielson (Editor), Gilberto Filè (Editor) 0.00 avg rating — 0 ratings — published 2007 — 3 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Programming Languages and Systems - ESOP '96: 6th European Symposium on Programming, Linköping, Sweden, April, 22 - 24, 1996. Proceedings (Lecture Notes in Computer Science, 1058) by Hanne Riis Nielson (Editor) 0.00 avg rating — 0 ratings — published 1996 — 3 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	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 by Hanne Riis Nielson (editor) 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Coordination Models and Languages by Hanne Riis Nielson (editor), Emilio Tuosto (Editor) 0.00 avg rating — 0 ratings — 2 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	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) by Hanne Riis Nielson (editor), Emilio Tuosto (editor) 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Semantics with Applications: An Appetizer by Hanne Riis Nielson, Flemming Nielson 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Semantics With Applications : An Appetizer by Nielson Hanne Riis Et.Al, Hanne Riis Nielson 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Transactions on Computational Systems Biology VII (Lecture Notes in Computer Science Book 4230) by Anna Ingólfsdóttir (Editor), Bud Mishra (Editor), Hanne Riis Nielson (Editor) 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Two-Level Functional Languages (Cambridge Tracts in Theoretical Computer Science Book 34) by Flemming Nielson, Hanne Riis Nielson 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars

* Note: these are all the books on Goodreads for this author. To add more books, click here.