Search

You searched for: Auteur Schneider, Steve Remove constraint Auteur: Schneider, Steve
« Previous | 1 - 10 of 12 |
Number of results to display per page

Search Results

1. Integrated Formal Methods
thumbnail
Full text!
Author:
Polikarpova; Schneider, Steve
Publisher:
Springer International Publishing 2017
Format:
e-book
2. E-Voting and Identify
thumbnail
Full text!
Author:
Heather, James; Schneider, Steve; Teague, Vanessa; Schneider, Steve; Teague, Vanessa
Publisher:
Springer Berlin Heidelberg 2013
Format:
e-book
3. Information Security
thumbnail
Full text!
Author:
Chen; Mark Manulis; Steve Schneider; Manulis, Mark; Schneider, Steve
Publisher:
Springer International Publishing 2018
Format:
e-book
4. Computer Security – ESORICS 2019
thumbnail
Full text!
Author:
Sako; Ryan, Peter Y. A.; Schneider, Steve
Publisher:
Springer International Publishing 2019
Format:
e-book
5. Computer Security – ESORICS 2019
thumbnail
Full text!
Author:
Sako; Ryan, Peter Y. A.; Schneider, Steve
Publisher:
Springer International Publishing 2019
Format:
e-book
6. Computer Security – ESORICS 2020: 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14–18, 2020, Proceedings, Part I
thumbnail
Full text!
Author:
Chen; Li, Ninghui; Liang, Kaitai; Schneider, Steve
Publisher:
Springer International Publishing 2020
Format:
e-book
7. Computer Security – ESORICS 2020: 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14–18, 2020, Proceedings, Part II
thumbnail
Full text!
Author:
Chen; Li, Ninghui; Liang, Kaitai; Schneider, Steve
Publisher:
Springer International Publishing 2020
Format:
e-book
8. Applied Cryptography and Network Security
thumbnail
Full text!
Author:
Mark Manulis, Ahmad-Reza Sadeghi, Steve Schneider; Sadeghi, Ahmad-Reza; Schneider, Steve
Publisher:
Springer International Publishing 2016
Format:
e-book
9. ZB 2005: Formal Specification and Development in Z and B
thumbnail
Full text!
Author:
Treharne, Helen; Henson, Martin; Kanade, Takeo; King, Steve; Schneider, Steve
Publisher:
Springer Berlin / Heidelberg 2005
Format:
e-book
10. Formal Aspects in Security and Trust
thumbnail
Full text!
Author:
Dimitrakos, Theo; Kanade, Takeo; Martinelli, Fabio; Ryan, Peter Y. A.; Schneider, Steve
Publisher:
Springer Berlin / Heidelberg 2006
Format:
e-book