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 Backhouse 19 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-11 Datatype-Generic Programming (flera utgåvor) Roland. Backhouse 2007 Engelska
12-13 "Datatype-Generic Programming: International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures" (flera utgåvor) Roland Backhouse 2008 Okänt
14 Generic programming. - advanced lectures c2003 Engelska
15 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
16 Mathematics of Program Construction International Conference on the Mathematics of Program Construction 2000 Engelska
17 Mathematics of Program Construction - 5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings Portugal) MPC 2000 (2000 : Ponte do Lima MPC 2000 2000 Engelska
18 Generic Programming: Advanced Lectures Roland Backhouse uuuu-uuuu Okänt
19 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.