Arama Sonu&ccedil;lar&#305; Riis Nielson, Hanne. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dRiis$002bNielson$00252C$002bHanne.$0026ps$003d300?dt=list 2024-11-23T15:56:49Z Secure IT Systems 18th Nordic Conference, NordSec 2013, Ilulissat, Greenland, October 18-21, 2013, Proceedings ent://SD_ILS/0/SD_ILS:335111 2024-11-23T15:56:49Z 2024-11-23T15:56:49Z Yazar&#160;Riis Nielson, Hanne. editor.&#160;Gollmann, Dieter. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(335111.1)<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Semantics with Applications: An Appetizer ent://SD_ILS/0/SD_ILS:175514 2024-11-23T15:56:49Z 2024-11-23T15:56:49Z Yazar&#160;Nielson, Hanne Riis. author.&#160;Nielson, Flemming. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-11-23T15:56:49Z 2024-11-23T15:56:49Z Yazar&#160;Nielson, Hanne Riis. editor.&#160;Fil&eacute;, Gilberto. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-11-23T15:56:49Z 2024-11-23T15:56:49Z Yazar&#160;Riis Nielson, Hanne. editor. (orcid)0000-0002-2484-5580&#160;Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Formal Methods An Appetizer ent://SD_ILS/0/SD_ILS:486358 2024-11-23T15:56:49Z 2024-11-23T15:56:49Z Yazar&#160;Nielson, Flemming. author. (orcid)0000-0001-7362-6176&#160;Riis Nielson, Hanne. author. (orcid)0000-0002-2484-5580&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Transactions on Computational Systems Biology VII ent://SD_ILS/0/SD_ILS:185135 2024-11-23T15:56:49Z 2024-11-23T15:56:49Z Yazar&#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/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/11905455">http://dx.doi.org/10.1007/11905455</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/>