Labelled Non-Classical Logics

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

Labelled Non-Classical Logics

Produktform: Buch / Einband - flex.(Paperback)

Labelled Non-Classical Logics

Produktform: Buch / Einband - fest (Hardcover)

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

Tests and Proofs

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

Produktform: Buch / Einband - flex.(Paperback)

Socio-Technical Aspects in Security

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

Produktform: Buch / Einband - flex.(Paperback)