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: Davide Sangiorgi 16 träffar

Titel Författare År Språk
1 Advanced topics in bisimulation and coinduction 2012 Engelska
2 CONCUR '98 Concurrency Theory - 9th International Conference, Nice, France, September 8-11, 1998, Proceedings International Conference on Concurrency Theory 1998 Engelska
3-4 CONCUR'98 - Concurrency theory : 9th International Conference, Nice, France, September 8-11 1998 : proceedings (flera utgåvor) International Conference on Concurrency Theory 1998 : Nice) cop. 1998 Engelska
5 Advanced Topics in Bisimulation and Coinduction (Cambridge Tracts in Theoretical Computer Science) Davide Sangiorgi uuuu-uuuu Okänt
6 Introduction to Bisimulation and Coinduction Davide Sangiorgi uuuu-uuuu Okänt
7 Trustworthy Global Computing Rocco. De Nicola Engelska
8 Theoretical Computer Science - 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings Josep. Diaz 2014 Engelska
9 Theoretical Computer Science Josep Diaz 2014 Okänt
10 Trustworthy Global Computing - International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers Rocco. Nicola 2005 Engelska
11 Trustworthy Global Computing: International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005 : Revised Selected Papers (Lecture notes in computer science 3705) Rocco De Nicola 2005 Okänt
12 Advanced Topics in Bisimulation and Coinduction Davide. Sangiorgi 2011 Engelska
13 An introduction to bisimulation and coinduction / Davide Sangiorgi. electronic resource Davide Sangiorgi uuuu-uuuu Okänt
14-15 Introduction to bisimulation and coinduction (flera utgåvor) Davide. Sangiorgi 2012 Engelska
16 The π-calculus - a theory of mobile processes Davide Sangiorgi 2001 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.