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: Ernest G. Manes 11 träffar
| Titel | Författare | År | Språk | |
|---|---|---|---|---|
| 1 | Arrows, structures, and functors - the categorical imperative | Michael A. Arbib | 1975 | Engelska |
| 2 | Algebraic theories | Ernest G. Manes | cop. 1976 | Engelska |
| 3-4 | Predicate transformer semantics (flera utgåvor) | Ernest G. Manes | 1992 | Engelska |
| 5 | Algebraic approaches to program semantics | Ernest G. Manes | cop. 1986 | Engelska |
| 6 | Category theory applied to computation and control - proceedings of the first international symposium, San Francisco, February 25-26, 1974 | 1975 | Engelska | |
| 7 | Algebraic Theories | Ernest G. Manes | 1976 | Okänt |
| 8 | Predicate transformer semantics | Ernest G. Manes | 2004 | Okänt |
| 9 | Predicate transformer semantics / Ernest G. Manes. electronic resource | Ernest G. Manes | uuuu-uuuu | Okänt |
| 10 | Algebraic Approaches to Program Semantics | Ernest G. Manes | 1986 | Okänt |
| 11 | Algebraic Approaches to Program Semantics / by Ernest G. Manes, Michael A. Arbib | Ernest G. author. Manes | 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.