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.