search for books and compare prices
Steve Schneider has written 6 work(s)
Search for other authors with the same name
displaying 1 to 6 | at end
show results in order: alphabetically | oldest to newest | newest to oldest
cover image for 9783319395548
Product Description: 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 reviewed and selected from 183 submissions...read more
By Steve Schneider (editor)

Paperback:

9783319395548 | Springer-Verlag New York Inc, June 25, 2016, cover price $119.00 | About this edition: This book constitutes the refereed proceedings of the 14th International Conference on Applied Cryptography and Network Security, ACNS 2016, held in Guildford, UK.

cover image for 9783540326281
Product Description: 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 one invited paper were carefully reviewed and selected from 37 submissions...read more
By Theo Dimitrakos (editor), Fabio Martinelli (editor), Peter Y. A. Ryan (editor) and Steve Schneider (editor)

Paperback:

9783540326281 | Springer-Verlag New York Inc, March 15, 2006, cover price $99.00 | About this edition: 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.

cover image for 9783540255598
Product Description: 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 2002, held at theLaboratoire Logiciels Syst` emes R´ eseaux within theInstitut d'Informatique et Math´ ematique Appliqu´ ees de Grenoble (LSR-IMAG) in Grenoble, France, and ? ZB 2003, held in Turku in Finland hosted by Abo Akademi University and the TurkuCentreforComputerScience(TUCS)...read more
By Martin Henson (editor), Steve King (editor), Steve Schneider (editor) and Helen Treharne (editor)

Paperback:

9783540255598 | Springer Verlag, September 30, 2005, cover price $149.00 | About this edition: 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.

cover image for 9783540206934
Product Description: 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...read more (view table of contents, read Amazon.com's description)
By Fasec 200 (other contributor), Peter Ryan (editor) and Steve Schneider (editor)

Paperback:

9783540206934 | Springer-Verlag New York Inc, February 1, 2004, cover price $89.99 | About this edition: Preface Formal Aspects of Security (FASec) was held at Royal Holloway, University of London, 18-20 December 2002.

cover image for 9780471623731
Product Description: 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 and understood, together with a supporting theory which allows them to be analyzed and shown to be correct...read more (view table of contents, read Amazon.com's description)

Paperback:

9780471623731 | John Wiley & Sons Inc, September 1, 1999, cover price $116.45 | About this edition: 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.

cover image for 9780805014853
Product Description: Here is the first comprehensive record of the classic Warner Bros. cartoon studio, wonderfully and richly illustrated in full color. "This comic valentine offers impeccable research, interviews wiuth the animated geniuses who breathed life and laughter into their Looney Tunes, and hundreds of rare illustrations...read more

Hardcover:

9780805008890, titled "That's All Folks: The Art of Warner Bros. Animation" | Henry Holt & Co, October 1, 1988, cover price $39.95 | About this edition: Celebrates the cartoon characters created in the Warner Brothers Studios over the past forty years, detailing the figures and their creators

Paperback:

9780805014853, titled "That's All Folks: The Art of Warner Bros. Animation" | Rep edition (Henry Holt & Co, September 1, 1990), cover price $19.95 | About this edition: Here is the first comprehensive record of the classic Warner Bros.

displaying 1 to 6 | at end