Sök böcker

Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!

Sökning efter: Steve Schneider 20 träffar

Titel Författare År Språk
1 The modelling and analysis of security protocols - the CSP approach Peter Ryan 2001 Engelska
2 Concurrent and real-time systems - the CSP approach Steve Schneider cop. 2000 Engelska
3 That's all folks! - the art of Warner Bros. animation Steve Schneider 1989 Engelska
4 Formal aspects of security. - first international conference, FASec 2002 : London, UK, December 16-18, 2002 : revised papers England) FASec 2002 (2002 : London 2004 Engelska
5 The B-method - an introduction Steve A. Schneider 2001 Engelska
6 Formal Aspects in Security and Trust: Third International Workshop, FAST 2005, Newcastle Upon Tyne, UK, July 18-19, 2005 : Revised Selected Papers (Lecture notes in computer science, 3866) Theo Dimitrakos 2006 Okänt
7 Formal Aspects in Security and Trust Theo Dimitrakos 2007 Okänt
8-9 Formal Aspects in Security and Trust - Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised Selected Papers (flera utgåvor) Theo. Dimitrakos 2007 Engelska
10 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 Helen. Treharne 2005 Engelska
11 E-Voting and Identify - 4th International Conference, Vote-ID 2013, Guildford, UK, July 17-19, 2013. Proceedings James. Heather 2013 Engelska
12 Information Security: 21st International Conference, ISC 2018, Guildford, UK, September 9–12, 2018, Proceedings Liqun Chen 2018 Okänt
13 Applied Cryptography and Network Security - 14th International Conference, ACNS 2016, Guildford, UK, June 19-22, 2016. Proceedings 2016 Engelska
14 Integrated Formal Methods - 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings 2017 Engelska
15 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 (Lecture notes in computer science, 3455) Helen Treharne 2005 Okänt
16 Information Security - 21st International Conference, ISC 2018, Guildford, UK, September 9–12, 2018, Proceedings 2018 Engelska
17 Formal Aspects of Security - First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers England) FASec 2002 (2002 : London FASec 2002 2003 Engelska
18 E-Voting and Identify : 4th International Conference, Vote-ID 2013, Guildford, UK, July 17-19, 2013. Proceedings James Heather 2013 Okänt
19 Computer Security – ESORICS 2020: 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14–18, 2020, Proceedings, Part I 2020 Okänt
20 Computer Security – ESORICS 2020: 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14–18, 2020, Proceedings, Part II 2020 Okänt

1

Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.