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
13 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 |
An introduction to bisimulation and coinduction / Davide Sangiorgi. electronic resource
|
Davide Sangiorgi
|
uuuu-uuuu |
Okänt |
| 13 |
Theoretical Computer Science
|
Josep Diaz
|
2014 |
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.