Labelled Non-Classical Logics

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Labelled Non-Classical Logics

Produktform: Buch / Einband - fest (Hardcover)

Labelled Non-Classical Logics

Produktform: Buch / Einband - flex.(Paperback)

Principles of Security and Trust

5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Socio-Technical Aspects in Security

11th International Workshop, STAST 2021, Virtual Event, October 8, 2021, Revised Selected Papers

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Tests and Proofs

7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Socio-Technical Aspects in Security and Trust

10th International Workshop, STAST 2020, Virtual Event, September 14, 2020, Revised Selected Papers

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Foundations and Applications of Security Analysis

Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Socio-Technical Aspects in Security and Trust

10th International Workshop, STAST 2020, Virtual Event, September 14, 2020, Revised Selected Papers

Produktform: Buch / Einband - flex.(Paperback)

Principles of Security and Trust

5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Produktform: Buch / Einband - flex.(Paperback)