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: Mads Dam 34 träffar

Titel Författare År Språk
1 On adaptable support for cooperative work Mads Dam 1994 Engelska
2 On the decidability of process equivalences for the π-calculus Mads Dam 1994 Engelska
3 Reasoning about higher-order processes Roberto M. Amadio 1994 Engelska
4 Towards a model theory of types for the π-calculus Roberto M. Amadio 1996 Engelska
5 Analysis and verification of multible agent languages - 5th LOMAPS Workshop : abstracts LOMAPS Workshop on Analysis and Verification of Multible - Agent Languages 1996 : Stockholm) 1996 Engelska
6 Analysis and verification of multiple agent languages LOMAPS Workshop on Analysis and Verification of Multiple- Agent Languages 1996 : Stockholm) cop. 1997 Engelska
7 On the verification of open distributed systems Mads Dam 1997 Engelska
8 A complete axiomatization of knowledge and cryptography - technical report Mika Cohen 2007 Engelska
9 Analysis and Verification of Multiple-Agent Languages LOMAPS Workshop 1997 Engelska
10 Secure IT Systems - 20th Nordic Conference, NordSec 2015, Stockholm, Sweden, October 19–21, 2015, Proceedings 2015 Engelska
11 Automating Information Flow Analysis of Low Level Code USA Arizona Scottsdale 2014 November 3–7 CCS’14 Musard Balliu 2014 Engelska
12 Computer Science Logic 2017 Sweden Stockholm 2017 August 20–24 CSL 2017 26th EACSL Annual Conference on Computer Science Logic 2017 Engelska
13 Trustworthy prevention of code injection in Linux on embedded devices ESORICS 2015; Vienna; Austria 20th European Symposium on Research in Computer Security Hind Chfouka 2015 Engelska
14 Trustworthy virtualization of the ARMv7 memory subsystem SOFSEM 2015; Pec pod Sněžkou; Czech Republic; 24 January 2015 through 29 January 2015 41st International Conference on Current Trends in Theory and Practice of Computer Science Hamed Nemati 2015 Engelska
15 Scalable Metadata-Directed Search in a Network of Information 2010 Future Network and Mobile Summit; Florence; Italy; 16 June 2010 through 18 June 2010 Karl Palmskog 2010 Engelska
16 Secure System Virtualization - End-to-End Verification of Memory Isolation Hamed Nemati 2017 Engelska
17 Trustworthy Memory Isolation of Linux on Embedded Devices GREECE Heraklion Inst Comp Sci Fdn Res & Technol Hellas 2015 AUG 24-26 8th International Conference on Trust and Trustworthy Computing (TRUST) Hamed Nemati 2015 Engelska
18 Machine Assisted Proof of ARMv7 Instruction Level Isolation Properties Certified Programs and Proofs (CPP) Narges Khakpour 2013 Engelska
19 Cache Storage Channels - Alias-Driven Attacks and Verified Countermeasures 23 May 2016 through 25 May 2016 SP 2016 2016 IEEE Symposium on Security and Privacy Roberto Guanciale 2016 Engelska
20 Automatic Derivation of Platform Noninterference Properties 4 July 2016 through 8 July 2016 Austria Vienna STAF 2016 SEFM 2016 Held as Part of Conference on Software Technologies: Applications and Foundations 14th International Conference on Software Engineering and Formal Methods Oliver Schwarz 2016 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.