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: Jacques Loeckx 8 träffar
| Titel | Författare | År | Språk | |
|---|---|---|---|---|
| 1-2 | The foundations of program verification (flera utgåvor) | Jacques Loeckx | cop. 1987 | Engelska |
| 3 | Foundations of programming languages | Jacques Loeckx | cop. 1988 | Engelska |
| 4 | Specification of abstract data types | Jacques Loeckx | cop. 1996 | Engelska |
| 5 | Computability and decidability - an introduction for students of computer science | Jacques Loeckx | 1972 | Engelska |
| 6 | Automata, languages and programming - 2nd colloquium, University of Saarbrücken, July 29 - August 2, 1974 | Languages and Programming 1974) Saarbrücken : Colloquium on Automata | 1974 | Engelska |
| 7 | Algorithmentheorie | Jacques Loeckx | 1976 | Tyska |
| 8 | Automata, languages and programming. - 2nd Colloquium, University of Saarbrücken, July 29 - August 2, 1974 | 1974 | 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.