Formal models and semantics

- Leeuwen, Jan van

関連文献: 1件

著者

- Leeuwen, Jan van

書誌事項

Formal models and semantics

edited by Jan van Leeuwen

（Handbook of theoretical computer science / editor, Jan van Leeuwen, v. B）

Elsevier , MIT Press, 1990

: Elsevier
: MIT Press

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

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

: MIT PressQA76.H279

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

: MIT Press009731418

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

: Elsevier10135385

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

: Elsevier007.6:L510000241307

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

: Elsevier007.6:The:2219102516,219402333

OPAC
岩手県立大学メディアセンター

: MIT Press007.6:F100911205

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

: Elsevier549.5-L51-B2292024540

OPAC
愛媛大学図書館研

: Elsevier007.6/HA/219604676

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

: ElsevierR007.6||H||289616222, : MIT PressR007.6||H||289612936

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

: Elsevier12200067333, 12500023895

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

: MIT Press09126012856

OPAC
大阪電気通信大学図書館

: Elsevier/007/H/2230739

OPAC
大島商船高等専門学校図書館

OPAC
岡山県立大学附属図書館

: Elsevier007.6/LE00252349

OPAC
岡山大学図書館中央図

Elsevier007.6/H016000065961

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

: Elsevier549/H29/B097010007504

OPAC
海上保安大学校図書館

: MIT Press007.63/LE/2400095050

OPAC
香川大学図書館

: MIT Press007.1/L,h/B2112156008

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

: Elsevier007.6||H||212019397

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

510.78:1375:20000668665, : MIT Press510.78:1375:20028362556

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

510.78:1375:20000540971

OPAC
北見工業大学図書館図

: Elsevier007.103||L5100005307784

OPAC
九州工業大学附属図書館図

: ElsevierT1007708*

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

: Elsevier549.9||L-40||2-B0435115

OPAC
九州大学理系図書館

: MIT PressA1/Le/v.B061232004039028, : Elsevier007.64/L 51/2068222191003460

OPAC
九州産業大学図書館

: Elsevier10685835

OPAC
京都産業大学図書館

Elsevier410.1-LEE+B601454, 636968, 649556, 649760, MIT Press410.1-LEE+B822608

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

C||Handbook-14||B91011690

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

: MIT Press||LEE 8||1-B01002494

OPAC
岐阜大学図書館

: MIT Press549.92||Han120527499

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

: MIT Press007.6:L51:2209701005

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

: MIT Press007.6:L51:2209701005

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

Elsevier548-0-131//2H039100000645*, 548-0-131//2-C030309601420

OPAC
神戸大学附属図書館総合図書館国際文化学図書館

ElsevierS061000108895*

OPAC
神戸大学附属図書館経済経営研究所図書館図書

: Elsevier621.34-562-2s081000084827*

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

: MIT Press430||LEE||2B9905932

OPAC
国立情報学研究所

: Elsevier2001||740100040377, : MIT Press94||139100014164

OPAC
国立情報学研究所研究室

: Elsevier93||563100033107

OPAC
埼玉大学図書館情工

: Elsevier028002338

OPAC
佐賀大学附属図書館図

007.6-H 29-B129300616

OPAC
滋賀大学附属図書館

: Elsevier004||H 1994000950

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

: Elsevier007/H29/28192070103

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

: ElsevierH0006967*

OPAC
島根大学附属図書館

: ElsevierNDC:007.1/L51/B

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

: ElsevierR||007.192S07463

OPAC
高千穂大学図書館

T00095045

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

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

: Elsevier007.6||Le||290301049

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

: Elsevier007.6-L51-210091300487

OPAC
都留文科大学附属図書館図

: MIT Press/007.63/L51/2000252198

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

: Elsevier548.1/H29/B2219100223

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

: Elsevier401/H29/B2219207522,2219300515,2219606759, : MIT Press401/H29/B2219201683,2219202232

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

: MIT Press548.1/H29/B2219206526

OPAC
東京学芸大学附属図書館数学

MIT Press401.303/L5119101443

OPAC
東京大学工学部・工学系研究科物計

MIT Press81:L:51010329199

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

MIT Press910:2015:B1010368635

OPAC
東京大学駒場図書館広域広シ

: Elsevier3911418832,3911061152

OPAC
東京電機大学総合メディアセンター千葉センター

: Elsevier549.9/H-29/28000000449

OPAC
統計数理研究所図書室

OPAC
東北学院大学中央図書館

a3094027673b

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

06910000366

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

Elsevier00900318491, 00900318491

OPAC
東北大学附属図書館北青葉山分館数学

: Elsevier02240011139

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

Elsevier03900033084

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

: Elsevier007.6:LJ:1-21306163468

OPAC
鳥取大学附属図書館図

Elsevier007.6:Han:(B)0010000248

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

: Elsevier007.63||L||20061521

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

00050210

OPAC
豊橋技術科学大学附属図書館図

: MIT Press007.1||LE||290903302

OPAC
同志社大学図書館

: ElsevierA007.6;L341;267;9320241470

OPAC
名古屋工業大学図書館

: Elsevier401.036||H 29||B, 90202850

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

007.6||L41026901

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

: Elsevier007.6||L41019754

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

: Elsevier007.6||L41035176

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

: MIT PressLEE||20||1B41020113

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

F004||S9292200643

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

: ElsevierBD20||32||20010800

OPAC
新潟大学附属図書館図

: MIT Press007.6//L51H137051*

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

: ElsevierR 549.92||H 29 L||(2)E9200287

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

: Elsevier007.64||L51||214928470

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

: Elsevier007||2||B2122271

OPAC
弘前大学附属図書館本館

: Elsevier007.6||H2905855874

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

: Elsevier007.6||H||B0111458782

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

: Elsevier007.1LE20001180954,0001218794

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

: Elsevier150310

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

: Elsevier007.1:F-39/635576176000403501

OPAC
福井大学附属図書館

: MIT Press007.6||LEE100096724

OPAC
福島大学附属図書館

: ElsevierT19700806*

OPAC
福山大学附属図書館

: MIT Press007.1||L||B129200211

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

: MIT PressC22.7||H29||25923524

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

: ElsevierC22.7||H||29160515

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

: Elsevier004/H1913570272753

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

DC19:004/L5162070182216

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

: Elsevier004/H1910570460382

OPAC
三重大学附属図書館

: Elsevier007.6/H 29/B29403960

OPAC
明治学院大学図書館図

004:L480105536247

OPAC
明治大学図書館生

418.6||1088||||K29106819

OPAC
山形大学工学部図書館

: MIT PressT719200247*

OPAC
山形大学中央図書館

: MIT Press007.64//HAN//2110901744

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

: Elsevier2092004143, : MIT Press2090015980, 418.6/H051/B2090015980

OPAC
山梨大学附属図書館

: Elsevier007.60910037407

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

Elsevier007.1//LEH0401286*, : MIT PressH96010545*

OPAC
立教大学図書館

: Elsevier92-36267

OPAC
立命館大学図書館

Elsevier0113391304, MIT Press7310017535

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

この図書・雑誌をさがす

注記

Includes bibliographical references and subject index (p. 1243-1273)

Formal models and semantics

著者

書誌事項

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

この図書・雑誌をさがす

注記

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

詳細情報

書き出し

Formal models and semantics

著者

書誌事項

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

この図書・雑誌をさがす

注記

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

詳細情報

書き出し

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