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: Roland C. Backhouse 13 träffar

Titel Författare År Språk
1-2 Algebraic and coalgebraic methods in the mathematics of program construction - international summer school and workshop, Oxford, UK, April 10-14, 2000 : revised lectures (flera utgåvor) cop. 2002 Engelska
3-4 Algorithmic Problem Solving (flera utgåvor) Roland C. Backhouse 2011 Engelska
5 Algorithmic problem solving / Roland Backhouse Roland C. Backhouse uuuu-uuuu Okänt
6 Generic programming : advanced lectures Roland C. Backhouse 2003 Okänt
7 Program construction - calculating implementations from specifications Roland C. Backhouse cop. 2003 Engelska
8 Program construction and verification Roland C. Backhouse cop. 1986 Engelska
9 Syntax of programming languages - theory and practice Roland C. Backhouse cop. 1979 Engelska
10 Generic programming. - advanced lectures c2003 Engelska
11 Mathematics of program construction - 5th international conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings International Conference on Mathematics of Program Construction 2000) Ponte de Lima : cop. 2000 Engelska
12 Mathematics of Program Construction International Conference on the Mathematics of Program Construction 2000 Engelska
13 Special issue on the calculational method 1995 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.