Hoppa till sidans huvudinnehåll

Steve Schneider – författare

Visar alla böcker från författaren .
14 produkter
Steve Schneider - Concurrent and Real-time Systems, Häftad

Concurrent and Real-time Systems

The CSP Approach

AvSteve Schneider

Häftad, Engelska, 1999

1 139 kr

Skickas inom 5-8 vardagar

Kazue Sako, Steve Schneider, Peter Y. A. Ryan - Computer Security – ESORICS 2019, Häftad
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

729 kr

Skickas inom 10-15 vardagar

Kazue Sako, Steve Schneider, Peter Y. A. Ryan - Computer Security – ESORICS 2019, Häftad
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

729 kr

Skickas inom 10-15 vardagar

Liqun Chen, Ninghui Li, Kaitai Liang, Steve Schneider - Computer Security – ESORICS 2020, Häftad
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

729 kr

Skickas inom 10-15 vardagar

Liqun Chen, Ninghui Li, Kaitai Liang, Steve Schneider - Computer Security – ESORICS 2020, Häftad
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

729 kr

Skickas inom 10-15 vardagar

Mark Manulis, Ahmad-Reza Sadeghi, Steve Schneider - Applied Cryptography and Network Security, Häftad
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

729 kr

Skickas inom 10-15 vardagar

Nadia Polikarpova, Steve Schneider - Integrated Formal Methods, Häftad

Integrated Formal Methods

13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

AvNadia Polikarpova,Steve Schneider

Häftad, Engelska, 2017

729 kr

Skickas inom 10-15 vardagar

Liqun Chen, Mark Manulis, Steve Schneider - Information Security, Häftad
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

729 kr

Skickas inom 10-15 vardagar

Ali E. Abdallah, Peter Ryan, Steve Schneider - Formal Aspects of Security, Häftad

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

729 kr

Skickas inom 10-15 vardagar

Helen Treharne, Steve King, Martin Henson, Steve Schneider - ZB 2005: Formal Specification and Development in Z and B, Häftad

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 439 kr

Skickas inom 10-15 vardagar

Theo Dimitrakos, Fabio Martinelli, Peter Y.A. Ryan, Steve Schneider - Formal Aspects in Security and Trust, Häftad

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

729 kr

Skickas inom 10-15 vardagar

Theo Dimitrakos, Fabio Martinelli, Peter Y A Ryan, Steve Schneider - Formal Aspects in Security and Trust, Häftad

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

729 kr

Skickas inom 10-15 vardagar

James Heather, Steve Schneider, Vanessa Teague - E-Voting and Identity, Häftad

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

669 kr

Skickas inom 10-15 vardagar

Steve Schneider - The B-Method, Häftad

The B-Method

AvSteve Schneider

Häftad, Engelska

1 729 kr

Tillfälligt slut