CiNii 図書 - Computer aided verification : 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 : proceedings

著者

書誌事項

Computer aided verification : 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 : proceedings

E. Allen Emerson, A. Prasad Sistla (eds.)

（Lecture notes in computer science, 1855）

Springer, c2000

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

会津大学情報センター (附属図書館)図

QA75.5

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

548//L49//366611701036664

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

007.64/39103451853

OPAC
大阪大学附属図書館理工学図書館

12500131003

OPAC
岡山大学附属図書館工通信

007.63/C016000258283

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

510.78:265:18550002915379

OPAC
九州大学理系図書館

408/L 49061232004022806

OPAC
九州産業大学図書館

007.08/L 46/1-185510660733

OPAC
京都工芸繊維大学附属図書館図

549.92||L6||18559200022490

OPAC
京都産業大学図書館

S/418.6937350

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

L/N||LNCS||185500036184

OPAC
岐阜大学図書館

OPAC
群馬大学総合情報メディアセンター理工学図書館図書館

007.08:L49:1855200000974

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

007||L49||185500063950

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

V.1855007.6/L507/v.185505470233, 007.6/L507/v.185505470233

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

430||LEC-1||1855H0216546

OPAC
産業能率大学図書館

||C08||L 49411405993

OPAC
滋賀大学附属図書館

001.6||L 49||1855000001560

OPAC
上智大学図書館中央

QA:76.76:V47:C38:2000003102923

OPAC
千葉大学附属図書館研

548.92000007686

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

004/L4700018114165

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

007.08-L49-1855100007009386

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

007.08:L-49:1855001003920

OPAC
東海大学付属図書館12

549.92||L||185502020734

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

418.6/L/1855116717751

OPAC
東京大学数理科学研究科保存

RO:Computer8010267675

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

39:L:1.18552012835621

OPAC
東北大学電気通信研究所図書室

06000011106

OPAC
名古屋工業大学図書館

007.63||I 57||12

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

007.6||Ca41265821

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

AB||23||18550029370

OPAC
新潟大学附属図書館図

007//L49//18551300640382

OPAC
日本大学文理学部図書館

418.608||L49||185515329172

OPAC
一橋大学附属図書館図

*5080**1**1855120002319I

OPAC
広島修道大学図書館

1

OPAC
福岡大学図書館

0111949790100

OPAC
法政大学図書館多図

007/L49/185510602020313580

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

LN ||LNCS||18555001475

OPAC
松山大学図書館

007.08||L 5||185525037271

OPAC
三重大学附属図書館

549.9/L 49/185570006207

OPAC
龍谷大学瀬田図書館図

30100133647

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

この図書・雑誌をさがす

注記

Includes bibliographical references and index

Computer aided verification : 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 : proceedings

著者

書誌事項

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

この図書・雑誌をさがす

注記

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

詳細情報

書き出し

Computer aided verification : 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 : proceedings

著者

書誌事項

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

この図書・雑誌をさがす

注記

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

詳細情報

書き出し

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