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: Nuno Oliveira 8 träffar
| Titel | Författare | År | Språk | |
|---|---|---|---|---|
| 1-2 | FME 2001 - formal methods for increasing software productivity : international symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : proceedings (flera utgåvor) | cop. 2001 | Engelska | |
| 3 | Teaching Formal Methods - Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings | Jeremy. Gibbons | 2009 | Engelska |
| 4 | Klassiska principer i konsten att dressera hästar | Nuno Oliveira | cop. 2010 | Svenska |
| 5 | Reflexioner om ridkonsten | Nuno Oliveira | cop. 2011 | Svenska |
| 6 | Reflections on the equestrian art | Nuno Oliveira | 1988 | Engelska |
| 7 | Teaching Formal Methods | Jeremy Gibbons | 2009 | Okänt |
| 8 | Mathematics of Program Construction - 5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings | Portugal) MPC 2000 (2000 : Ponte do Lima MPC 2000 | 2000 | 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.