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 28 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 The fun of programming 2003 Engelska
4 Generic and Indexed Programming Jeremy Gibbons 2012 Okänt
5 Generic programming. - advanced lectures c2003 Engelska
6 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
7 Proceedings of the 6th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming / Jeremy Gibbons Jeremy Gibbons uuuu-uuuu Okänt
8-9 Integrated Formal Methods (flera utgåvor) Jim. Davies 2007 Engelska
10-11 Datatype-Generic Programming (flera utgåvor) Roland. Backhouse 2007 Engelska
12 Teaching Formal Methods - Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings Jeremy. Gibbons 2009 Engelska
13 Algorithm design with Haskell Richard Bird 2020 Engelska
14 Mathematics of Program Construction - 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings Jeremy. Gibbons 2012 Engelska
15 Generic and Indexed Programming - International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures Jeremy. Gibbons 2012 Engelska
16 Datatype-Generic Programming : International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures Roland Backhouse 2007 Okänt
17 Bidirectional Transformations - International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures 2018 Engelska
18 ICFP 2017 Adjunct Proceedings Jeremy Gibbons uuuu-uuuu Okänt
19 Generic Programming Johan Jeuring 2003 Okänt
20 Functional and Logic Programming : 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings Jeremy. Gibbons uuuu-uuuu 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.