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

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.