Central Library

Your search returned 3 results. Subscribe to this search

Unhighlight Highlight
|
Secure IT Systems [electronic resource] : 18th Nordic Conference, NordSec 2013, Ilulissat, Greenland, October 18-21, 2013, Proceedings / edited by Hanne Riis Nielson, Dieter Gollmann.

by Riis Nielson, Hanne [editor.] | Gollmann, Dieter [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available

Coordination Models and Languages [electronic resource] : 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 / edited by Hanne Riis Nielson, Emilio Tuosto.

by Riis Nielson, Hanne [editor.] | Tuosto, Emilio [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available

Static Analysis [electronic resource] : 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings / edited by Hanne Riis Nielson, Gilberto Filé.

by Riis Nielson, Hanne [editor.] | Filé, Gilberto [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available