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.