Steve Schneider – författare
Visar alla böcker från författaren Steve Schneider. Handla med fri frakt och snabb leverans.
27 produkter
Concurrent and Real-time Systems
The CSP Approach
Häftad, 1999
898 kr
Lägg i varukorg
The CSP approach has been widely used in the specification, analysis and verification of concurrent and real-time systems, and for understanding the particular issues that can arise when concurrency is present. It provides a language which enables specifications and designs to be clearly expressed …
11th Hour Audio Productions Audio Anthology, Vol. 1
11 Tales to Terrify
Av John Ballentine, Jeremy Hennessy m. fl.
Ljudbok, 2018
278 kr
Lägg i varukorg
The 11th Hour Audio Anthology is a collection of eleven macabre tales created by masters of modern audio drama to haunt and terrify you. Intensive Care by James ComtoisAlex Ericson is checked into a New England Hospital after a major car accident. The more he wakes up, the more Alex realizes his …
Computer Security – ESORICS 2019
24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019, Proceedings, Part I
Av Kazue Sako, Steve Schneider m. fl.
Häftad, 2019
564 kr
Lägg i varukorg
The two volume set, LNCS 11735 and 11736, constitutes the proceedings of the 24th European Symposium on Research in Computer Security, ESORIC 2019, held in Luxembourg, in September 2019. The total of 67 full papers included in these proceedings was carefully reviewed and selected from 344 …
Computer Security - ESORICS 2019
24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019, Proceedings, Part I
Av Peter Y. A. Ryan, Steve Schneider m. fl.
E-bok, 2019
755 kr
Lägg i varukorg
The two volume set, LNCS 11735 and 11736, constitutes the proceedings of the 24th European Symposium on Research in Computer Security, ESORIC 2019, held in Luxembourg, in September 2019. The total of 67 full papers included in these proceedings was carefully reviewed and selected from 344 …
Computer Security – ESORICS 2019
24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019, Proceedings, Part II
Av Kazue Sako, Steve Schneider m. fl.
Häftad, 2019
564 kr
Lägg i varukorg
The two volume set, LNCS 11735 and 11736, constitutes the proceedings of the 24th European Symposium on Research in Computer Security, ESORIC 2019, held in Luxembourg, in September 2019. The total of 67 full papers included in these proceedings was carefully reviewed and selected from 344 …
Computer Security - ESORICS 2019
24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019, Proceedings, Part II
Av Peter Y. A. Ryan, Steve Schneider m. fl.
E-bok, 2019
755 kr
Lägg i varukorg
The two volume set, LNCS 11735 and 11736, constitutes the proceedings of the 24th European Symposium on Research in Computer Security, ESORIC 2019, held in Luxembourg, in September 2019. The total of 67 full papers included in these proceedings was carefully reviewed and selected from 344 …
Computer Security – ESORICS 2020
25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14–18, 2020, Proceedings, Part I
Av Liqun Chen, Ninghui Li m. fl.
Häftad, 2020
564 kr
Lägg i varukorg
The two volume set, LNCS 12308 + 12309, constitutes the proceedings of the 25th European Symposium on Research in Computer Security, ESORICS 2020, which was held in September 2020. The conference was planned to take place in Guildford, UK. Due to the COVID-19 pandemic, the conference changed to an …
Computer Security - ESORICS 2020
25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14–18, 2020, Proceedings, Part I
Av Steve Schneider, Kaitai Liang m. fl.
E-bok, 2020
739 kr
Lägg i varukorg
The two volume set, LNCS 12308 + 12309, constitutes the proceedings of the 25th European Symposium on Research in Computer Security, ESORICS 2020, which was held in September 2020. The conference was planned to take place in Guildford, UK. Due to the COVID-19 pandemic, the conference changed to an …
Computer Security – ESORICS 2020
25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14–18, 2020, Proceedings, Part II
Av Liqun Chen, Ninghui Li m. fl.
Häftad, 2020
564 kr
Lägg i varukorg
The two volume set, LNCS 12308 + 12309, constitutes the proceedings of the 25th European Symposium on Research in Computer Security, ESORICS 2020, which was held in September 2020. The conference was planned to take place in Guildford, UK. Due to the COVID-19 pandemic, the conference changed to an …
Computer Security - ESORICS 2020
25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14–18, 2020, Proceedings, Part II
Av Steve Schneider, Kaitai Liang m. fl.
E-bok, 2020
755 kr
Lägg i varukorg
The two volume set, LNCS 12308 + 12309, constitutes the proceedings of the 25th European Symposium on Research in Computer Security, ESORICS 2020, which was held in September 2020. The conference was planned to take place in Guildford, UK. Due to the COVID-19 pandemic, the conference changed to an …
Applied Cryptography and Network Security
14th International Conference, ACNS 2016, Guildford, UK, June 19-22, 2016. Proceedings
Av Mark Manulis, Ahmad-Reza Sadeghi m. fl.
Häftad, 2016
564 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 14th International Conference on Applied Cryptography and Network Security, ACNS 2016, held in Guildford, UK. in June 2016. 5. The 35 revised full papers included in this volume and presented together with 2 invited talks, were carefully …
Applied Cryptography and Network Security
14th International Conference, ACNS 2016, Guildford, UK, June 19-22, 2016. Proceedings
Av Steve Schneider, Ahmad-Reza Sadeghi m. fl.
E-bok, 2016
739 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 14th International Conference on Applied Cryptography and Network Security, ACNS 2016, held in Guildford, UK. in June 2016. 5. The 35 revised full papers included in this volume and presented together with 2 invited talks, were carefully …
Integrated Formal Methods
13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
Av Nadia Polikarpova, Steve Schneider
Häftad, 2017
564 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017.The 24 full papers and 4 short papers presented were carefully reviewed and selected from 61 submissions. They are organized in topical …
Integrated Formal Methods
13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
Av Steve Schneider, Nadia Polikarpova
E-bok, 2017
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017. The 24 full papers and 4 short papers presented were carefully reviewed and selected from 61 submissions. They are organized in …
Information Security
21st International Conference, ISC 2018, Guildford, UK, September 9–12, 2018, Proceedings
Av Liqun Chen, Mark Manulis m. fl.
Häftad, 2018
564 kr
Lägg i varukorg
This book constitutes the proceedings of the 21st International Conference on Information Security, ISC 2018, held in Guildford, UK, in September 2018. The 26 full papers presented in this volume were carefully reviewed and selected from 59 submissions. The book also includes one invited talk in …
Information Security
21st International Conference, ISC 2018, Guildford, UK, September 9–12, 2018, Proceedings
Av Steve Schneider, Mark Manulis m. fl.
E-bok, 2018
732 kr
Lägg i varukorg
This book constitutes the proceedings of the 21st International Conference on Information Security, ISC 2018, held in Guildford, UK, in September 2018. The 26 full papers presented in this volume were carefully reviewed and selected from 59 submissions. The book also includes one invited talk in …
Formal Aspects of Security
First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers
Av Ali E. Abdallah, Peter Ryan m. fl.
Häftad, 2003
564 kr
Lägg i varukorg
Preface Formal Aspects of Security (FASec) was held at Royal Holloway, University of London, 18-20 December 2002. The occasion celebrated a Jubilee, namely the 25thanniversaryoftheestablishmentofBCS-FACS,theFormalAspectsofC- puting Science specialist group of the British Computer Society. FASec is …
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
Av Helen Treharne, Steve King m. fl.
Häftad, 2005
1122 kr
Lägg i varukorg
These proceedings record the papers presented at the 4th International Conf- ence of B and Z Users (ZB 2005), held in the city of Guildford in the south-east ofEngland. Thisconferencebuiltonthesuccessofthepreviousthreeconferences in this series, ZB 2000, held at the University of York in the UK, ZB …
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
Av Steve Schneider, Martin Henson m. fl.
E-bok, 2005
1502 kr
Lägg i varukorg
Formal Aspects in Security and Trust
Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers
Av Theo Dimitrakos, Fabio Martinelli m. fl.
Häftad, 2006
564 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Formal Aspects in Security and Trust, FAST 2005, held in Newcastle upon Tyne, UK in July 2005.The 17 revised papers presented together with the extended abstract of 1 invited paper were carefully …
Formal Aspects in Security and Trust
Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers
Av Steve Schneider, Peter Y.A. Ryan m. fl.
E-bok, 2006
732 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Formal Aspects in Security and Trust, FAST 2005, held in Newcastle upon Tyne, UK in July 2005. The 17 revised papers presented together with the extended abstract of 1 invited paper were carefully …
Formal Aspects of Security
First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers
Av Steve Schneider, Peter Ryan m. fl.
E-bok, 2003
734 kr
Lägg i varukorg
Formal Aspects in Security and Trust
Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canda, August 26-27, 2006, Revised Selected Papers
Av Theo Dimitrakos, Fabio Martinelli m. fl.
Häftad, 2007
564 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-proceedings of the Fourth International Workshop on Formal Aspects in Security and Trust, FAST 2006, held in Hamilton, Ontario, Canada, August 26-27, 2006. The 18 revised papers presented were carefully reviewed and selected from 47 submissions. …
Formal Aspects in Security and Trust
Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canda, August 26-27, 2006, Revised Selected Papers
Av Steve Schneider, Peter Y A Ryan m. fl.
E-bok, 2007
755 kr
Lägg i varukorg
E-Voting and Identity
4th International Conference, Vote-ID 2013, Guildford, UK, July 17-19, 2013, Proceedings
Av James Heather, Steve Schneider m. fl.
Häftad, 2013
520 kr
Lägg i varukorg
This book constitutes the thoroughly refereed conference proceedings of the 4th International Conference on E-Voting and Identity, Vote ID 2013, held in Guildford, UK, during July 17-19, 2013. The 12 revised full papers presented were carefully selected from 26 submissions. The papers include a …
E-Voting and Identity
4th International Conference, Vote-ID 2013, Guildford, UK, July 17-19, 2013, Proceedings
Av Vanessa Teague, Steve Schneider m. fl.
E-bok, 2013
672 kr
Lägg i varukorg
This book constitutes the thoroughly refereed conference proceedings of the 4th International Conference on E-Voting and Identity, Vote ID 2013, held in Guildford, UK, during July 17-19, 2013. The 12 revised full papers presented were carefully selected from 26 submissions. The papers include a …
