形式的モデルと意味論

• • Leeuwen, Jan van
• • 広瀬, 健 ヒロセ, ケン

• 関連文献: 1件

• • Leeuwen, Jan van
• • 広瀬, 健 ヒロセ, ケン

形式的モデルと意味論

(コンピュータ基礎理論ハンドブック / Jan van Leeuwen [編] ; 廣瀬健, 野崎昭弘, 小林孝次郎監訳, 2)

丸善, 1994.2

タイトル別名

Formal models and semantics

タイトル読み

ケイシキテキ モデル ト イミロン

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

• 愛知工業大学 附属図書館 図

  007.64||L002695740

  愛知淑徳大学 図書館

  007||L511||2A69542

  愛知大学 名古屋図書館 図

  007.1:L51:29421024810

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

  007.64/L/2

  青山学院大学 万代記念図書館(相模原分館)

  779305595

  秋田県立大学 附属図書館 本荘キャンパス図書館

  10135222

  OPAC

• 秋田大学 附属図書館

  007.1||Ko78||v.2119305505

  跡見学園女子大学 新座図書館

  1112321201

  OPAC

• 阿南工業高等専門学校 図書館

  007||C85000008568

  OPAC

• 石巻専修大学 図書館 開架

  007.64:L510010119089

  OPAC

• 茨城工業高等専門学校 学術総合情報センター 図書館 図

  007.1||Ko||2141164H

  OPAC

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

  007.1:Lee:2219400002,219400073,219500303

  OPAC

• 医療創生大学 図書館

  007.1/Ko68/20000303750

  OPAC

• 宇宙航空研究開発機構 宇宙科学研究所 図書室

  681.3||C 85T21411

  OPAC

• 宇宙航空研究開発機構 筑波図書室

  09B001382308

  OPAC

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

  007.1||L51||2

  OPAC

• 江戸川大学 総合情報図書館 図

  007.6/KO78/210380182

  OPAC

• 愛媛大学 図書館 研

  007.1/LE/20311999025255

  追手門学院大学 附属図書館 図

  00319773

  OPAC

• 大分大学 学術情報拠点(図書館)

  007.1||LJ11||2112635782

  大阪大谷大学 図書館

  007.64//K//2T274316*

  OPAC

• 大阪教育大学 附属図書館

  007.1/Le/2A9305506

  大阪工業大学 図書館 中央

  R007.6||K||219400039,89605618,19707360

  OPAC

• 大阪公立大学 杉本図書館 理

  007.64//L51//563815100056389

  大阪公立大学 中百舌鳥図書館

  20010058348

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

  12600040138

  OPAC

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

  12400019340

  OPAC

• 大手前大学・大手前短期大学 図書館 図

  20055137

  OPAC

• 岡山大学 附属図書館 工情報

  007.6||K019000041231*

  OPAC

• 岡山大学 附属図書館 附属図

  007.6||KH019000040066*

  OPAC

• 沖縄国際大学 図書館

  007.64/Ko-78/200257498

  OPAC

• 香川大学 図書館

  香川大学 図書館 創造工学部分館

  3210002698

  核融合科学研究所 図書室

  418A||L||(2)K1189

  OPAC

• 鹿児島大学 附属図書館

  007.1/Ko67/211199004687

  OPAC

• 神奈川工科大学 附属図書館

  007.1||K||211101663

  神奈川大学 図書館

  金沢学院大学 図書館

  007.6||Ko||007.6 Ko131668

  OPAC

• 金沢大学 附属図書館 中央図書庫

  007.1:K82:29700-00404-X

  OPAC

• 川崎医療福祉大学 附属図書館

  007.1/Com2110043578

  関西学院大学 図書館 三田

  006:1473:20001446640

  OPAC

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

  006:1473:20070439112

  OPAC

• 学習院大学 図書館 法経

  00645674

  OPAC

• 北九州学術研究都市学術情報センター 北九州図書

  007.1||Ko78||2000080310

  九州共立大学 附属図書館 図

  01096300

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

  549.9||L-75||2-H6025870

  OPAC

• 九州大学 中央図書館

  007.1/L 51/1(2)068581194056668

  OPAC

• 九州大学 理系図書館

  007.64/L 51058112001018313

  OPAC

• 九州産業大学 図書館

  104685805

  九州女子大学・九州女子短期大学 附属図書館 図

  007.64||L 51||231014526

  京都工芸繊維大学 附属図書館 図

  418.6||C85||29960039594

  OPAC

• 京都産業大学 図書館

  418.6||LEE||200740285

  京都女子大学 図書館 図

  007.6//0005075343

  京都大学 基礎物理学研究所 図書室 基物研

  B7||KEI94019997

  OPAC

• 京都大学 工学部 南

  ZF||46393075069

  OPAC

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

  R||S-Han-C||コンピュータ-2||278891233

  OPAC

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

  I,1994||2.3||40594010932

  OPAC

• 京都大学 附属図書館 図

  M||159||コ17||295067817

  OPAC

• 京都大学 吉田南総合図書館 図

  007.1||K||7||基礎95078125

  OPAC

• 近畿大学 工学部図書館 図書館

  1R||007.1||L51||211091156

  OPAC

• 近畿大学 工学部図書館 図書館

  1||007.1||L51||151010626

  OPAC

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

  549.92-L51-200389834

  岐阜大学 図書館

  549.92||Kon111313953

  OPAC

• 釧路公立大学 附属図書館 図

  007.64/L/200053523

  熊本県立大学 図書館 図

  007.1||L 510000257954

  熊本大学 附属図書館 工(電気情報)

  007.1||Ke,27||||06-83010197802

  OPAC

• 熊本大学 附属図書館 理(数学)

  007.1||Ke,27||||06-7828-210212054

  OPAC

• 群馬大学 総合情報メディアセンター 中央図書館 図書館

  007.1:L51:2009305585

  OPAC

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

  007.6||L51||2000067710

  高知大学 学術情報基盤図書館 中央館

  15343219

  神戸市看護大学 図書館

  3300324890

  OPAC

• 神戸市立中央図書館 開

  PVOL:5208212

  OPAC

• 神戸大学 附属図書館 海事科学分館

  409.6-8062002918

  OPAC

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

  548-0-172//2-D030309402980

  OPAC

• 神戸大学 附属図書館 社会科学系図書館

  007.1-KO-2S010009401782*

  OPAC

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

  007.1||Co||2000002904

  国立研究開発法人 水産研究・教育機構 水産大学校

  007.64||L2||2100119

  OPAC

• 国立情報学研究所

  MA41||Com||2100041937

  OPAC

• 埼玉大学 図書館 図

  020028329

  OPAC

• 埼玉大学 図書館 情工

  028002409

  OPAC

• 相模女子大学 附属図書館

  007.64||K||21420112

  OPAC

• 作新学院大学 図書館 開

  007.1||Le||294025921

  OPAC

• 札幌大学 図書館

  549.92||Ko78||2

  札幌学院大学 図書館

  007.6/LEE/20940020122

  産業技術短期大学 図書館

  007.1/Le/20B039372

  OPAC

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

  007.64||L5198020436

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

  007.6||V 32||296617242

  滋賀大学 附属図書館

  007.1||L 51||2093006569

  静岡英和学院大学 図書館

  007.1||L51||276254

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

  007.1/KO78/28096044576

  OPAC

• 静岡文化芸術大学 図書館・情報センター

  007.6/L 51/201038143

  島根大学 附属図書館

  OPAC

• 職業能力開発総合大学校 図書館

  007.1||L51||20098001955

  OPAC

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

  007.1:Ko 78:22520007408

  OPAC

• 信州大学 附属図書館 中央図書館 図

  0011006681

  OPAC

• 城西国際大学 水田記念図書館

  0097022896

  OPAC

• 上智大学 図書館 中央

  007.64:L517:v.2001505324

  OPAC

• 上武大学 附属図書館 分館

  /007.1/コ/221056873

  OPAC

• 情報科学芸術大学院大学 附属図書館

  0018978

  OPAC

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

  100S08336

  聖徳大学 川並弘昭記念図書館 図

  007.1/L51/002G022042

  専修大学 図書館 図

  10698757

  OPAC

• 相愛大学図書館

  111906525

  OPAC

• 崇城大学 図書館

  007.1||J||2

  高崎経済大学 図書館 図

  007.1||Ko78||2001039692

  高千穂大学 図書館

  007.1||Ke279401898

  OPAC

• 拓殖大学 図書館

  007.64||2||2401T0021623*

  拓殖大学 八王子図書館

  007.64||2||240100525016

  千葉工業大学 附属図書館 津図

  2007.03379832

  OPAC

• 千葉大学 附属図書館 研

  097158280

  OPAC

• 中部大学 附属三浦記念図書館 図

  N229414A

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

  549.92/L5100014688303

  OPAC

• 中京大学 豊田図書館

  007.64/L 510927565

  筑波技術大学 附属図書館 視覚障害系図書館

  007.64:L-51:29450000302

  筑波技術大学 附属図書館 聴覚障害系図書館

  007.6||Le||293001473

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

  007.1-L51940008149

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

  007.1:L-51:2940019140

  津田塾大学 図書館 図

  007.64/Ko67/v.2J105333

  OPAC

• 帝京科学大学 附属図書館 東京西図書館

  007.1||L51||29401480562

  OPAC

• 帝塚山大学 図書館 分館 (学園前キャンパス図書館) 図

  T2100155715*

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

  548.96/Ko67/22219510112

  OPAC

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

  549.98/Ko67/22219400552

  OPAC

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

  548.96/Ko67/22219407735

  OPAC

• 東海学院大学・東海学院大学短期大学部 附属図書館

  007.6036||Lee||2043998

  OPAC

• 東海大学 熊本図書館 熊本

  548.2/K/2273795

  東海大学 付属図書館 伊勢原図書館

  QA76/K/201444873

  東海大学 付属図書館 札幌図書館

  549.92||K 2S020000699002*

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

  007.64||L||2209675

  東京海洋大学 附属図書館 越中島分館 図

  549.92||L 16||2178106

  OPAC

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

  W2380011619760X

  OPAC

• 東京学芸大学 附属図書館 図

  401.303/L5119410539

  東京女子大学 図書館

  1103519

  OPAC

• 東京大学 柏図書館 開架

  007.1:Ko788410041696

  OPAC

• 東京大学 経済学図書館 図書

  78:522:25511149634

  OPAC

• 東京大学 工学部・工学系研究科 図書

  007.1:L51:21010579512

  OPAC

• 東京大学 工学部・工学系研究科 電気・子

  910:2287:IID1010547055

  OPAC

• 東京大学 駒場図書館 駒場図

  007.1:L51:23010350118

  OPAC

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

  JI:Co8010067562

  OPAC

• 東京大学 生産技術研究所 図書室 図書

  F-90:114:(2)6700730119

  OPAC

• 東京大学 総合図書館

  007.1:Ko78:20011183886

  OPAC

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

  YN:466:b2010098842

  OPAC

• 東京電機大学 総合メディアセンター 鳩山センター

  549.9/KO-67/25000113827

  OPAC

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

  007.64/H29h/219602801

  東京都立大学 図書館 数学

  007.1/L51k/210000597759

  東京農工大学 小金井図書館

  548.160050594

  OPAC

• 東京理科大学 神楽坂図書館 図

  007.1||Ko 78||200403230

  東京理科大学 野田図書館 野図

  418.6||Ko 78||260387822

  統計数理研究所 図書室

  OPAC

• 東北工業大学 附属図書館

  N1:548.100||AT:L||KN:002||BT:R1940614

  東北大学 附属図書館 本館

  06940000949

  OPAC

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

  03930028112

  OPAC

• 東洋大学 附属図書館 朝霞図書館

  R007.6403:LJ0400007407

  OPAC

• 東洋大学 附属図書館 川越図書館

  R007.1:LJ:30310035647

  OPAC

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

  007.1-C-200256342

  OPAC

• 徳島大学 附属図書館

  007.1||Ko||2205004071

  鳥取大学 附属図書館 図

  007.1:Kon:(2)0010174258

  OPAC

• 富山大学 附属図書館 図

  007.1||K83||Ma=231001774

  OPAC

• 豊田工業高等専門学校 図書館

  007.6||L||10065957

  OPAC

• 同志社大学 図書館

  A007.1;L341-1F;2B;9410000714

  OPAC

• 独立行政法人国立高等専門学校機構 香川高等専門学校 高松キャンパス 図書館

  418||L51||21065687

  OPAC

• 独立行政法人国立高等専門学校機構 香川高等専門学校 詫間キャンパス 図書館

  007.1||L 51||2073865

  OPAC

• 長岡技術科学大学 附属図書館

  1068608

  OPAC

• 長野大学 附属図書館

  007.1//L51T0082414*

  OPAC

• 名古屋工業大学 図書館

  549.92||Ko 78||2

  OPAC

• 名古屋市立大学 総合情報センター 山の畑分館

  007.1||Le||280135495

  名古屋女子大学 学術情報センター

  548/177/200186834

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

  007.64||L11156067

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

  007.64||L11155235

  名古屋大学 附属図書館 中央館

  007.64||L1154542

  名古屋文理大学 図書情報センター

  007.1/L51/2110011961

  OPAC

• 奈良女子大学 学術情報センター

  007.1||S9494003315

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

  B||20||20017170

  OPAC

• 鳴門教育大学 附属図書館

  007.1//L51//2T1046672*

  OPAC

• 新潟大学 附属図書館 図

  007.1//L51//2H1056251*

  OPAC

• 日本大学 芸術学部図書館 (所沢) 一

  007.6||V32||2F0000256682

  OPAC

• 日本大学 工学部図書館 図

  R 548.2||C 85 L||(2)J9400884

  OPAC

• 日本大学 商学部図書館

  336.58||Ko 67||294-0772

  OPAC

• 日本大学 文理学部図書館

  418.6||L 51||214531223

  OPAC

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

  418.6||L 51||214543377

  OPAC

• 日本大学 理工学部図書館 (駿河台) 理工駿

  549.9||Ko 78||294-0458

  OPAC

• 八戸工業大学 図書館

  549.92-L-2009600

  OPAC

• 東日本国際大学 図書館

  007.1||H72||21004104

  OPAC

• 比治山大学 図書館

  000137300

  OPAC

• 姫路獨協大学 附属図書館 図

  161656

  OPAC

• 兵庫教育大学 附属図書館

  00010020361

  OPAC

• 兵庫教育大学 附属図書館 図

  007.1//KOH0063634*

  OPAC

• 兵庫県立大学 神戸商科学術情報館

  007.6||245||2410191795

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

  007.6||2||1071311083016

  兵庫県立大学 姫路工学学術情報館 図

  007||2||0084A110170620

  兵庫大学 附属図書館

  0060928

  弘前大学 附属図書館 本館

  007.1h0129535*

  OPAC

• 広島工業大学 附属図書館 図書館

  007.64||C||20111157129

  OPAC

• 広島国際大学 図書館 図

  R007.6||K||239815119,39819385

  OPAC

• 広島修道大学 図書館

  1

  OPAC

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

  007.1リウ20000859127,0001060690

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

  007.1:L-51:2/HL0170000100227471

  広島大学 図書館 東千田図書館

  007.1:L-511000453709

  広島大学 図書館 東図書館

  007.1:L-51/796628626000404415

  広島大学 図書館 西図書館

  007.1:L-51:2/HL0152001000414503

  福井大学 附属図書館

  007.1||KON||29400831

  福岡教育大学 学術情報センター 図書館 図

  549.92||KO78||21100032456

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

  H400798*

  OPAC

• 福岡大学 図書館

  10993202

  OPAC

• 福山大学 附属図書館

  11970495900

  OPAC

• 佛教大学 附属図書館 図

  1051101

  OPAC

• 文教大学 湘南図書館

  548.964||L51||22111060024

  OPAC

• 放送大学 附属図書館

  007.6||Ko 78||211394529

  北星学園大学 図書館

  007.6||K-2A-148434

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

  C22.7/H29 / 21:1950559

  OPAC

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

  C22.7||H29||21993004

  OPAC

• 北海学園大学 附属図書館 図

  007.6/C850240355

  OPAC

• 北海学園大学 附属図書館 工

  007.6/C85/20141066

  OPAC

• 北海道大学 大学院工学研究科・工学部図書室 図書

  DC20:004/COM3570394272

  OPAC

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

  /C739/2091009857

  OPAC

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

  dc20:004/co0172084804

  OPAC

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

  NDC8:007.1/L51/2211189379

  前橋工科大学 附属図書館

  007.6/L10021382

  OPAC

• 三重大学 附属図書館

  007.6/Ko 78/249605334

  OPAC

• 宮城大学 学術情報センター

  007.1||L||2000065528

  OPAC

• 宮崎大学 附属図書館 図

  007.1||L3||1-200399383

  室蘭工業大学 附属図書館 図

  007.64||L51||v.2388867

  明治大学 図書館 生

  R548||117||||S19401202

  山口大学 図書館 総合図書館

  418.6/l220094188199

  OPAC

• 山口大学 図書館 工学部図書館

  418.6/L51/22094009141

  OPAC

• 山梨学院大学 総合図書館 図

  007.1/L 51/20215728

  山梨大学 附属図書館

  007.10940001238

  OPAC

• 横浜国立大学 附属図書館

  007.1||LEH99006749*,11211180

  OPAC

• 横浜国立大学 附属図書館 図

  H0487201*

  OPAC

• 立教大学 図書館

  94-01891

  OPAC

• 立命館大学 図書館

  0113844943

  OPAC

• 琉球大学 附属図書館

  007.1||LE||2940024029

  OPAC

• 龍谷大学 瀬田図書館 図

  39400047478

  龍谷大学 深草図書館 図

  19400015098

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

  119950011436

  OPAC

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

• 国立国会図書館サーチ
• カーリル
• WorldCat

翻訳: 會澤邦夫ほか

文献: 各章末

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

• 1

  コンピュータ基礎理論ハンドブック

  Jan van Leeuwen [編] ; 廣瀬健, 野崎昭弘, 小林孝次郎監訳

  丸善 1994.2

  所蔵館7館