(1)申請の種類を選び ∨ をつけてください。
□ 学内相互貸借 □ 予約
・・・・・・・・・・・・・・以下、中央図書館のみ・・・・・・・・・・・・・・・・
□ 入庫利用(学内者) □ 館内閲覧 □ 館外貸出
(2)学生番号 または 教職番号欄に学生番号・教職員コード・Library Card番号
(卒業生)を記入の上カウンターへ請求ください。
配架場所 | 泉:多賀城キャンパス図書館図書コーナー |
請求記号 | QA/76ts/1999 |
資料番号 | a5000005997b |
状態 | |
原簿番号 | 5000A599 |
コレクション |
Theoretical and practical aspects of SPIN model checking : 5th and 6th International SPIN workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings / Dennis Dams ... [et al.], (eds.). - Berlin ; Tokyo : Springer , c1999. - (Lecture notes in computer science ; 1680) |
学生番号 または 教職番号 |
2024/05/23 18:48:48