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: Björn Victor 18 träffar

Titel Författare År Språk
1 Adding a language with composition to a verification tool Björn Victor 1991 Engelska
2 The Mobility Workbench - a tool for the π-calculus Björn Victor 1994 Engelska
3 The fusion calculus - expressiveness and symmetry in mobile processes Björn Victor 1998 Engelska
4 Proceedings of the 11th Nordic Workshop on Programming Theory, NWPT '99, Uppsala University, Sweden, October 6-8, 1999 Nordic Workshop on Programming Theory Uppsala : 1999) 1999 Engelska
5 Symbolic characterizations and algorithms for hyperequivalence Björn Victor 1998 Engelska
6 The fusion calculus - Expressiveness and symmetry in mobile processes Björn Victor 1998 Engelska
7 Proceedings från 5:e Utvecklingskonferensen för Sveriges ingenjörsutbildningar Stefan Pålsson 2016 Svenska
8 Advancing concurrent system verification - Type based approach and tools Ramunas Gutkovas 2014 Engelska
9 Protocol, mobility and adversary models for the verification of security Volkan Cambazoglu 2016 Engelska
10 Languages, Logics, Types and Tools for Concurrent System Modelling Ramūnas Gutkovas 2016 Engelska
11 Culling Concurrency Theory - Reusable and trustworthy meta-theory, proof techniques and separation results Johannes Åman Pohjola 2016 Engelska
12-13 Extern granskning av utbildningsprogram – erfarenheter från två lärosäten (flera utgåvor) 2019 27 november – 28 november Luleå tekniska universitet 7:e Utvecklingskonferensen för Sveriges ingenjörsutbildningar Liselott Lycke 2019 Svenska
14 Broadcast Psi-calculi with an Application to Wireless Protocols Uruguay Montevideo 2011 November 14-18 9th International Conference on Software Engineering and Formal Methods Johannes Borgström 2011 Engelska
15 Modelling and analysing a WSN secure aggregation protocol - A comparison of languages and tool support Volkan Cambazoglu 2015 Engelska
16 Abstractions to Control the Future Francisco Ramón Fernández Reyes 2021 Engelska
17 Relations in Models of Calculi and Logics with Names Kidane Yemane 2006 Engelska
18 Supporting Shared Responsibility for Integrating Ethics into Science and Technology Education Sweden Uppsala 2022 8-11 October Frontiers in Education Conference (FIE) Mikael Laaksoharju 2022 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.