MPG.eBooks - Author Search Results

Cover Image

1

Programming Languages and Systems — ESOP '96 : 6th European Symposium on Programming Linköping, Sweden, April 22–24, 1996 Proceedings

by Nielson, Hanne
Published 1996

Springer

Cover Image

2

Semantics with Applications: An Appetizer

by Riis Nielson, Hanne, Nielson, Flemming
Published 2007

Springer London

Cover Image

3

Formal Methods : An Appetizer

by Nielson, Flemming, Riis Nielson, Hanne
Published 2019

Springer International Publishing

Cover Image

4

Principles of Program Analysis

by Nielson, Flemming, Nielson, Hanne R., Hankin, Chris
Published 1999

Springer Berlin Heidelberg

Cover Image

5

Programming Languages and Systems - ESOP '96 : 6th European Symposium on Programming, Linköping, Sweden, April, 22 - 24, 1996. Proceedings

Published 1996

Springer Berlin Heidelberg

Other Authors: “...Nielson, Hanne R....”

Cover Image

6

Coordination Models and Languages : 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computi...

Published 2019

Springer International Publishing

Other Authors: “...Riis Nielson, Hanne...”

Cover Image

7

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

Published 2007

Springer Berlin Heidelberg

Other Authors: “...Riis Nielson, Hanne...”

Cover Image

8

Transactions on Computational Systems Biology VII

Published 2006

Springer Berlin Heidelberg

Other Authors: “...Nielson, Hanne Riis...”