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: Dave. Clarke 17 träffar

Titel Författare År Språk
1-2 A Secure Compiler for ML Modules - Extended Version (flera utgåvor) Adriaan Larmuseau 2015 Engelska
3 Coordination Models and Languages - 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings Dave. Clarke 2010 Engelska
4 Modelling an Assembly Attacker by Reflection Adriaan Larmuseau 2015 Engelska
5 Protecting Functional Programs From Low-Level Attackers Adriaan Larmuseau 2016 Engelska
6 Affine killing - Semantics for stopping the ParT UK Oxford September 3 TyDe 2017 Kiko Fernandez-Reyes 2017 Engelska
7 Aliasing in Object-Oriented Programming. Types, Analysis and Verification Dave. Clarke 2013 Engelska
8 Formalizing a Secure Foreign Function Interface - Extended Version Adriaan Larmuseau 2015 Engelska
9 Formalizing a secure foreign function interface UK York September 7–11 13th International Conference on Software Engineering and Formal Methods (SEFM) Adriaan Larmuseau 2015 Engelska
10 A high-level model for an assembly language attacker by means of reflection China Nanjing November 4–6 SETTA 2015 Adriaan Larmuseau 2015 Engelska
11 Capability-Based Type Systems for Concurrency Control Elias Castegren 2018 Engelska
12 Secure compilation of Object-Oriented components to protected module architectures Australia Melbourne 2013 December 9-11 11th Asian Symposium on Programming Languages and Systems Marco Patrignani 2013 Engelska
13 Executable modelling of dynamic software product lines in the ABS language IN Indianapolis October 26 FOSD 2013 Radu Muschevici 2013 Engelska
14 Implementing a Secure Abstract Machine – Extended Version Adriaan Larmuseau 2015 Engelska
15 Forward to a Promising Future 2018. June 18-21 Madrid COORDINATION - 20th International Conference on Coordination Models and Languages Kiko Fernandez-Reyes 2018 Engelska
16 Godot - All the Benefits of Implicit and Explicit Futures 15-19 july 2019 UK London 33rd European Conference on Object-Oriented Programming (ECOOP 2019) Kiko Fernandez-Reyes 2019 Engelska
17 Batman - night of the Owls Scott. Snyder 2013 Engelska

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.