CiNii 図書 - Computer aided verification : 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999 : proceedings

著者

書誌事項

Computer aided verification : 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999 : proceedings

Nicolas Halbwachs, Doron Peled (eds.)

（Lecture notes in computer science, 1633）

Springer-Verlag, c1999

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

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

QA76.76.E93

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

007.63:C300053477

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

548//L49//968511700896852

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

007.63/16603336427

OPAC
岡山大学図書館工情報

007.63/C016000239650

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

510.78:265:16330002700706

OPAC
北九州学術研究都市学術情報センター北九州図書

007.08||L49||1633000019739

OPAC
九州大学理系図書館

408/L 49061232004020586

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

549.92||L6||16339199940422

OPAC
京都産業大学図書館

S/418.6915187

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

L/N||LNCS||163399032168

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

||HAL 4||199055343

OPAC
岐阜大学図書館

007||Lec120867532

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

007||L49||163300063648

OPAC
神戸大学附属図書館自然科学系図書館

549-0-6//1633030009902544

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

V.1633007.6/L507/v.163305391792, 007.6/L507/v.163305391792

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

430||LEC-1||1633H0216270

OPAC
産業能率大学図書館

411342294

OPAC
滋賀大学附属図書館

001.6||L 49||1633099003154

OPAC
静岡大学附属図書館浜松分館浜図

007/L49/16338099069539

OPAC
島根大学附属図書館

NDC:007.08/L49/1633

OPAC
上智大学図書館中央

QA:76.76:V47:C38:1999002842707

OPAC
千葉大学附属図書館研

54820000038625

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

004/L4700017490012

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

007.08-L49-1633100997008697

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

007.08:L-49:1633991001650

OPAC
東海大学付属図書館12

549.92/L/163301790195

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

418.6/L/163311664309X

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

39:L:1.16332012781346

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

06000010390

OPAC
名古屋工業大学図書館

007.63||I 57||11

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

007.63||C41242938

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

AB||23||16330027650

OPAC
一橋大学附属図書館図

*5080**1**1633129902279+

OPAC
広島修道大学図書館

1

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

007:L-49:1633/HL4010004000410157

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

LN ||LNCS||16335991437

OPAC
北海道大学大学院理学研究科・理学部図書室図書

511.3/H1292070490312

OPAC
三重大学附属図書館

549.9/L 49/163369905973

OPAC
立教大学図書館

42037625

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

この図書・雑誌をさがす

注記

Includes bibliographical references and index

Computer aided verification : 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999 : proceedings

著者

書誌事項

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

この図書・雑誌をさがす

注記

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

詳細情報

書き出し

Computer aided verification : 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999 : proceedings

著者

書誌事項

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

この図書・雑誌をさがす

注記

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

詳細情報

書き出し

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