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: Jeremy. Gibbons 29 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 Datatype-Generic Programming (flera utgåvor) Roland. Backhouse 2007 Engelska
5 Bidirectional Transformations - International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures 2018 Engelska
6 Bidirectional Transformations 2018 Okänt
7-8 Algorithm design with Haskell (flera utgåvor) Richard Bird 2020 Engelska
9-10 Integrated Formal Methods (flera utgåvor) Jim. Davies 2007 Engelska
11 The fun of programming 2003 Engelska
12 Generic programming. - advanced lectures c2003 Engelska
13 Foundations of Health Information Engineering and Systems - Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers Jeremy. Gibbons 2014 Engelska
14 Fun of Programming Jeremy Gibbons 2023 Engelska
15 Functional and Logic Programming : 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings Jeremy. Gibbons uuuu-uuuu Okänt
16 Functional and Logic Programming : 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings Jeremy. Gibbons 2024 Engelska
17 Functional and Logic Programming : 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15–17, 2024, Proceedings / edited by Jeremy Gibbons, Dale Miller Jeremy. Gibbons uuuu-uuuu Okänt
18 Generic and Indexed Programming - International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures Jeremy. Gibbons 2012 Engelska
19 Mathematics of Program Construction - 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings Jeremy. Gibbons 2012 Engelska
20 "Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings" Jeremy Gibbons 2012 Okänt

1 2 Nästa sida

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.