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: Stephanie Weirich
11 träffar
|
Titel |
Författare |
År |
Språk |
| 1 |
Programming Languages and Systems electronic resource : 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II / edited by Stephanie Weirich
|
Stephanie. Weirich
|
uuuu-uuuu |
Okänt |
| 2 |
Proceedings of the 2013 ACM SIGPLAN workshop on Dependently-typed programming
|
Stephanie Weirich
|
uuuu-uuuu |
Okänt |
| 3 |
Programming Languages and Systems electronic resource : 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I / edited by Stephanie Weirich
|
Stephanie. Weirich
|
uuuu-uuuu |
Okänt |
| 4 |
DTP '13 : proceedings of the 2013 ACM SIGPLAN Workshop on Dependently-Typed Programming : September 24, 2013, Boston, Massachusetts, USA
|
Stephanie Weirich
|
uuuu-uuuu |
Okänt |
| 5 |
Programming Languages and Systems: 33rd European Symposium on Programming, ESOP 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I
|
|
2024 |
Okänt |
| 6 |
Programming Languages and Systems: 33rd European Symposium on Programming, ESOP 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I
|
Stephanie Weirich
|
uuuu-uuuu |
Okänt |
| 7 |
Programming Languages and Systems: 33rd European Symposium on Programming, ESOP 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II
|
Stephanie Weirich
|
uuuu-uuuu |
Okänt |
| 8 |
Programming Languages and Systems: 33rd European Symposium on Programming, ESOP 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II
|
|
2024 |
Okänt |
| 9 |
Programming Languages and Systems: 33rd European Symposium on Programming, ESOP 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I
|
Stephanie Weirich
|
2024 |
Engelska |
| 10 |
Programming Languages and Systems: 33rd European Symposium on Programming, ESOP 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II
|
Stephanie Weirich
|
2024 |
Engelska |
| 11 |
Proceedings of the 2nd Acm Sigplan Symposium on Haskell
|
Stephanie Weirich
|
uuuu-uuuu |
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.