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
21 Computer Science Logic electronic resource : 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings / edited by Egon Börger, Hans Kleine Büning, Michael M. Richter, Wolfgang Schönfeld Workshop on Computer Science Logic uuuu-uuuu Okänt
22 Computer Science Logic electronic resource : 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings / edited by Egon Börger, Gerhard Jäger, Hans Kleine Büning, Michael M. Richter Workshop on Computer Science Logic uuuu-uuuu Okänt
23 Computer Science Logic electronic resource : 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers / edited by Egon Börger, Gerhard Jäger, Hans Kleine Büning, Simone Martini, Michael M. Richter Workshop on Computer Science Logic uuuu-uuuu Okänt
24 Computer Science Logic electronic resource : 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers / edited by Egon Börger, Yuri Gurevich, Karl Meinke Workshop on Computer Science Logic uuuu-uuuu Okänt
25 Computer Science Logic electronic resource : 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers / edited by Leszek Pacholski, Jerzy Tiuryn Workshop on Computer Science Logic uuuu-uuuu Okänt
26 Computer Science Logic electronic resource : 9th International Workshop, CSl '95, Annual Conference of the EACSL Paderborn, Germany, September 22-29, 1995. Selected Papers / edited by Hans Kleine Buening Workshop on Computer Science Logic uuuu-uuuu Okänt
27 "CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings" Workshop on Computer Science Logic 1990 Okänt
28 CSL '89 electronic resource : 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings / edited by Egon Börger, Hans Kleine Büning, Michael M. Richter Workshop on Computer Science Logic uuuu-uuuu Okänt
29 Computer Science Logic electronic resource : 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September / edited by Julian Bradfield Scotland) 2002 : (16th Workshop on Computer Science Logic Edinburgh uuuu-uuuu Okänt
30 Computer Science Logic electronic resource : 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings / edited by Peter G. Clote, Helmut Schwichtenberg Germany) Workshop on Computer Science Logic Fischbachau uuuu-uuuu Okänt
31 Computer science logic : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005 : proceedings / Luke Ong (ed.) England) 2005 : (19th Workshop on Computer Science Logic Oxford uuuu-uuuu Okänt
32 Computer Science Logic electronic resource : 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings / edited by Laurent Fribourg France) Workshop on Computer Science Logic Paris uuuu-uuuu Okänt
33 Computer Science Logic electronic resource : 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings / edited by Zoltán Ésik Hungary) 2006 : (20th Workshop on Computer Science Logic Szeged uuuu-uuuu Okänt
34 Computer Science Logic electronic resource : 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996, Selected Papers / edited by Dirk van Dalen, Marc Bezem Netherlands) 1996 : (10th Workshop on Computer Science Logic Utrecht uuuu-uuuu Okänt
35 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
36 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
37-40 Computer Science Logic (flera utgåvor) Workshop on Computer Science Logic 1994 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.