Filtre: Paperback

Cărți de Steve Schneider

Formal Aspects in Security and Trust: Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers

Lecture Notes in Computer Science, nr. 3866

Editat de Theo Dimitrakos et al.

23 mar 2006

Preț: 318^.80 lei 398^.50 lei

43-57 zile

-20%

Formal Aspects of Security

Editat de Ali E. Abdallah et al.

3 dec 2003

Preț: 318^.94 lei 398^.67 lei

43-57 zile

-20%

Formal Aspects in Security and Trust

Editat de Theo Dimitrakos et al.

17 sep 2007

Preț: 320^.97 lei 401^.21 lei

43-57 zile

-20%

Integrated Formal Methods: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10510

Editat de Nadia Polikarpova et al.

27 aug 2017

Preț: 327^.54 lei 409^.42 lei

43-57 zile

-20%

Information Security: 21st International Conference, ISC 2018, Guildford, UK, September 9–12, 2018, Proceedings

Lecture Notes in Computer Science, nr. 11060

Editat de Liqun Chen et al.

15 aug 2018

Preț: 331^.17 lei 413^.96 lei

43-57 zile

-20%

Computer Security – ESORICS 2019: 24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019, Proceedings, Part II

Lecture Notes in Computer Science, nr. 11736

Editat de Kazue Sako et al.

27 aug 2019

Preț: 336^.73 lei 420^.91 lei

43-57 zile

-20%

E-Voting and Identity: 4th International Conference, Vote-ID 2013, Guildford, UK, July 17-19, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7985

Editat de James Heather et al.

18 iul 2013

Preț: 337^.46 lei

43-57 zile

Applied Cryptography and Network Security: 14th International Conference, ACNS 2016, Guildford, UK, June 19-22, 2016. Proceedings

Lecture Notes in Computer Science, nr. 9696

Editat de Mark Manulis et al.

10 iun 2016

Preț: 338^.13 lei 422^.65 lei

43-57 zile

-20%

Computer Security – ESORICS 2020: 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14–18, 2020, Proceedings, Part I

Lecture Notes in Computer Science, nr. 12308

Editat de Liqun Chen et al.

12 sep 2020

Preț: 343^.05 lei 428^.80 lei

43-57 zile

-20%

ZB 2005: Formal Specification and Development in Z and B

Editat de Helen Treharne et al.

7 apr 2005

Preț: 632^.99 lei 791^.24 lei

43-57 zile

-20%