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: Gary D. Hachtel 7 träffar
| Titel | Författare | År | Språk | |
|---|---|---|---|---|
| 1 | Logic Minimization Algorithms for VLSI Synthesis | Alberto L. Sangiovanni-Vincentelli | 1984 | Okänt |
| 2 | Logic Synthesis and Verification Algorithms | Gary D. Hachtel | uuuu-uuuu | Okänt |
| 3 | Abstraction Refinement for Large Scale Model Checking (Series on integrated circuits and systems) | Gary D. Hachtel | uuuu-uuuu | Okänt |
| 4-5 | Logic synthesis and verification algorithms (flera utgåvor) | Gary D. Hachtel | cop. 1996 | Engelska |
| 6 | Logic synthesis and verification algorithms electronic resource | Gary D. Hachtel | c1996 | Engelska |
| 7 | Abstraction Refinement for Large Scale Model Checking electronic resource | Chao. Wang | 2006 | 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.