LorePath
  • Browse
  • ·FAQ
Back to Browse
Author

Hanne Riis Nielson

10 books found

Cover of Coordination Models and Languages

Coordination Models and Languages

Hanne Riis Nielson, Emilio Tuosto · First published 2019

Open the Tome
Cover of Formal Methods

Formal Methods

Flemming Nielson, Hanne Riis Nielson · First published 2019

Open the Tome
Cover of Static Analysis

Static Analysis

Hanne Riis Nielson,Gilberto Fil · First published 2008

Open the Tome
Cover of Transactions on Computational Systems Biology VII

Transactions on Computational Systems Biology VII

Hanne Riis Nielson,Anna Ingolfsdottir,Bud Mishra · First published 2008

Open the Tome
Cover of Semantics with applications

Semantics with applications

Hanne Riis Nielson, Flemming Nielson · First published 1992 · Latest edition 2007

Open the Tome
Cover of Static Analysis

Static Analysis

Hanne Riis Nielson, Gilberto Filé · First published 2007

Open the Tome
Cover of Two-level functional languages

Two-level functional languages

Flemming Nielson, Hanne Riis Nielson · First published 2005

Open the Tome
Cover of Principles of program analysis

Principles of program analysis

Flemming Nielson, Hanne Riis Nielson, Chris Hankin · First published 1999

Open the Tome
Cover of Type and effect systems

Type and effect systems

Torben Amtoft, Flemming Nielson, Hanne Riis Nielson · First published 1999

Open the Tome
Cover of Programming Languages and Systems - Esop '96: 6th European Symposium on Programming Linkoping, Sweden, April 22-24, 1996

Programming Languages and Systems - Esop '96: 6th European Symposium on Programming Linkoping, Sweden, April 22-24, 1996

Hanne Riis Nielson · First published 1996

Open the Tome