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: Ana Bove
4 träffar
|
Titel |
Författare |
År |
Språk |
| 1 |
Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers. (Programming and Software Engineering)
|
Ana Bove
|
2009 |
Okänt |
| 2 |
General recursion in type theory
|
Ana Bove
|
2002 |
Engelska |
| 3 |
Language Engineering and Rigorous Software Development - International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures
|
Ana. Bove
|
2009 |
Engelska |
| 4 |
Programming in Martin-Löf type theory - unification a non-trivial example
|
Ana Bove
|
1999 |
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.