Steve Schneider – författare

Visar alla böcker från författaren Steve Schneider.

14 produkter

Kategorier

14 produkter

Concurrent and Real-time Systems
The CSP Approach
AvSteve Schneider
Häftad, Engelska, 1999
1 169 kr
Skickas inom 5-8 vardagar
Del 11735
Del 11735 - Lecture Notes in Computer Science
Computer Security – ESORICS 2019
24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019, Proceedings, Part I
AvKazue Sako,Steve Schneiderm. fl.
Häftad, Engelska, 2019
749 kr
Skickas inom 10-15 vardagar
Del 11736
Del 11736 - Lecture Notes in Computer Science
Computer Security – ESORICS 2019
24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019, Proceedings, Part II
AvKazue Sako,Steve Schneiderm. fl.
Häftad, Engelska, 2019
749 kr
Skickas inom 10-15 vardagar
Del 12308
Del 12308 - Lecture Notes in Computer Science
Computer Security – ESORICS 2020
25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14–18, 2020, Proceedings, Part I
AvLiqun Chen,Ninghui Lim. fl.
Häftad, Engelska, 2020
749 kr
Skickas inom 10-15 vardagar
Del 12309
Del 12309 - Lecture Notes in Computer Science
Computer Security – ESORICS 2020
25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14–18, 2020, Proceedings, Part II
AvLiqun Chen,Ninghui Lim. fl.
Häftad, Engelska, 2020
749 kr
Skickas inom 10-15 vardagar
Del 9696
Del 9696 - Lecture Notes in Computer Science
Applied Cryptography and Network Security
14th International Conference, ACNS 2016, Guildford, UK, June 19-22, 2016. Proceedings
AvMark Manulis,Ahmad-Reza Sadeghim. fl.
Häftad, Engelska, 2016
749 kr
Skickas inom 10-15 vardagar
Integrated Formal Methods
13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
AvNadia Polikarpova,Steve Schneider
Häftad, Engelska, 2017
749 kr
Skickas inom 10-15 vardagar
Del 11060
Del 11060 - Lecture Notes in Computer Science
Information Security
21st International Conference, ISC 2018, Guildford, UK, September 9–12, 2018, Proceedings
AvLiqun Chen,Mark Manulism. fl.
Häftad, Engelska, 2018
749 kr
Skickas inom 10-15 vardagar
Formal Aspects of Security
First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers
AvAli E. Abdallah,Peter Ryanm. fl.
Häftad, Engelska, 2003
749 kr
Skickas inom 10-15 vardagar
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
AvHelen Treharne,Steve Kingm. fl.
Häftad, Engelska, 2005
1 479 kr
Skickas inom 10-15 vardagar
Formal Aspects in Security and Trust
Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers
AvTheo Dimitrakos,Fabio Martinellim. fl.
Häftad, Engelska, 2006
749 kr
Skickas inom 10-15 vardagar
Formal Aspects in Security and Trust
Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canda, August 26-27, 2006, Revised Selected Papers
AvTheo Dimitrakos,Fabio Martinellim. fl.
Häftad, Engelska, 2007
749 kr
Skickas inom 10-15 vardagar
E-Voting and Identity
4th International Conference, Vote-ID 2013, Guildford, UK, July 17-19, 2013, Proceedings
AvJames Heather,Steve Schneiderm. fl.
Häftad, Engelska, 2013
689 kr
Skickas inom 10-15 vardagar
The B-Method
AvSteve Schneider
Häftad, Engelska
1 709 kr
Tillfälligt slut