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 |
21 |
Teaching Formal Methods
|
Jeremy Gibbons
|
2009 |
Okänt |
22 |
Fun of Programming
|
Jeremy Gibbons
|
2023 |
Engelska |
23 |
Integrated Formal Methods
|
Jim Davies
|
2007 |
Okänt |
24 |
Mathematics of Program Construction
|
Jeremy Gibbons
|
2012 |
Okänt |
25 |
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 |
26 |
Algorithm design with Haskell
|
Richard Bird
|
2020 |
Engelska |
27 |
Functional and Logic Programming : 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings
|
Jeremy. Gibbons
|
2024 |
Engelska |
28 |
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 |
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.