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
1 Foundations of Security Analysis and Design V - FOSAD 2007/2008/2009 Tutorial Lectures Alessandro. Aldini 2009 Engelska
2 Foundations of Security Analysis and Design V Alessandro Aldini 2009 Okänt
3-4 Applied semantics - advanced lectures : international summer school, APPSEM 2000, Caminha, Portugal, September 9-15, 2000 (flera utgåvor) International Summer School on Applied Semantics ( 2000 : Caminha) cop. 2002 Engelska
5-8 Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (flera utgåvor) Gilles. Barthe 2006 Engelska
9 Engineering Secure Software and Systems - 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings Gilles. Barthe 2012 Engelska
10 "Engineering Secure Software and Systems: 4th International Symposium, ESSoS 2012, Eindhoven, the Netherlands, February, 16-17, 2012, Proceedings" Gilles Barthe 2012 Okänt
11 Formal Aspects of Security and Trust - 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers Gilles. Barthe 2012 Engelska
12 Formal Methods for Open Object-Based Distributed Systems electronic resource - 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings Gilles. Barthe 2008 Engelska
13 "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
14 Foundations of Probabilistic Programming Gilles Barthe 2020 Engelska
15 "Proceedings of the 11th international conference on Verification, Model Checking, and Abstract Interpretation" Gilles Barthe 2010 Okänt
16 Programming Languages and Systems - 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings Gilles. Barthe 2011 Engelska
17 Software Engineering and Formal Methods - 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings Gilles. Barthe 2011 Engelska
18 Trustworthy Global Computing - Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers Gilles. Barthe 2008 Engelska
19 Verification, Model Checking, and Abstract Interpretation - 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings Gilles. Barthe 2010 Engelska
20 Security and Trust Management - 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers Jorge. Cuellar 2011 Engelska

1 2 Nästa sida

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.