1.

図書
図書
1. Theoretical aspects of computer software : 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001 ; proceedings
Naoki Kobayashi, Benjamin C. Pierce (eds.)
出版情報: Berlin ; Tokyo : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2215 . lecture notes in artificial intelligence
所蔵情報: 図書館
2.

図書
図書
2. Theoretical aspects of computer software : Third International Symposium, TACS '97, Sendai, Japan, September 23-26, 1997 ; proceedings
Martín Abadi, Takayasu Ito (eds.)
出版情報: Berlin : Springer, c1997
シリーズ名: Lecture notes in computer science ; 1281
所蔵情報: 図書館
3.

図書
図書
3. Theoretical aspects of computer software : international symposium TACS '94, Sendai, Japan, April 19-22, 1994 ; proceedings (: gw ; : us)
Masami Hagiya, John C. Mitchell, eds
出版情報: Berlin ; New York : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 789
所蔵情報: 図書館
4.

図書
図書
4. Theoretical aspects of computer software : International Conference TACS'91, Sendai, Japan, September 24-27, 1991 : proceedings (: Berlin ; : New York)
T. Ito, A.R. Meyer, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 526
所蔵情報: 図書館