Mathematical foundations of programming semantics : 9th International Conference, New Orleans, LA, USA, April 7-10, 1993 : proceedings

関連文献: 1件

著者

書誌事項

S. Brookes ... [et al.], (eds.)

（Lecture notes in computer science, 802）

Springer-Verlag, c1994

: gw
: us

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

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

: Berlin549.08-1-8022294003369

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

: Berlin548//L49//736511700573659

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

: gw549.9/LEC02729804

OPAC
岡山大学図書館自知能

: Berlin007.6||IH019000055136*

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

: gw510.78:265:8020001303650

OPAC
九州大学理系図書館

: gw408/L 49061232004012274

OPAC
京都産業大学図書館

: BerlinS/418.6718901

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

: BerlinL/N||LNCS||80294010212

OPAC
近畿大学中央図書館中図

: Berlin549.92-L49-80210341504

OPAC
岐阜大学図書館

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

: New York007||L49||80200017631

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

: gw007.08||Le||802000019476

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

: Berlin007.6/L507/v.80204533160

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

: Berlin430||LEC-1||802B9907061

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

: gwW1/004/LecC940507522

OPAC
滋賀大学附属図書館

: Berlin001.6||L 49||802094004104

OPAC
静岡大学附属図書館静図

: gw007/L49/8020094037389

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

: gw007/L49/8028096039071

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

: gw007.63||L471||80209603163

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

: BerlinZ35145

OPAC
上智大学図書館中央

QA:76.7:M38:1994001584219

OPAC
摂南大学図書館本館

: Berlin549.92||L||80229514532

OPAC
仙台高等専門学校広瀬キャンパス図書館

: gwS00077397

OPAC
拓殖大学八王子図書館

: gw007.64||1993||343600594832, : BerlinT00594832*

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

: New York094081964

OPAC
中央学院大学図書館

: BerlinE0556993

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

004/L4700014710180

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

: Berlin007.08-L49-802947004854,10094700666

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

: Berlin007.08:L-49:802941001470

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

549.98||L49||8022219408976

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

Z00558116222612

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

39:L:1.8022012510174

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

: Berlin007.64/B76m1199751271

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

: Berlin06000008428

OPAC
徳島文理大学高松駅キャンパス附属図書館香図

: gw007.08/Le/8026060050

OPAC
富山県立大学附属図書館射水館

: Berlin101144459

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

00049161

OPAC
名古屋工業大学図書館

: Berlin549.92||I 57||994200593

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

: gw007.64||C41117516

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

: BerlinAB||23||8020017992

OPAC
一橋大学附属図書館図

: Berlin*SAe**55**802129404379$

OPAC
広島国際大学図書館図

: Berlin007.64||M39827427

OPAC
広島修道大学図書館

: Berlin1

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

: Berlin007.08LE8020000837972

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

: Berlin007.64:Ma-72/HL3544003500409267

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

: Berlin007.64:Ma-72/011096076000404952

OPAC
福岡大学図書館

: Berlin10986016

OPAC
法政大学図書館多図

: gw007/L49/80210602020144222, 007/L49/80210602020144222

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

: BerlinLN /LNCS/8025940510

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

: gw004/l497/8028270010982

OPAC
三重大学附属図書館

: gw549.9/L 49/80269403757

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

001.6:L:8021100548419

OPAC
明治大学図書館生

418.6||11-802||||K29404227

OPAC
立教大学図書館

: gw94-33234

OPAC
琉球大学附属図書館

: gw007||LE||80294850181

OPAC
龍谷大学瀬田図書館図

: Berlin39400081026

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

: Berlin219960004023

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

この図書・雑誌をさがす

注記

Includes bibliographical references

Mathematical foundations of programming semantics : 9th International Conference, New Orleans, LA, USA, April 7-10, 1993 : proceedings

著者

書誌事項

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

この図書・雑誌をさがす

注記

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

詳細情報

書き出し

Mathematical foundations of programming semantics : 9th International Conference, New Orleans, LA, USA, April 7-10, 1993 : proceedings

著者

書誌事項

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

この図書・雑誌をさがす

注記

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

詳細情報

書き出し

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