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: Gilles Barthe 34 träffar

Titel Författare År Språk
21 Formal Aspects of Security and Trust: 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers 2012 Okänt
22 FOUNDATIONS OF PROBABILISTIC PROGRAMMING 2021 Engelska
23 Applied Semantics: International Summer School, APPSEM 2000 Caminha, Portugal, September 915, 2000 Advanced Lectures Gilles Barthe uuuu-uuuu Okänt
24 Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004 : Revised Selected Papers (Lecture notes in computer science, 0302-9743 3362) Gilles Barthe 2005 Okänt
25 Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005 : Revised Selected Papers (Lecture notes in computer science, 3956) Gilles Barthe 2006 Okänt
26 Formal Methods for Open Object-Based Distributed Systems : 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings Gilles Barthe 2008 Okänt
27 Proceedings of the 11th international conference on Verification, Model Checking, and Abstract Interpretation Gilles Barthe 2010 Okänt
28 Proceedings of the 4th international conference on Engineering Secure Software and Systems Gilles Barthe 2012 Okänt
29 Trustworthy Global Computing Gilles Barthe 2008 Okänt
30 Programming Languages and Systems: 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011, Proceedings 2011 Okänt
31 Security and Trust Management - 12th International Workshop, STM 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings 2016 Engelska
32 Security and Trust Management 2016 Okänt
33 Security and Trust Management: 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers 2011 Okänt
34 Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings 2011 Okänt

Förra sidan 1 2

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.