Hanne Riis Nielson
Hanne Riis Nielson
Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.
Overview
Catalog identity and bibliographic footprint for this author.
Catalog identity
How this author appears inside the active Bookitis catalog.
Display name
Personal name
Source identifier
Featured books
Representative editions for works actually authored by this person.
- Image source: Open LibraryFM
Formal Methods
cover - Image source: Open LibraryCM
Coordination Models and Languages
cover - Image source: Open LibraryPO
Principles of program analysis
cover - Image source: Open LibrarySW
Semantics with applications
cover - Image source: Open LibraryTO
Transactions on Computational Systems Biology VII
cover - Image source: Open LibraryTF
Two-level functional languages
cover - Image source: Open LibraryTA
Type and effect systems
cover - Image source: Open LibraryPL
Programming Languages and Systems - Esop '96: 6th European Symposium on Programming Linkoping, Sweden, April 22-24, 1996
cover - Image source: Open LibrarySW
Semantics with applications
cover
Works in catalog
Quick navigation into the work-level grouping pages behind the featured books.
- Open Work
Formal Methods
- Open Work
Coordination Models and Languages
- Open Work
Principles of program analysis
- Open Work
Semantics with applications
- Open Work
Transactions on Computational Systems Biology VII
- Open Work
Two-level functional languages
- Open Work
Type and effect systems
- Open Work
Programming Languages and Systems - Esop '96: 6th European Symposium on Programming Linkoping, Sweden, April 22-24, 1996
- Open Work
Semantics with applications