Computer aided verification : 3rd international workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991 : proceedings

関連文献: 1件

著者

書誌事項

K.G. Larsen, A. Skou (eds.)

（Lecture notes in computer science, 575）

Springer-Verlag, c1992

: gw
: us

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

愛知産業大学・短期大学図書館

: us007||L||57500019426

OPAC
茨城大学附属図書館工学部分館分

: Berlin007.63:Com:3219201648

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

: Berlin549.08||1|| 5752292001381

OPAC
大阪工業大学図書館中央

: Berlin007.63||C89614293

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

: gw549.9/LEC02487858

OPAC
大阪大学附属図書館総合図書館

: Berlin12600007426

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

: Berlin12500017210

OPAC
大阪電気通信大学図書館

: Berlin/335.92/L2/575182446

OPAC
岡山大学図書館自知能

: Berlin007.6||IH019000017075*

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

: gw510.78:265:5750000852376

OPAC
九州大学筑紫図書館

: gw067232006001837

OPAC
九州大学理系図書館

: gw408/L 49061232004010002

OPAC
京都産業大学図書館

: BerlinS/401645727, 660597

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

BerlinL/N||LNCS||57592003936

OPAC
岐阜大学図書館

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

: Berlin007||L49||575000171827, : gw007||L49||57500017182

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

: Berlin430||LEC-1||575B9906877

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

: gwW1/004/LecC920797927

OPAC
滋賀大学附属図書館

: Berlin001.6||L 49||575092001044

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

: gw548.2/C858593000543

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

: gw007.63||L471||57509201405

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

: BerlinZ32085

OPAC
上智大学図書館中央

QA:76.76:V47:C38:1991000763716

OPAC
拓殖大学八王子図書館

: gw007.64||1991||348000594513, : BerlinT00594513*

OPAC
千葉大学附属図書館理数学

: New YorkH9207048*

OPAC
中央学院大学図書館

: BerlinE0527317

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

: Berlin00018739078, 004/L4700018739078

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

: Berlin007.08-L49-57592700693,10092700693,10092700851,10092700913

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

: Berlin007.08:L-49:575921002590

OPAC
電気通信大学附属図書館研

: Berlin549.98||L49||5752219202123

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

Z00184116037548

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

: Berlin39:L:1.5752012405185

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

: Berlin007.63/L32cb:1199851055

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

: Berlin00920050253

OPAC
東北大学附属図書館工学分館図

: Berlin03920007605

OPAC
豊田工業大学総合情報センター

00047846

OPAC
同志社大学図書館

: Berlin418.6;L3;57567;9320157614

OPAC
名古屋工業大学図書館

Berlin549.92||W 88||392200456

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

: gw007.63||W41052725

OPAC
名古屋大学情報・言語合同図書室情報・言語

: gw007.08||L||575||閉架50081022

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

: BerlinAB||23||5750011016

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

: Berlin418.608||L 49||57514355227

OPAC
一橋大学附属図書館図

: Berlin129201768-

OPAC
弘前大学附属図書館本館

Berlin007h0099937*

OPAC
広島国際大学図書館図

: Berlin007.6||C||9139827490

OPAC
広島修道大学図書館

OPAC
広島市立大学附属図書館

: New York007.08LE5750001472370

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

: Berlin007.1:W-88/HL6061006000400443

OPAC
福岡大学図書館

Berlin10909791

OPAC
福山大学附属図書館

: gw007.63||L129300381

OPAC
法政大学図書館多図

: gw007/L49/57510602020142670, 007/L49/57510602020142670

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

: BerlinLN /LNCS/5756921310

OPAC
北海道大学附属図書館図

: Berlindc20:004/l4978270008294

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

001.6:L:5751100483724

OPAC
明治大学図書館生

418.6||11-575||||K29202558

OPAC
立教大学図書館

: gw92-32962

OPAC
和歌山大学教育機構学術情報センター図書館

: Berlin219920000964

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

この図書・雑誌をさがす

注記

Includes bibliographical references

Computer aided verification : 3rd international workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991 : proceedings

著者

書誌事項

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

この図書・雑誌をさがす

注記

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

詳細情報

書き出し

Computer aided verification : 3rd international workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991 : proceedings

著者

書誌事項

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

この図書・雑誌をさがす

注記

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

詳細情報

書き出し

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