Titel | | ISBN-13 | Erschei- nungsjahr | andere Autoren |
Applied Cryptography and Network Security: 14th International Conference, ACNS 2016, Guildford, UK, June 19-22, 2016. Proceedings | | 978-3-319-39554-8 | 2016 | Mark Manulis · Ahmad-Reza Sadeghi |
Concurrent and Real-time Systems: The CSP Approach | | 978-0-471-62373-1 | 1999 |
E-Voting and Identity: 4th International Conference, Vote-ID 2013, Guildford, UK, July 17-19, 2013, Proceedings | | 978-3-642-39184-2 | 2013 | James Heather · Vanessa Teague |
Formal Aspects in Security and Trust: Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers | | 978-3-540-32628-1 | 2010 | Theo Dimitrakos · Fabio Martinelli · Peter Y. A. Ryan |
Formal Aspects of Security: First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers | | 978-3-540-20693-4 | 2008 | Ali E. Abdallah · Peter Ryan |
Information Security: 21st International Conference, ISC 2018, Guildford, UK, September 9-12, 2018, Proceedings | | 978-3-319-99135-1 | 2018 | Liqun Chen · Mark Manulis |
Integrated Formal Methods: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings | | 978-3-319-66844-4 | 2017 | Nadia Polikarpova |
That's All Folks!: Art of Warner Bros.Animation | | 978-1-85410-083-2 | 1991 |
That's all folks!: The art of Warner Bros. animation | | 978-0-7607-1215-3 | 1999 |
That's All Folks: The Art of Warner Bros. Animation | | 978-0-8050-0889-0 | 1988 |
The B-method | | 978-0-333-79284-1 | 2001 |
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 ... Notes in Computer Science , Band 3455) | | 978-3-540-25559-8 | 2008 | Martin Henson · Steve King · Helen Treharne |