Search Results for Riis Nielson, Hanne.

6 Results Found

000000DEFAULT

Secure IT Systems 18th Nordic Conference, NordSec 2013, Ilulissat, Greenland, October 18-21, 2013, Proceedings

Author

Riis Nielson, Hanne. editor. Gollmann, Dieter. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335111.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-41488-6

Format:

Availability

Online Library~1

Available:
Copies:

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

Author

Nielson, Hanne Riis. editor. Filé, Gilberto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-74061-2

Format:

Availability

Online Library~1

Available:
Copies:

Semantics with Applications: An Appetizer

Author

Nielson, Hanne Riis. author. Nielson, Flemming. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84628-692-6

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Coordination Models and Languages 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings

Coordination Models and Languages 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings

Author

Riis Nielson, Hanne. editor. (orcid)0000-0002-2484-5580 Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-22397-7

Format:

Availability

Online Library~1

Available:
Copies:

Formal Methods An Appetizer

Author

Nielson, Flemming. author. (orcid)0000-0001-7362-6176 Riis Nielson, Hanne. author. (orcid)0000-0002-2484-5580 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-05156-3

Format:

Availability

Online Library~1

Available:
Copies:

Transactions on Computational Systems Biology VII

Author

Priami, Corrado. editor. Ingólfsdóttir, Anna. editor. Mishra, Bud. editor. Riis Nielson, Hanne. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11905455

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}