Search Results for Nielson, Flemming. - Narrowed by: Electronic Library
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dNielson$00252C$002bFlemming.$0026qf$003dLOCATION$002509Shelf$002bLocation$0025091$00253AELEKKUTUPH$002509Electronic$002bLibrary$0026ic$003dtrue$0026te$003dILS$0026ps$003d300?
2024-09-10T19:42:26Z
Principles of Security and Trust 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484523
2024-09-10T19:42:26Z
2024-09-10T19:42:26Z
Author Nielson, Flemming. editor. (orcid)0000-0001-7362-6176 Sands, David. editor. (orcid)0000-0001-6221-0503 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17138-4">https://doi.org/10.1007/978-3-030-17138-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods An Appetizer
ent://SD_ILS/0/SD_ILS:486358
2024-09-10T19:42:26Z
2024-09-10T19:42:26Z
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/>
Trustworthy Global Computing 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:189836
2024-09-10T19:42:26Z
2024-09-10T19:42:26Z
Author Kaklamanis, Christos. editor. Nielson, Flemming. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00945-7">http://dx.doi.org/10.1007/978-3-642-00945-7</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-10T19:42:26Z
2024-09-10T19:42:26Z
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/>