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: Samson. Abramsky 20 träffar

Titel Författare År Språk
1-2 Automata, Languages and Programming - 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II (flera utgåvor) Samson. Abramsky 2010 Engelska
3 Abstract interpretation of declarative languages 1987 Engelska
4 Automata, Languages and Programming, Volume 6198 2010 Okänt
5 Automata, Languages and Programming, Volume 6199 2010 Okänt
6 Category Theory and Computer Programming - Tutorial and Workshop, Guildford, U.K., September 16 - 20, 1985. Proceedings 1986 Engelska
7-8 Dependence logic - theory and applications (flera utgåvor) 2016 Engelska
9 Dependence Logic: Theory and Applications 2016 Okänt
10 Handbook of logic in computer science Vol. 1, Background - mathematical structures 1992 Engelska
11 Handbook of logic in computer science Vol. 2, Background - computational structures 1992 Engelska
12 Handbook of Logic in Computer Science S. Abramsky 2000 Engelska
13 Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001 Kraków, Poland, May 25, 2001 Proceedings Samson Abramsky uuuu-uuuu Okänt
14-15 TAPSOFT '91 (flera utgåvor) International Joint Conference on Theory and Practice of Software Development 1991 Engelska
16 TAPSOFT'91 - proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 1991 International Joint Conference on Theory and Practice of Software Development 1991) Brighton : cop. 1991 Engelska
17 TAPSOFT'91 Vol. 1, Colloquium on Trees in Algebra and Programming (CAAP'91) - proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 1991 International Joint Conference on Theory and Practice of Software Development 1991) Brighton : cop. 1991 Engelska
18 TAPSOFT'91 Vol. 2, Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Development (CCPSD) - proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 199 International Joint Conference on Theory and Practice of Software Development 1991) Brighton : cop. 1991 Engelska
19-20 Typed lambda calculi and applications - 5th international conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings (flera utgåvor) International Conference on Typed Lambda Calculi and Applications 2001) Kraków : cop. 2001 Engelska

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.