Central Library

Your search returned 3 results. Subscribe to this search

Unhighlight Highlight
|
Semantics, Logics, and Calculi [electronic resource] : Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays / edited by Christian W. Probst, Chris Hankin, Ren�e Rydhof Hansen.

by Probst, Christian W [editor.] | Hankin, Chris [editor.] | Hansen, Ren�e Rydhof [editor.] | SpringerLink (Online service).

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

Graphical Models for Security [electronic resource] : 6th International Workshop, GraMSec 2019, Hoboken, NJ, USA, June 24, 2019, Revised Papers / edited by Massimiliano Albanese, Ross Horne, Christian W. Probst.

by Albanese, Massimiliano [editor.] | Horne, Ross [editor.] | Probst, Christian W [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

Semantics, Logics, and Calculi [electronic resource] : Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays / edited by Christian W. Probst, Chris Hankin, René Rydhof Hansen.

by Probst, Christian W [editor.] | Hankin, Chris [editor.] | Hansen, René Rydhof [editor.] | SpringerLink (Online service).

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