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 18 träffar

Titel Författare År Språk
1 Special issue on the calculational method 1995 Engelska
2 Program construction and verification Roland C. Backhouse cop. 1986 Engelska
3 Syntax of programming languages - theory and practice Roland C. Backhouse cop. 1979 Engelska
4 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
5-6 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
7 Program construction - calculating implementations from specifications Roland C. Backhouse cop. 2003 Engelska
8 Generic programming. - advanced lectures c2003 Engelska
9-10 Datatype-Generic Programming (flera utgåvor) Roland. Backhouse 2007 Engelska
11 Mathematics of Program Construction International Conference on the Mathematics of Program Construction 2000 Engelska
12-13 Algorithmic Problem Solving (flera utgåvor) Roland C. Backhouse 2011 Engelska
14 Datatype-Generic Programming : International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures Roland Backhouse 2007 Okänt
15 Generic Programming: Advanced Lectures Roland Backhouse uuuu-uuuu Okänt
16 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
17 Program construction electronic resource : calculating implementations from specifications / Roland Backhouse Roland C. Backhouse uuuu-uuuu Okänt
18 Algorithmic problem solving / Roland Backhouse Roland C. Backhouse 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.