Search Results for Riis Nielson, Hanne. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dRiis$002bNielson$00252C$002bHanne.$0026te$003dILS$0026ps$003d300? 2024-10-30T05:02:19Z Secure IT Systems 18th Nordic Conference, NordSec 2013, Ilulissat, Greenland, October 18-21, 2013, Proceedings ent://SD_ILS/0/SD_ILS:335111 2024-10-30T05:02:19Z 2024-10-30T05:02:19Z Author&#160;Riis Nielson, Hanne. editor.&#160;Gollmann, Dieter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335111.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Semantics with Applications: An Appetizer ent://SD_ILS/0/SD_ILS:175514 2024-10-30T05:02:19Z 2024-10-30T05:02:19Z Author&#160;Nielson, Hanne Riis. author.&#160;Nielson, Flemming. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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-10-30T05:02:19Z 2024-10-30T05:02:19Z Author&#160;Nielson, Hanne Riis. editor.&#160;Fil&eacute;, Gilberto. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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&ndash;21, 2019, Proceedings ent://SD_ILS/0/SD_ILS:485968 2024-10-30T05:02:19Z 2024-10-30T05:02:19Z Author&#160;Riis Nielson, Hanne. editor. (orcid)0000-0002-2484-5580&#160;Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods An Appetizer ent://SD_ILS/0/SD_ILS:486358 2024-10-30T05:02:19Z 2024-10-30T05:02:19Z Author&#160;Nielson, Flemming. author. (orcid)0000-0001-7362-6176&#160;Riis Nielson, Hanne. author. (orcid)0000-0002-2484-5580&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Computational Systems Biology VII ent://SD_ILS/0/SD_ILS:185135 2024-10-30T05:02:19Z 2024-10-30T05:02:19Z Author&#160;Priami, Corrado. editor.&#160;Ing&oacute;lfsd&oacute;ttir, Anna. editor.&#160;Mishra, Bud. editor.&#160;Riis Nielson, Hanne. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11905455">http://dx.doi.org/10.1007/11905455</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>