Steve Schneider
Steve Schneider
6 books in the database
Books
Refocusing crime preventionSteve Schneider
Refocusing crime prevention
Steve Schneider · 2007
That's all folks!Steve Schneider
That's all folks!
Steve Schneider · 1988
Robert F. KennedySteve Schneider
Robert F. Kennedy
Steve Schneider · 2001
Concurrent and real-time systemsSteve Schneider
Concurrent and real-time systems
Steve Schneider · 1999
Designing FearSteve Schneider
Designing Fear
Steve Schneider · 2008
The B-method (Cornerstones of Computing)Steve Schneider
The B-method (Cornerstones of Computing)
Steve Schneider · 2001
Co-authored books and collections
Books that list Steve Schneider among their authors but not as the lead author: co-written works, collections and compilations.
Formal aspects of securityPeter Y. A. Ryan
Formal aspects of security
Peter Y. A. Ryan · 2004
Applied Cryptography and Network SecurityMark Manulis
Applied Cryptography and Network Security
Mark Manulis · 2016
Formal aspects in security and trustTheo Dimitrakos
Formal aspects in security and trust
Theo Dimitrakos · 2006
Computer Security - ESORICS 2020Liqun Chen
Computer Security - ESORICS 2020
Liqun Chen · 2020
Computer Security – ESORICS 2019Kazue Sako
Computer Security – ESORICS 2019
Kazue Sako · 2019
Information SecurityLiqun Chen
Information Security
Liqun Chen · 2018
Integrated Formal MethodsNadia Polikarpova
Integrated Formal Methods
Nadia Polikarpova · 2017
E-Voting and IdentityJames Heather
E-Voting and Identity
James Heather · 2013
ZB 2005 : Formal Specification and Development in Z and BHelen Treharne
ZB 2005 : Formal Specification and Development in Z and B
Helen Treharne · 2005