Logics for concurrency : structure versus automata

関連文献: 1件

著者

書誌事項

Faron Moller, Graham Birtwistle, (eds.)

（Lecture notes in computer science, 1043）

Springer-Verlag, c1996

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

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

549.08-1-10432296002310

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

548//L49//759811700575985

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

007.6/4602968469

OPAC
大阪樟蔭女子大学図書館

007.08||L49||1043252179C

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

12500061960

OPAC
岡山大学図書館工情報

007.1/L016000204654

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

510.78:265:10430001808609

OPAC
九州工業大学附属図書館情報工学部分館

549.9||L-5||10436006273

OPAC
九州大学中央図書館

007.6/Mo 23/1017211997017216

OPAC
九州大学理系図書館

408/L 49061232004014685

OPAC
京都産業大学図書館

418.6783133

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

L/N||LNCS||104396013577

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

549.92-L49-104310348195

OPAC
岐阜大学図書館

549.92||Lec120720329

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

007||L49||104300017299

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

548-0-6//1043030009700589

OPAC
公立千歳科学技術大学図書館

007.1||M100007111

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

007.08||Le||1043000013893

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

430||LEC-1||1043B9907289

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

W1/004/LecC960383423

OPAC
滋賀大学附属図書館

001.6||L 49||1043096001936

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

007/L49/10430096022470

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

007/L49/10438096039774

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

007.63||L471||104309700960

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

Z36825

OPAC
上智大学図書館中央

QA:76.9:D5:M645:1996002117649

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

51641

OPAC
拓殖大学八王子図書館

007.64|| ||379300612090

OPAC
千葉大学附属図書館研

096013566

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

007.08-L49-1043100967024337

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

007.08:L-49:1043961001010

OPAC
津田塾大学図書館図

519C/L471/v.1043110200212

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

549.98||L49||10432219601778

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

549.98||L49||10432219609032

OPAC
東海大学付属図書館12

549.92/L/104301915847

OPAC
東京工科大学メディアセンター

007.66||L602239

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

Z0079711640396X

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

RO:Logics8010146564

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

39:L:1.10432012623340

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

007.6/Mo23l1199850852

OPAC
東京情報大学情報サービスセンター図

S000563668

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

06000002510

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

00050356

OPAC
名古屋工業大学図書館

549.92||L 8296200794

OPAC
名古屋市立大学総合情報センター北千種分館

007.6||Mo70240853

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

007.6||M41172843

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

AB||23||10430020760

OPAC
一橋大学附属図書館図

*5080**1**1043129600142P

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

007.08LE10430001468106,0001497717

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

549.9:Mo-23/HL4010004000405204

OPAC
福岡工業大学附属図書館図書館

007.1/L5417762

OPAC
福岡大学図書館

11038932

OPAC
法政大学図書館多図

007/L49/104310602020139563

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

LN /LNCS/10435960017

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

LN /LNCS/10431:5970700

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

004/l497/10438270013655

OPAC
三重大学附属図書館

549.9/L 49/104369600429

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

001.6:L:10431100606100

OPAC
明治大学図書館生

418.6||11-1043||||K29601444

OPAC
立教大学図書館

96-30583

OPAC
立命館大学図書館

7310559253

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

219980002076

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

この図書・雑誌をさがす

注記

Includes bibliographical references

"a result of the VIIIth Banff HIGHER ORDER WORKSHOP held from August 27th to September 3rd, 1994, at the Banff Centre in Banff, Canada."- on Preface

"LNCS Tutorial"- on jacket

Logics for concurrency : structure versus automata

著者

書誌事項

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

この図書・雑誌をさがす

注記

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

詳細情報

書き出し

Logics for concurrency : structure versus automata

著者

書誌事項

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

この図書・雑誌をさがす

注記

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

詳細情報

書き出し

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