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: Ralf. Hinze
8 träffar
|
Titel |
Författare |
År |
Språk |
| 1 |
Deduktive Datenbanken - eine Einführung aus der Sicht der logischen Programmierung
|
Armin B. Cremers
|
1994 |
Engelska |
| 2 |
Datatype-Generic Programming - International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures
|
Roland. Backhouse
|
2007 |
Engelska |
| 3 |
Datatype-Generic Programming : International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures
|
Roland Backhouse
|
2007 |
Okänt |
| 4 |
Implementation and Application of Functional Languages - 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers
|
Ralf. Hinze
|
2013 |
Engelska |
| 5 |
Mathematics of Program Construction - 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings
|
|
2015 |
Engelska |
| 6 |
Introducing String Diagrams
|
Ralf Hinze
|
2023 |
Okänt |
| 7 |
Implementation and Application of Functional Languages: 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers
|
Ralf Hinze
|
2013 |
Okänt |
| 8 |
Mathematics of Program Construction
|
Ralf Hinze
|
2015 |
Okänt |
1
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.