Search Results for Riis Nielson, Hanne.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dRiis$002bNielson$00252C$002bHanne.$0026ic$003dtrue$0026ps$003d300?
2024-09-14T05:21:54Z
Secure IT Systems 18th Nordic Conference, NordSec 2013, Ilulissat, Greenland, October 18-21, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:335111
2024-09-14T05:21:54Z
2024-09-14T05:21:54Z
Author Riis Nielson, Hanne. editor. Gollmann, Dieter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335111.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41488-6">http://dx.doi.org/10.1007/978-3-642-41488-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Static Analysis 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187046
2024-09-14T05:21:54Z
2024-09-14T05:21:54Z
Author Nielson, Hanne Riis. editor. Filé, Gilberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74061-2">http://dx.doi.org/10.1007/978-3-540-74061-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Semantics with Applications: An Appetizer
ent://SD_ILS/0/SD_ILS:175514
2024-09-14T05:21:54Z
2024-09-14T05:21:54Z
Author Nielson, Hanne Riis. author. Nielson, Flemming. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84628-692-6">http://dx.doi.org/10.1007/978-1-84628-692-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:485968
2024-09-14T05:21:54Z
2024-09-14T05:21:54Z
Author Riis Nielson, Hanne. editor. (orcid)0000-0002-2484-5580 Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-22397-7">https://doi.org/10.1007/978-3-030-22397-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods An Appetizer
ent://SD_ILS/0/SD_ILS:486358
2024-09-14T05:21:54Z
2024-09-14T05:21:54Z
Author Nielson, Flemming. author. (orcid)0000-0001-7362-6176 Riis Nielson, Hanne. author. (orcid)0000-0002-2484-5580 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-05156-3">https://doi.org/10.1007/978-3-030-05156-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Computational Systems Biology VII
ent://SD_ILS/0/SD_ILS:185135
2024-09-14T05:21:54Z
2024-09-14T05:21:54Z
Author Priami, Corrado. editor. Ingólfsdóttir, Anna. editor. Mishra, Bud. editor. Riis Nielson, Hanne. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11905455">http://dx.doi.org/10.1007/11905455</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>