請求メモ

（1）申請の種類を選び ∨ をつけてください。
　　　　　　□ 学内相互貸借　　□ 予約
　　　･･････････････以下、中央図書館のみ････････････････
　　　□ 入庫利用（学内者）　　□ 館内閲覧　　□ 館外貸出
（2）学生番号 または 教職番号欄に学生番号･教職員コード･Library Card番号
　　 (卒業生)を記入の上カウンターへ請求ください。

配架場所	泉:図書館閉架地下2階書庫
請求記号	QA/76tt/1999
資料番号	a3099019826b
状態
原簿番号	3099A1982
コレクション

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.). - Berlin : Springer-Verlag , c1999. - New York. - (Lecture notes in computer science ; 1579)

学生番号 または 教職番号

2024/06/01 18:14:58