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: David A. Schmidt
9 träffar
|
Titel |
Författare |
År |
Språk |
| 1-2 |
Denotational semantics - a methodology for language development
(flera utgåvor)
|
David A. Schmidt
|
cop. 1988 |
Engelska |
| 3 |
The structure of typed programming languages
|
David A. Schmidt
|
cop. 1994 |
Engelska |
| 4 |
Static analysis - Third International Symposium, SAS '96, Aachen, Germany, September 24-26, 1996 : Proceedings
|
International Static Analysis Symposium 1996) Aachen :
|
1996 |
Engelska |
| 5-6 |
The essence of computation - complexity, analysis, transformation : essays dedicated to Neil D. Jones
(flera utgåvor)
|
|
cop. 2002 |
Engelska |
| 7 |
Programming languages and systems. - 13th European Symposium on Programming, ESOP 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings
|
Spain) European Symposium on Programming 2004 : Barcelona
|
c2004 |
Engelska |
| 8 |
Static Analysis
|
|
1996 |
Engelska |
| 9 |
Programming Languages and Systems: 13Th European Symposium on Programming, ESOP 2004, Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, M
|
David A. Schmidt
|
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.