Theoretical aspects of computer software : 4th International Symposium, TACS 2001 Sendai, Japan, October 29-31, 2001 poceedings / Naoki Kobayashi, Benjamin C. Pierce(eds.)
(Lecture notes in computer science ; 2215)
データ種別 | 図書 |
---|---|
出版者 | Berlin ; Tokyo : Springer-Verlag |
出版年 | c2001 |
形態 | xv, 559 p. : ill. ; 24cm |
著者標目 | Theoretical Aspects of Computer Software (TACS 2001) (4th : 2001 : Sendai, Japan) Kobayashi, Naoki Pierce, Benjamin C. |
分 類 | NDC:549.92 |
書誌ID | LT00625422 |
所蔵情報を非表示
状 態 | 巻 次 | 所 在 | 請求記号 | 資料番号 | ISBN | 刷 年 | コメント | 利用注記 | 予約・取寄 | お薦めの本 | 自動書庫 | 付録注記 |
---|---|---|---|---|---|---|---|---|---|---|---|---|
|
中央自動書庫 | 549.92/L49-1/2215 | 0112434450100 | 9783540427360 |
|
|
|
|
|
書誌詳細を非表示
本文言語 | 英語 |
---|---|
一般注記 | Includes bibliographical references and index "This volume constitutes the proceedings of the fourth International Symposium on Theoretical Aspects of Computer Software (TACS 2001) held at Tohoku University, Sendai, Japan in October 2001"--Foreword |
巻冊次 | ISBN:3540427368 |
目次/あらすじ