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: Alain. Finkel 7 träffar
| Titel | Författare | År | Språk | |
|---|---|---|---|---|
| 1 | STACS 92 - proceedings | Symposium on Theoretical Aspects of Computer Science 1992) Cachan : | cop. 1992 | Engelska |
| 2-3 | Computer aided verification - 13th international conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings (flera utgåvor) | International Conference on Computer Aided Verification 2001 : Paris) | cop. 2001 | Engelska |
| 4 | STACS 92 | Alain Finkel | uuuu-uuuu | Okänt |
| 5 | Reachability Problems - 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings | Alain. Finkel | 2012 | Engelska |
| 6 | Reachability Problems | Alain Finkel | 2012 | Okänt |
| 7 | Manuel d'analyse cognitive des émotions | Alain Finkel | 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.