CiNii 図書 - Computer aided verification : 9th International Conference, CAV '97, Haifa, Israel, June 22-25, 1997 : proceedings

著者

書誌事項

Computer aided verification : 9th International Conference, CAV '97, Haifa, Israel, June 22-25, 1997 : proceedings

Orna Grumberg (ed.)

（Lecture notes in computer science, 1254）

Springer-Verlag, c1997

大学図書館所蔵件 / 全45件

岩手県立大学メディアセンター

007.63:C100396555

OPAC
宇都宮大学附属図書館陽東分館

549.08||1||1254

OPAC
大阪公立大学杉本図書館図書館

548//L49//363011700636308

OPAC
大阪産業大学綜合図書館

Z0/012/125403075413

OPAC
岡山大学図書館工情報

007.6||CH019000108225*

OPAC
関西大学図書館図

206883994

OPAC
関西学院大学図書館上ケ原

510.78:265:12540002160653

OPAC
九州大学理系図書館

408/L 49061232004016793

OPAC
京都産業大学図書館

S/418.6830337

OPAC
京都大学数理解析研究所図書室数研

L/N||LNCS||125497022725

OPAC
京都大学大学院情報学研究科

007||LNCS||125497043487

OPAC
岐阜大学図書館

549.92||Lec120772205

OPAC
高知工科大学附属情報図書館

007||L49||125400062838

OPAC
国際基督教大学図書館図

007.6/L507/v.125404985500

OPAC
国立研究開発法人理化学研究所図書館

430||LEC-1||1254B9907496

OPAC
国立民族学博物館情報管理施設

W1/004/LecC981005324

OPAC
滋賀大学附属図書館

001.6||L 49||1254097001693

OPAC
静岡理工科大学附属図書館

007.63||L471||125409807547

OPAC
湘南工科大学附属図書館

Z37179

OPAC
上智大学図書館中央

QA:76.76:V47:C38:1997002448679

OPAC
千葉大学附属図書館研

098028342

OPAC
中央大学図書館理工学部分館理工

004/L4700016684912

OPAC
筑波大学附属図書館中央図書館

007.08-L49-1254100977012027

OPAC
筑波大学附属図書館図書館情報学図書館

007.08:L-49:1254971004650

OPAC
津田塾大学図書館図

519C/L471/v.1254110204852

OPAC
東海大学付属図書館12

549.92/L/125401946187

OPAC
東京工科大学メディアセンター

007.63||C602318

OPAC
東京科学大学大岡山図書館

Z01008116473887

OPAC
東京大学大学院情報理工学系研究科CS図

39:L:1.12542012684383

OPAC
東京都市大学横浜キャンパス図書館

007.63/G89c1199751220

OPAC
東北大学附属図書館本館

06000010050

OPAC
豊橋技術科学大学附属図書館図

007.08||LE||125497900280

OPAC
名古屋大学工学図書室工情報

007.63||G41232764

OPAC
名古屋大学理学図書室理数理

P||ISR||97-C||3634241200410

OPAC
奈良先端科学技術大学院大学附属図書館図

AB||23||12540023208

OPAC
一橋大学附属図書館図

*5080**1**1254129702539

OPAC
広島国際大学図書館図

007.6||C||9739827491

OPAC
広島大学図書館中央図書館

007.63:I-57/HL4010004000407376

OPAC
広島大学図書館東図書館

007.08:L-49:1254/736794576000413344

OPAC
法政大学図書館多図

007/L49/125410602020141428

OPAC
北陸先端科学技術大学院大学附属図書館図

LN /LNCS/12541:5970558

OPAC
明治学院大学図書館横図

001.6:L:12541100645280

OPAC
明治大学図書館生

418.6||11-1254||||K29703148

OPAC
立教大学図書館

52014784

OPAC
龍谷大学瀬田図書館図

39700095576

OPAC
該当する所蔵館はありません
すべての絞り込み条件を解除する

この図書・雑誌をさがす

注記

Includes bibliographical references and index

Computer aided verification : 9th International Conference, CAV '97, Haifa, Israel, June 22-25, 1997 : proceedings

著者

書誌事項

大学図書館所蔵件 / 全45件

この図書・雑誌をさがす

注記

関連文献： 1件中 1-1を表示

詳細情報

書き出し

Computer aided verification : 9th International Conference, CAV '97, Haifa, Israel, June 22-25, 1997 : proceedings

著者

書誌事項

大学図書館所蔵 件 / 全45件

この図書・雑誌をさがす

注記

関連文献： 1件中 1-1を表示

詳細情報

書き出し

大学図書館所蔵件 / 全45件