Hoppa till sidans huvudinnehåll

Steve Schneider – författare

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

Concurrent and Real-time Systems

The CSP Approach

AvSteve Schneider

Häftad, Engelska, 1999

1 119 kr

Skickas inom 5-8 vardagar

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

719 kr

Skickas inom 10-15 vardagar

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

719 kr

Skickas inom 10-15 vardagar

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

719 kr

Skickas inom 10-15 vardagar

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

719 kr

Skickas inom 10-15 vardagar

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

719 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

719 kr

Skickas inom 10-15 vardagar

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

719 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

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

719 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

719 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

669 kr

Skickas inom 10-15 vardagar

The B-Method

AvSteve Schneider

Häftad, Engelska

1 649 kr

Tillfälligt slut