Nielson, Hanne Riis books & textbook
Static Analysis: 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings (Lecture Notes in Computer Science, 4634)
Riis Nielson, Hanne Filé, Gilberto
Springer /2007-08-09 Paperback / 480 Pages
isbn-10: 3540740600 / isbn-13: 9783540740605
Semantics With Applications: A Formal Introduction (Wiley Professional Computing)
Nielson, Hanne Riis Nielson, Flemming
John Wiley & Sons Inc /1991-12-06 Paperback / 252 Pages
isbn-10: 0471929808 / isbn-13: 9780471929802
Two-Level Functional Languages (Cambridge Tracts in Theoretical Computer Science, Series Number 34)
Nielson, Flemming Nielson, Hanne Riis
Cambridge University Press /1992-07-31 Hardcover / 312 Pages
isbn-10: 0521403847 / isbn-13: 9780521403849
Transactions on Computational Systems Biology VII (Lecture Notes in Computer Science, 4230)
Ingolfsdottir, Anna Priami, Corrado Mishra, Bud Nielson, Hanne Riis
Springer /2006-11-13 Paperback / 194 Pages
isbn-10: 3540488375 / isbn-13: 9783540488378
Formal Methods: An Appetizer
Nielson, Flemming Riis Nielson, Hanne
Springer /2019-07-25 Hardcover / 177 Pages
isbn-10: 3030051552 / isbn-13: 9783030051556
Semantics with Applications: An Appetizer (Undergraduate Topics in Computer Science)
Nielson, Hanne Riis Nielson, Flemming
Springer London /2007-03-28 Paperback / 288 Pages
isbn-10: 1846286913 / isbn-13: 9781846286919
Coordination Models and Languages (Programming and Software Engineering)
Riis Nielson, Hanne Tuosto, Emilio
Springer /2019-06-05 Paperback / 284 Pages
isbn-10: 3030223965 / isbn-13: 9783030223960
TYPE AND EFFECT SYSTEMS: BEHAVIOURS FOR CONCURRENCY
Amtoft, Torben Nielson, Flemming Nielson, Hanne Riis
Imperial College Pr /1999-03-15 Hardcover / 253 Pages
isbn-10: 1860941540 / isbn-13: 9781860941542
