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: Simona Ronchi Della Rocca
8 träffar
|
Titel |
Författare |
År |
Språk |
| 1 |
Automata, languages and programming - proceedings
|
|
cop. 1989 |
Engelska |
| 2 |
The parametric lambda calculus - a meta-model for computation
|
Simona Ronchi Della Rocca
|
c2004 |
Engelska |
| 3-4 |
Theoretical computer science - 7th Italian Conference : proceedings
(flera utgåvor)
|
Italian Conference on Theoretical Computer Science 2001) Torino :
|
cop. 2001 |
Engelska |
| 5 |
The Parametric Lambda Calculus : A Metamodel for Computation / by Simona Ronchi Della Rocca, Luca Paolini
|
Simona. author. Ronchi Della Rocca
|
uuuu-uuuu |
Okänt |
| 6 |
The Parametric Lambda Calculus
|
Simona Ronchi Della Rocca
|
2004 |
Okänt |
| 7 |
Typed Lambda Calculi and Applications: 8Th International Conference, TLCA 2007, Paris, France, June 26-28, 2007 Proceedings (Lecture notes in computer science, 0302-9743 4583)
|
Simona Ronchi Della Rocca
|
2007 |
Okänt |
| 8 |
Theoretical Computer Science - 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001. Proceedings
|
|
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.