すべての資料

図書

雑誌

詳細検索

タイトル

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

著者名

別名を含む

著者ID

統一タイトルID

出版者

ISBN

ISSN

NCID

件名

分類

注記

資料種別

言語種別

出版年

年から年まで

図書館ID

機関ID

地域

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

閉じる

TACAS

ID:DA09695488

別名: Workshop on Tools and Algorithms for the Construction and Analysis of Systems

International Conference on Tools and Algorithms for the Construction and Analysis of Systems

International Workshop, TACAS

International Conference, TACAS

同姓同名の著者を検索

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

1

Tools and algorithms for the construction and analysis of systems : 23rd International Conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings

Axel Legay, Tiziana Margaria (eds.)

Springer c2017 Lecture notes in computer science 10205-10206 . Advanced research in computing and software science . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues

Pt. 1 , Pt. 2
2

Tools and algorithms for the construction and analysis of systems : 14th International Conference, TACAS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings

C.R. Ramakrishnan, Jakob Rehof (eds.)

Springer c2008 Lecture notes in computer science 4963

楽譜(印刷)

所蔵館1館
3

Tools and Algorithms for the Construction and Analysis of Systems : 13th International Conference, TACAS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 : proceedings

Orna Grumberg, Michael Huth (eds.)

Springer c2007 Lecture notes in computer science 4424

所蔵館2館
4

Tools and algorithms for the construction and analysis of systems : 12th International Conference, TACAS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-April 2, 2006 : proceedings

Holger Hermanns, Jens Palsberg (eds.)

Springer c2006 Lecture notes in computer science 3920

所蔵館7館
5

Tools and algorithms for the construction and analysis of systems : 11th International Conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings

Nicolas Halbwachs, Lenore D. Zuck (eds.)

Springer c2005 Lecture notes in computer science 3440

所蔵館17館
6

Tools and algorithms for the construction and analysis of systems : 10th International Conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004 : proceedings

Kurt Jensen, Andreas Podelski (eds.)

Springer c2004 Lecture notes in computer science 2988

所蔵館18館
7

Tools and algorithms for the construction and analysis of systems : 9th International Conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings

Hubert Garavel, John Hatcliff (eds.)

Springer c2003 Lecture notes in computer science 2619

所蔵館24館
8

Tools and Algorithms for the Construction and Analysis of Systems : 8th International Conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings

Joost-Pieter Katoen, Perdita Stevens (eds.)

Springer c2002 Lecture notes in computer science 2280

所蔵館25館
9

Tools and algorithms for the construction and analysis of systems : 7th International Conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings

Tiziana Margaria, Wang Yi (eds.)

Springer c2001 Lecture notes in computer science 2031

所蔵館31館
10

Tools and algorithms for the construction and analysis of systems : 6th International Conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings

Susanne Graf, Michael Schwartzbach (eds.)

Springer c2000 Lecture notes in computer science 1785

所蔵館31館
11

Tools and algorithms for the construction and analysis of systems : 5th International Conference, TACAS'99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings

W. Rance Cleaveland (ed.)

Springer-Verlag c1999 Lecture notes in computer science 1579

所蔵館38館
12

Tools and algorithms for the construction and analysis of systems : 4th International Conference, TACAS'98 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28-April 4, 1998, proceedings

Bernhard Steffen, ed.

Springer c1998 Lecture notes in computer science 1384

所蔵館41館
13

Tools and algorithms for the construction and analysis of systems : Third International Workshop, TACAS ʾ97, Enschede, The Netherlands, April 2-4, 1997 : proceedings

Ed Brinksma (ed.)

Springer c1997 Lecture notes in computer science 1217

: pbk

所蔵館48館
14

Tools and algorithms for the construction and analysis of systems : Second International Workshop, TACAS '96, Passau, Germany, March 27-29, 1996 : proceedings

Tiziana Margaria, Bernhard Steffen, (eds.)

Springer c1996 Lecture notes in computer science 1055

所蔵館48館
15

Tools and algorithms for the construction and analysis of systems : First International Workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995 : selected papers

E. Brinksma ... [et al.], (eds.)

Springer c1995 Lecture notes in computer science 1019

所蔵館48館

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

関連著者

ページトップへ