STORE
search
⌘K
Explore
Salon
Quotes
Lists
Reviews
Writings
—
Changelog
About
Contact
Privacy
Donate
Hanne Riis Nielson | lit.salon
Hanne Riis Nielson
Born:
1954
No bio available.
Add one in Open Library.
Born:
1954
Books by Hanne Riis Nielson (50 max)
+ shelf
+ list
Principles of program analysis
1999
Flemming Nielson, Hanne Riis Nielson, Chris Hankin
+ shelf
+ list
Two-Level Functional Languages (Cambridge Tracts in Theoretical Computer Science)
2005
Flemming Nielson, Hanne Riis Nielson
+ shelf
+ list
Type and Effect Systems: Behaviours for Concurrency
1999
Torben Amtoft, Flemming Nielson, Hanne Riis Nielson
+ shelf
+ list
Semantics with Applications: An Appetizer (Undergraduate Topics in Computer Science)
2007
Hanne Riis Nielson, Flemming Nielson
+ shelf
+ list
Semantics with applications: a formal introduction
1992
Hanne Riis Nielson
+ shelf
+ 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)
1996
Hanne Riis Nielson
+ shelf
+ list
Static Analysis 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings
2007
Hanne Riis Nielson, Gilberto Filé
+ shelf
+ list
Formal Methods An Appetizer
2019
Flemming Nielson, Hanne Riis Nielson
+ shelf
+ list
Coordination Models and Languages 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated ...
2019
Hanne Riis Nielson, Emilio Tuosto
