Anzeige der Suchergebnisse für

"Bücher & Zeitschriften"

&

"Refine=csl-computer"

Marc Bezem - Computer Science Logic: 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996, ... Notes in Computer Science, 1258, Band 1258)

Marc Bezem - Computer Science Logic: 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996, ... Notes in Computer Science, 1258, Band 1258)

zzgl. Versand (unbekannt)

Gerhard J??ger - Computer Science Logic: 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers (Lecture Notes in Computer Science, 702, Band 702)

Gerhard J??ger - Computer Science Logic: 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers (Lecture Notes in Computer Science, 702, Band 702)

zzgl. Versand (unbekannt)

Jacques Duparc - Computer Science Logic: 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, ... (Lecture Notes in Computer Science)

Jacques Duparc - Computer Science Logic: 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, ... (Lecture Notes in Computer Science)

zzgl. Versand (unbekannt)

B??ning, Hans Kleine - CSL '87: 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987. Proceedings (Lecture Notes in Computer Science)

B??ning, Hans Kleine - CSL '87: 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987. Proceedings (Lecture Notes in Computer Science)

zzgl. Versand (unbekannt)

B??ning, Hans Kleine - CSL'88: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings (Lecture Notes in Computer Science, 385, Band 385)

B??ning, Hans Kleine - CSL'88: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings (Lecture Notes in Computer Science, 385, Band 385)

zzgl. Versand (unbekannt)

Gerhard J??ger - Computer Science Logic: 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings (Lecture Notes in Computer Science, 626, Band 626)

Gerhard J??ger - Computer Science Logic: 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings (Lecture Notes in Computer Science, 626, Band 626)

zzgl. Versand (unbekannt)

Etienne Grandjean - Computer Science Logic: 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings (Lecture Notes in Computer Science, 1584, Band 1584)

Etienne Grandjean - Computer Science Logic: 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings (Lecture Notes in Computer Science, 1584, Band 1584)

zzgl. Versand (unbekannt)

Mogens Nielsen - Computer Science Logic: 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers (Lecture Notes in Computer Science, 1414, Band 1414)

Mogens Nielsen - Computer Science Logic: 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers (Lecture Notes in Computer Science, 1414, Band 1414)

zzgl. Versand (unbekannt)

Julian Bradfield - Computer Science Logic: 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September (Lecture Notes in Computer Science, 2471, Band 2471)

Julian Bradfield - Computer Science Logic: 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September (Lecture Notes in Computer Science, 2471, Band 2471)

zzgl. Versand (unbekannt)

Makowsky, Johann M. - Computer Science Logic: 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt G¿¿del Colloquium, KGC 2003, Vienna, ... Notes in Computer Science, 2803, Band 2803)

Makowsky, Johann M. - Computer Science Logic: 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt G¿¿del Colloquium, KGC 2003, Vienna, ... Notes in Computer Science, 2803, Band 2803)

zzgl. Versand (unbekannt)

Jerzy Marcinkowski - Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, ... Notes in Computer Science, 3210, Band 3210)

Jerzy Marcinkowski - Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, ... Notes in Computer Science, 3210, Band 3210)

zzgl. Versand (unbekannt)

Zoltán Ésik - Computer Science Logic: 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, ... Notes in Computer Science, 4207, Band 4207)

Zoltán Ésik - Computer Science Logic: 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, ... Notes in Computer Science, 4207, Band 4207)

zzgl. Versand (unbekannt)

Luke Ong - Computer Science Logic: 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings (Lecture Notes in Computer Science, 3634, Band 3634)

Luke Ong - Computer Science Logic: 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings (Lecture Notes in Computer Science, 3634, Band 3634)

zzgl. Versand (unbekannt)

B??ning, Hans Kleine - Computer Science Logic: 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings (Lecture Notes in Computer Science, 533, Band 533)

B??ning, Hans Kleine - Computer Science Logic: 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings (Lecture Notes in Computer Science, 533, Band 533)

zzgl. Versand (unbekannt)

Leszek Pacholski - Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers (Lecture Notes in Computer Science, 933, Band 933)

Leszek Pacholski - Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers (Lecture Notes in Computer Science, 933, Band 933)

zzgl. Versand (unbekannt)

Mario Rodriguez-Artalejo - Computer Science Logic: 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings (Lecture Notes in Computer Science, 1683, Band 1683)

Mario Rodriguez-Artalejo - Computer Science Logic: 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings (Lecture Notes in Computer Science, 1683, Band 1683)

zzgl. Versand (unbekannt)

Laurent Fribourg - Computer Science Logic: 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings (Lecture Notes in Computer Science)

Laurent Fribourg - Computer Science Logic: 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings (Lecture Notes in Computer Science)

zzgl. Versand (unbekannt)

Helmut Schwichtenberg - Computer Science Logic: 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings (Lecture Notes in Computer Science, 1862, Band 1862)

Helmut Schwichtenberg - Computer Science Logic: 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings (Lecture Notes in Computer Science, 1862, Band 1862)

zzgl. Versand (unbekannt)

B??ning, Hans Kleine - CSL '89: 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings (Lecture Notes in Computer Science, 440, Band 440)

B??ning, Hans Kleine - CSL '89: 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings (Lecture Notes in Computer Science, 440, Band 440)

zzgl. Versand (unbekannt)

Yuri Gurevich - Computer Science Logic: 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers (Lecture Notes in Computer Science, 832, Band 832)

Yuri Gurevich - Computer Science Logic: 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers (Lecture Notes in Computer Science, 832, Band 832)

zzgl. Versand (unbekannt)