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: Mark D. Aagaard 5 träffar
| Titel | Författare | År | Språk | |
|---|---|---|---|---|
| 1-2 | Formal methods in computer-aided design - 4th international conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002 : proceedings (flera utgåvor) | FMCAD 2002 (2002 : Portland) | cop. 2002 | Engelska |
| 3 | Formal Methods in Computer-Aided Design | FMCAD 2002 | 2002 | Engelska |
| 4 | Formal Methods in Computer-Aided Design: 4th International Conference, FMCAD 2002 Portland, OR, USA, November 68, 2002 Proceedings | Mark D. Aagaard | uuuu-uuuu | Okänt |
| 5 | Theorem Proving in Higher Order Logics | TPHOLs 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.