Steve Schneider – författare
Visar alla böcker från författaren Steve Schneider.
14 produkter
Computer Security – ESORICS 2019
24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019, Proceedings, Part I
Av Kazue Sako, Steve Schneider m. fl.
Häftad, 2019
729 kr
Lägg i varukorg
Computer Security – ESORICS 2019
24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019, Proceedings, Part II
Av Kazue Sako, Steve Schneider m. fl.
Häftad, 2019
729 kr
Lägg i varukorg
Computer Security – ESORICS 2020
25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14–18, 2020, Proceedings, Part I
Av Liqun Chen, Ninghui Li m. fl.
Häftad, 2020
729 kr
Lägg i varukorg
Computer Security – ESORICS 2020
25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14–18, 2020, Proceedings, Part II
Av Liqun Chen, Ninghui Li m. fl.
Häftad, 2020
729 kr
Lägg i varukorg
Applied Cryptography and Network Security
14th International Conference, ACNS 2016, Guildford, UK, June 19-22, 2016. Proceedings
Av Mark Manulis, Ahmad-Reza Sadeghi m. fl.
Häftad, 2016
729 kr
Lägg i varukorg
Integrated Formal Methods
13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
Av Nadia Polikarpova, Steve Schneider
Häftad, 2017
729 kr
Lägg i varukorg
Information Security
21st International Conference, ISC 2018, Guildford, UK, September 9–12, 2018, Proceedings
Av Liqun Chen, Mark Manulis m. fl.
Häftad, 2018
729 kr
Lägg i varukorg
Formal Aspects of Security
First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers
Av Ali E. Abdallah, Peter Ryan m. fl.
Häftad, 2003
729 kr
Lägg i varukorg
ZB 2005: Formal Specification and Development in Z and B
4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings
Av Helen Treharne, Steve King m. fl.
Häftad, 2005
1449 kr
Lägg i varukorg
Formal Aspects in Security and Trust
Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers
Av Theo Dimitrakos, Fabio Martinelli m. fl.
Häftad, 2006
729 kr
Lägg i varukorg
Formal Aspects in Security and Trust
Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canda, August 26-27, 2006, Revised Selected Papers
Av Theo Dimitrakos, Fabio Martinelli m. fl.
Häftad, 2007
729 kr
Lägg i varukorg
E-Voting and Identity
4th International Conference, Vote-ID 2013, Guildford, UK, July 17-19, 2013, Proceedings
Av James Heather, Steve Schneider m. fl.
Häftad, 2013
669 kr
Lägg i varukorg