Background : computational structures

関連文献: 1件

著者

書誌事項

edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, Dov M. Gabbay

（Handbook of logic in computer science, v. 2）

Clarendon Press, 1992

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

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

QA76.H2785

OPAC
愛媛大学図書館研

007.6/HA/20311998147201

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

R007.6||H||289612934

OPAC
大阪大学大学院人間科学研究科図書室

10900069641

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

12600068535

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

18200000414

OPAC
岡山大学図書館工情報

007.6||HH019000038793*

OPAC
お茶の水女子大学附属図書館図

548/H29/2008010045147

OPAC
関西大学図書館図

207204616

OPAC
関西学院大学図書館三田

006.4:671:20003250420

OPAC
北見工業大学図書館図

007.103||A1400005307407

OPAC
九州大学中央図書館

007.63/A 14/2003212001003343

OPAC
九州大学理系図書館

007.6/A 29/(2)068252192010471

OPAC
京都産業大学図書館

410.12+2734884

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

C||Handbook-17||292063336

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

007.6||ABR 2||292065461

OPAC
京都大学理学部数学

ABR||09||02B500501067876

OPAC
岐阜大学図書館

549.92||Han120557762

OPAC
倉敷芸術科学大学図書館

150001670

OPAC
群馬大学総合情報メディアセンター理工学図書館図書館

007.6:H29:2209601934

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

548-0-164//2h039300001438*

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

R430||HAN||2B9906366

OPAC
国立情報学研究所

007.6||2002||006/2100121075,100131420

OPAC
埼玉大学図書館情工

028002349

OPAC
佐賀大学附属図書館図

007.6-H 29-2129400192

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

007.6/H29/20097005102

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

007.6/H29/28097003670

OPAC
島根大学附属図書館

NDC:007/A14/21154083

OPAC
城西大学水田記念図書館

0092117150

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

007.696S00188

OPAC
拓殖大学八王子図書館

007.6||2||372900619923

OPAC
千葉経済大学総合図書館

007.63||A14||b0105308

OPAC
千葉大学附属図書館研

096163581

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

007.6-H29-2//410.96933019428//933019442,10094300813

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

549.98||H29||22219506567

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

?||Ab18000717

OPAC
東京海洋大学附属図書館国際文化

549/H29/29603250

OPAC
東京大学数理科学研究科図書

JI:Ha8010030693

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

11:H:17.22012441289

OPAC
東北大学電気通信研究所図書室

06040009528

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

06920010015

OPAC
常磐大学情報メディアセンター

007.1-H-200285259

OPAC
鳥取大学附属図書館図

007.6:Han:(2)0010150753

OPAC
名古屋工業大学図書館

401||H 29||293200357

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

007.64||Ab41199735

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

007.64||Ab41358134

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

007.64||H50081308

OPAC
名古屋大学理学図書室理数理

ABR||26||1B41073109

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

AB||81||29109181

OPAC
新潟大学附属図書館図

007.6//A14//21920217531

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

418.6||H 29||214367090

OPAC
兵庫県立大学姫路環境人間学術情報館

007.6|| ||1903111061094

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

007.6/HA/20000862592,0001462159

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

007.6:B-13/HL6061006000402198

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

007.6:B-13/011096076000402933

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

007.6:B-13/593154221000408631

OPAC
福山大学附属図書館

129903763

OPAC
法政大学図書館図

001.6||H29||208013688

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

C22.1/H29 / 21:5930006

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

C22.1/H29 / 25001752

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

dc20:004/ab832070310847

OPAC
北海道教育大学附属図書館函館館

NDC8:007.1/A14/2213175317

OPAC
松山大学図書館

007.08||H 15||2250579965

OPAC
三重大学附属図書館

007.1/H 29/269414852

OPAC
明治学院大学図書館経済

004:A16:20105490908

OPAC
山形大学工学部図書館

007//HAN//2719300109

OPAC
横浜国立大学附属図書館理工

007.64//ABH0454270*

OPAC
立命館大学図書館

7310058914

OPAC
龍谷大学瀬田図書館図

39300014102

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

この図書・雑誌をさがす

注記

Includes bibliographical references and index

Background : computational structures

著者

書誌事項

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

この図書・雑誌をさがす

注記

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

詳細情報

書き出し

Background : computational structures

著者

書誌事項

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

この図書・雑誌をさがす

注記

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

詳細情報

書き出し

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