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: Symposium on Logic in Computer Science
28 träffar
|
Titel |
Författare |
År |
Språk |
1-2 |
LICS 2009 : proceedings : 24th annual IEEE Symposium on Logic in Computer Science : Los Angeles, California, 11-14 August 2009
(flera utgåvor)
|
Calif.) 2009 : (24th Symposium on Logic in Computer Science Los Angeles
|
uuuu-uuuu |
Okänt |
3-4 |
Proceedings, twenty-third annual IEEE Symposium on Logic in Computer Science : 24-27 June 2008, Pittsburgh, Pennsylvania
(flera utgåvor)
|
Pa.) 2008 : (23rd Symposium on Logic in Computer Science Pittsburgh
|
uuuu-uuuu |
Okänt |
5 |
16th Symposium on Logic in Computer Science, 2001, Boston, MA
|
Symposium on Logic in Computer Science Staff Corporate Author
|
uuuu-uuuu |
Okänt |
6 |
LICS '06 : 21st annual IEEE Symposium on Logic in Computer Science : 12-15 August 2006
|
Wash.) 2017 : (21st Symposium on Logic in Computer Science Seattle
|
uuuu-uuuu |
Okänt |
7 |
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science : 5-8 July 2016, New York, NY, USA / sponsored by IEEE Computer Society and seven others
|
N.Y.) 2016 : (31st Annual ACM/IEEE Symposium on Logic in Computer Science New York
|
uuuu-uuuu |
Okänt |
8 |
LICS : proceedings of the 2015 30th annual ACM/IEEE Symposium on Logic in Computer Science / sponsors, ACM Special Interest Group on Logic and Computation, IEEE CS
|
Japan) 2015 : (30th Symposium on Logic in Computer Science Kyoto
|
uuuu-uuuu |
Okänt |
9 |
Proceedings of the joint meeting of the twenty-third EACSL annual Conference on Computer Science Logic (CSL) and the twenty-ninth annual ACM/IEEE Symposium on Logic in Computer Science (LICS
|
Symposium on Logic in Computer Science.
|
uuuu-uuuu |
Okänt |
10 |
Proceedings 18, June 22-25, 2003, Ottawa, Canada
|
Symposium on Logic in Computer Science
|
2003 |
Engelska |
11 |
Proceedings 13, June 21-24, 1998, Indianapolis, Indiana
|
Symposium on Logic in Computer Science
|
Cop. 1998 |
Engelska |
12 |
Proceedings 6, July 15-18, 1991, Amsterdam, the Netherlands
|
Symposium on Logic in Computer Science
|
Cop. 1991 |
Engelska |
13 |
Proceedings 7, Santa Cruz, California, June 22-25, 1992
|
Symposium on Logic in Computer Science
|
Cop. 1992 |
Engelska |
14 |
Proceedings 8, June 19-23, 1993, Montreal Canada
|
Symposium on Logic in Computer Science
|
Cop. 1993 |
Engelska |
15 |
Proceedings 9, Paris, France, July 4-7, 1994
|
Symposium on Logic in Computer Science
|
Cop. 1994 |
Engelska |
16 |
Proceedings 10, June 26-29, 1995, San Diego, California
|
Symposium on Logic in Computer Science
|
Cop. 1995 |
Engelska |
17 |
Proceedings 11, July 27-30, 1996, New Brunswick, New Jersey
|
Symposium on Logic in Computer Science
|
Cop. 1996 |
Engelska |
18 |
Proceedings 12, June 29-July 2, 1997, Warsaw, Poland
|
Symposium on Logic in Computer Science
|
cop. 1997 |
Engelska |
19 |
Proceedings 5, June 4-7, 1990, Philadelphia, PA
|
Symposium on Logic in Computer Science
|
Cop. 1990 |
Engelska |
20 |
Special issue - selections from 1990 IEEE Symposium on Logic in Computer Science : Philadelphia
|
IEEE Symposium on Logic in Computer Science (Philadelphia : 1990)
|
1992 |
Engelska |
1
2
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.