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: European Association for Computer Science Logic
17 träffar
|
Titel |
Författare |
År |
Språk |
1 |
"Computer science logic : 18th international workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings"
|
European Association for Computer Science Logic Conference
|
2004 |
Okänt |
2 |
Computer Science Logic electronic resource : 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings / edited by Jerzy Marcinkowski
|
Poland) 2004 : (13th European Association for Computer Science Logic. Conference Karpacz
|
uuuu-uuuu |
Okänt |
3-4 |
Computer Science Logic
(flera utgåvor)
|
Workshop on Computer Science Logic
|
1998 |
Engelska |
5 |
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 |
6-7 |
Computer science logic - 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings
(flera utgåvor)
|
International Workshop on Computer Science Logic 2001 : Paris)
|
cop. 2001 |
Engelska |
8-9 |
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 |
10 |
Computer science logic - proceedings
|
International Workshop on Computer Science Logic 1998) Brno :
|
cop. 1999 |
Engelska |
11-12 |
Computer science logic - 13th international workshop CSL'99 8th Annual Conference on the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings
(flera utgåvor)
|
International Workshop on Computer Science Logic 1999 : Madrid)
|
cop. 1999 |
Engelska |
13-14 |
Computer science logic - 18th international workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings
(flera utgåvor)
|
European Association for Computer Science Logic
|
2004 |
Engelska |
15 |
Computer Science Logic - 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996, Selected Papers
|
Netherlands) Workshop on Computer Science Logic 1996 : Utrecht Workshop on Computer Science Logic
|
1997 |
Engelska |
16 |
Computer Science Logic - 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings
|
Germany), Workshop on Computer Science Logic 2000 : Fischbachau Workshop on Computer Science Logic
|
2000 |
Engelska |
17 |
Computer science logic. - 17th international workshop, CSL 2003, 12th annual conference of the EACSL, and the 8th Kurt Gödel Colloquium, KGC 2003 : proceedings
|
|
2003 |
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.