VDM '91 : formal software development methods : 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991 : proceedings

関連文献: 1件

著者

書誌事項

S. Prehn, W.J. Toetenel, (eds.)

（Lecture notes in computer science, 551, 552）

Springer-Verlag, c1991

v. 1 : gw
v. 1 : us
v. 2 : gw
v. 2 : us

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

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

v. 1 : us007||L||55100019181, v. 2 : us007||L||55200019182

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

v. 1 : gw549.08||1|| 5512291022396, v. 2 : gw549.08||1|| 5522291022404

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

v. 1 : gw549.9/LEC02440220, v. 2 : gw549.9/LEC02440238

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

v. 109126025130, v. 209126025148

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

v. 1 : gw510.78:265:5510000729673, v. 2 : gw510.78:265:5520000724302

OPAC
九州大学理系図書館

v. 1 : gw408/L 49061232004009762, v. 2 : gw408/L 49061232004009774

OPAC
京都産業大学図書館

v. 1 : gwS/418.6+1626231, v. 2 : gwS/418.6+2626232

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

v. 1L/N||LNCS||55191068997, v. 2L/N||LNCS||55291068998

OPAC
岐阜大学図書館

v. 1 : Berlin549.92||LEC120495287, v. 2 : Berlin549.92||LEC120495295

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

v. 1 : Berlin007||L49||551000171710, v. 2 : Berlin007||L49||552000171744, v. 1 : gw007||L49||55100017171, v. 2 : gw007||L49||55200017174

OPAC
公立はこだて未来大学情報ライブラリー

v. 1 : gw007.08||Le||551000016284

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

v. 1 : Berlin430||LEC-1||551B9906855, v. 2 : Berlin430||LEC-1||552B9906856

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

v. 1 : gwW1/004/LecC911522321, v. 2 : gwW1/004/LecC911522428

OPAC
山陽小野田市立山口東京理科大学図書館図

v. 1 : gw007.6||L49-55199534160

OPAC
滋賀大学附属図書館

v. 1 : gw001.6||L 49||551091005361, v. 2 : gw001.6||L 49||552091005362

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

v. 1 : gw007/L49/5510091172957, v. 2 : gw007/L49/5520091172965

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

v. 1 : gw007.63||L471||55109201384, v. 2 : gw007.63||L471||55209201385

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

v. 2 : BerlinZ28539

OPAC
信州大学附属図書館工学部図書館

v. 1 : Berlin007.63:V 492510067222, v. 2 : Berlin007.63:V 492510067230

OPAC
椙山女学園大学中央図書館図

v. 2 : gw192S05786

OPAC
摂南大学図書館本館

v. 1 : Berlin549.92||L||55129115024, v. 2 : Berlin549.92||L||55229115025

OPAC
拓殖大学八王子図書館

v. 1 : gw007.63||1991-1||314400594467, v. 2 : gw007.63||1991-2||314400594485, v. 1 : BerlinT00594467*, v. 2 : BerlinT00594485*

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

v. 1 : usH0121162*, v. 2 : usH0121163*

OPAC
中央学院大学図書館

v. 1E0516450, v. 2E0516435

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

v. 1 : Berlin00018738096, v. 2 : Berlin00018738104, 1004/L4700018738096, 2004/L4700018738104

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

v. 1 : gw007.08-L49-551//007.63917026633, v. 2 : gw007.08-L49-552//007.63917026640

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

v. 1 : gw007.08:L-49:551911008900, v. 2 : gw007.08:L-49:552911008910

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

v. 2 : Berlin549.98||L49||5522219300277

OPAC
東海大学付属図書館12

v. 1 : Berlin549.92/L/55101290535, v. 2 : Berlin549.92/L/55201290536

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

v. 1 : gwZ00160115975153, v. 2 : gwZ00161115975161

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

v. 1 : Berlin39:L:1.5512012373417, v. 2 : Berlin39:L:1.5522012373425

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

v. 1 : Berlin007.64/P91v1199850378, v. 2 : Berlin007.64/V49v1199751565

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

v. 1 : Berlin06920005770

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

v. 1 : Berlin03920000956, v. 2 : Berlin03920000964

OPAC
富山大学附属図書館図

v. 1 : Berlin007.08||L49||55121013483, v. 2 : Berlin007.08||L49||55221013484

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

00047613, 00047614

OPAC
名古屋工業大学図書館

v. 1 : Berlin549.92||V 49||4-192201025, v. 2 : Berlin549.92||V 49||4-292201026

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

v. 1 : gw007.63||V41045406, v. 2 : gw007.63||V41045405

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

v. 1 : BerlinAB||23||5510011631, v. 2 : BerlinAB||23||5520011632

OPAC
一橋大学附属図書館図

v. 1 : Berlin129115226T, v. 2 : Berlin129115227U

OPAC
広島修道大学図書館

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

v. 1 : Berlin007.08LE5510001177688, v. 2 : Berlin007.08LE5520001266887

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

v. 1007.63:V-49/HL6061006000171480, v. 2007.63:V-49/HL6061006000171481

OPAC
法政大学図書館多図

v. 1 : gw007/L49/55110602020142475, v. 2 : gw007/L49/55210602020142483, v. 1007/L49/55110602020142475, v. 2007/L49/55210602020142483

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

v. 1 : BerlinLN /LNCS/5516921279, v. 2 : BerlinLN /LNCS/5526921280

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

v. 1 : Berlindc20:004/l4978270007305, v. 2 : Berlindc20:004/l4978270007316

OPAC
三重大学附属図書館

v. 1 : gw549.9/L 49/55169111383, v. 2 : gw549.9/L 49/55269111384

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

v. 1001.6:L:5511100472354, v. 2001.6:L:5521100472362

OPAC
明治大学図書館生

v. 1418.6||11-551||||K29109950, v. 2418.6||11-552||||K29109951

OPAC
立教大学図書館

v. 1 : gw91-35800, v. 2 : gw91-35801

OPAC
龍谷大学瀬田図書館

v. 2 : gw39240092304

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

v. 1 : Berlin219920001487, v. 2 : Berlin219930001452

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

この図書・雑誌をさがす

注記

v. 1. Conference contributions

v. 2. Tutorials

Includes bibliographical references and index

VDM '91 : formal software development methods : 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991 : proceedings

著者

書誌事項

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

この図書・雑誌をさがす

注記

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

詳細情報

書き出し

VDM '91 : formal software development methods : 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991 : proceedings

著者

書誌事項

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

この図書・雑誌をさがす

注記

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

詳細情報

書き出し

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