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: Workshop on Computer Science Logic
68 träffar
|
Titel |
Författare |
År |
Språk |
41-44 |
Computer Science Logic
(flera utgåvor)
|
Workshop on Computer Science Logic
|
1999 |
Engelska |
45 |
CSL '89
|
Workshop on Computer Science Logic
|
1990 |
Engelska |
46 |
Computer science logic - selected papers
|
Workshop on Computer Science Logic 1993) Swansea :
|
cop. 1994 |
Engelska |
47-48 |
Computer science logic - proceedings
(flera utgåvor)
|
|
cop. 1992 |
Engelska |
49 |
Computer science logic - selected papers
|
Workshop on Computer Science Logic 1994) Kazimirez :
|
cop. 1995 |
Engelska |
50-51 |
Computer science logic - 16th International Workshop, CSL 2002, 11th annual conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002 : proceedings
(flera utgåvor)
|
International Workshop on Computer Science Logic 2002 : Edinburgh)
|
cop. 2002 |
Engelska |
52 |
CSL '87
|
Workshop on Computer Science Logic 1987) Karlsruhe :
|
cop. 1988 |
Engelska |
53 |
CSL '88
|
Workshop on Computer Science Logic 1988) Duisburg :
|
cop. 1989 |
Engelska |
54 |
CSL '89 - proceedings
|
Workshop on Computer Science Logic 1989) Kaiserslautern :
|
cop. 1990 |
Engelska |
55 |
Deontic Logic in Computer Science
|
International Workshop on Deontic Logic in Computer Science
|
2004 |
Engelska |
56 |
Computer science logic - 9th International Workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22 - 29, 1995 : selected papers
|
International Workshop on Computer Science Logic 1995) Paderborn :
|
cop. 1996 |
Engelska |
57 |
Computer science logic - 10th international workshop, CSL '96 : Annual Conference of the EACSL, Utrech, The Netherlands, September 21-27, 1996 : selected papers
|
International Workshop on Computer Science Logic 1996) Utrecht :
|
cop. 1997 |
Engelska |
58 |
Computer science logic - 11th International Workshop, CSL '97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers
|
International Workshop on Computer Science Logic 1997) Aarhus :
|
cop. 1998 |
Engelska |
59 |
Computer science logic - proceedings
|
International Workshop on Computer Science Logic 1998) Brno :
|
cop. 1999 |
Engelska |
60 |
Computer science logic - 13th international workshop CSL'99 8th Annual Conference on the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings
|
International Workshop on Computer Science Logic 1999 : Madrid)
|
cop. 1999 |
Engelska |
Förra sidan
1
2
3
4
Nästa sida
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.