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: Joachim Posegga 12 träffar

Titel Författare År Språk
1 Theorem proving with analytic tableaux and related methods - 4th international workshop, TABLEAUX '95, Schloss Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings 1995 Engelska
2-3 Smart Card Research and Advanced Applications (flera utgåvor) Josep. Domingo-Ferrer 2006 Engelska
4 Theorem Proving with Analytic Tableaux and Related Methods TABLEAUX '95 1995 Engelska
5 Information Security Theory and Practices. Security and Privacy of Pervasive Systems and Smart Devices - 4th IFIP WG 11.2 International Workshop, WISTP 2010, Passau, Germany, April 12-14, 2010. Proceedings Pierangela. Samarati 2010 Engelska
6 Information Security Theory and Practice. Security, Privacy and Trust in Computing Systems and Ambient Intelligent Ecosystems - 6th IFIP WG 11.2 International Workshop, WISTP 2012, Egham, UK, June 20-22, 2012. Proceedings Ioannis. Askoxylakis 2012 Engelska
7 Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance - 9th International Workshop, DPM 2014, 7th International Workshop, SETOP 2014, and 3rd International Workshop, QASA 2014, Wroclaw, Poland, September 10-11, 2014. Revised Selected Papers Joaquin. Garcia-Alfaro 2015 Engelska
8 Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance Joaquin Garcia-Alfaro 2015 Okänt
9 Handbook of Tableau Methods Joachim Posegga 1999 Okänt
10 Smart Card Research and Advanced Applications: 7Th IFIP WG 8.8/11.2 International Conference, CARDIS 2006, Tarragona, Spain, April 19-21, 2006 : Proceedings (Lecture notes in computer science, 3928) Josep Domingo-Ferrer 2006 Okänt
11 Information Security Theory and Practice. Security, Privacy and Trust in Computing Systems and Ambient Intelligent Ecosystems Ioannis Askoxylakis 2012 Okänt
12 Security and Trust Management: 19th International Workshop, STM 2023, The Hague, The Netherlands, September 28, 2023, Proceedings 2023 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.