すべての資料

図書

雑誌

詳細検索

タイトル

タイトル完全一致統一タイトルを含む

著者名

別名を含む

著者ID

統一タイトルID

出版者

ISBN

ISSN

NCID

件名

分類

注記

資料種別

言語種別

出版年

年から年まで

図書館ID

機関ID

地域

図書館ID・機関ID・地域を記憶する

閉じる

European Association for Computer Science Logic

ID:DA09941096

別名: EACSL

同姓同名の著者を検索

検索結果14件中 1-14 を表示

1

Computer science logic : 24th international workshop, CSL 2010, 19th annual conference of the EACSL, Brno, Czech Republic, August 23 - 27, 2010, proceedings

Anuj Dawar, Helmut Veith (eds.)

Springer c2010 Lecture notes in computer science 6247 ; Advanced research in computing and software science

所蔵館2館
2

Computer science logic : 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings

Erich Grädel, Reinhard Kahle (eds.)

Springer c2009 Lecture notes in computer science 5771

: pbk

所蔵館4館
3

Computer science logic : 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008 : proceedings

Michael Kaminski, Simone Martini (eds.)

Springer c2008 Lecture notes in computer science 5213

所蔵館2館
4

Computer science logic : 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 : proceedings

Jacques Duparc, Thomas A. Henzinger (eds.)

Springer c2007 Lecture notes in computer science 4646

所蔵館5館
5

Computer science logic : 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, proceedings

Zoltán Ésik (ed.)

Springer c2006 Lecture notes in computer science 4207

所蔵館12館
6

Computer science logic : 19th International Workshop, CSL 2005, 14th annual conference of the EACSL, Oxford, UK, August 22-25, 2005 : proceedings

Luke Ong (ed.)

Springer c2005 Lecture notes in computer science 3634

所蔵館16館
7

Computer science logic : 18th International Workshop, CSL 2004, 13th annual conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings

Jerzy Marcinkowski, Andrzej Tarlecki (eds.)

Springer c2004 Lecture notes in computer science 3210

所蔵館20館
8

Computer science logic : 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002 : proceedings

Julian Bradfield (ed.)

Springer c2002 Lecture notes in computer science 2471

所蔵館33館
9

Computer science logic : 15th International Workshop, CSL 2001, 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings

Laurent Fribourg (ed.)

Springer c2001 Lecture notes in computer science 2142

所蔵館30館
10

Computer science logic : 14th International Workshop, CSL 2000, Annual Conference of the EACSL, Fischbachau, Germany, August 21-26, 2000 : proceedings

Peter G. Clote, Helmut Schwichtenberg (eds.)

Springer c2000 Lecture notes in computer science 1862

所蔵館40館
11

Computer science logic : 13th International Workshop, CSL '99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings

Jörg Flum, Mario Rodríguez-Artalejo (eds.)

Springer c1999 Lecture notes in computer science 1683

所蔵館41館
12

Computer science logic : 11th International Workshop, CSL '97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers

Mogens Nielsen, Wolfgang Thomas (eds.)

Springer c1998 Lecture notes in computer science 1414

所蔵館46館
13

Computer science logic : 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers

Dirk van Dalen, Marc Bezem (eds.)

Springer c1997 Lecture notes in computer science 1258

所蔵館53館
14

Computer science logic : 9th International Workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers

Hans Kleine Büning, (ed.)

Springer c1996 Lecture notes in computer science 1092

所蔵館61館

この著者を外部サイトでさがす

関連著者

ページトップへ