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 |
| 21 |
Proceedings of the 6th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming / Jeremy Gibbons
|
Jeremy Gibbons
|
uuuu-uuuu |
Okänt |
| 22 |
Teaching Formal Methods - Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings
|
Jeremy. Gibbons
|
2009 |
Engelska |
| 23 |
Foundations of Health Information Engineering and Systems: Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers
|
Jeremy Gibbons
|
2014 |
Okänt |
| 24 |
Generic and Indexed Programming
|
Jeremy Gibbons
|
2012 |
Okänt |
| 25 |
Mathematics of Program Construction
|
Jeremy Gibbons
|
2012 |
Okänt |
| 26 |
Teaching Formal Methods
|
Jeremy Gibbons
|
2009 |
Okänt |
| 27 |
Integrated Formal Methods
|
Jim Davies
|
2007 |
Okänt |
| 28 |
Generic Programming
|
Johan Jeuring
|
2003 |
Okänt |
| 29 |
Datatype-Generic Programming : International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures
|
Roland Backhouse
|
2007 |
Okänt |
Förra sidan
1
2
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.