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 19 träffar

Titel Författare År Språk
1 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
2 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
3 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
4 Handbook of logic in computer science Vol. 1, Background - mathematical structures 1992 Engelska
5 Handbook of logic in computer science Vol. 2, Background - computational structures 1992 Engelska
6-7 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
8 Abstract interpretation of declarative languages 1987 Engelska
9-10 TAPSOFT '91 (flera utgåvor) International Joint Conference on Theory and Practice of Software Development 1991 Engelska
11-12 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
13-14 Dependence logic - theory and applications (flera utgåvor) 2016 Engelska
15 Category Theory and Computer Programming - Tutorial and Workshop, Guildford, U.K., September 16 - 20, 1985. Proceedings 1986 Engelska
16 Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001 Kraków, Poland, May 25, 2001 Proceedings Samson Abramsky uuuu-uuuu Okänt
17 Automata, Languages and Programming, Volume 6198 2010 Okänt
18 Handbook of Logic in Computer Science S. Abramsky 2000 Engelska
19 Automata, Languages and Programming, Volume 6199 2010 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.