A relational theory of computing

- Sanderson, John G.

関連文献: 1件

著者

- Sanderson, John G.

書誌事項

A relational theory of computing

John G. Sanderson

（Lecture notes in computer science, 82）

Springer-Verlag, 1980

: gw
: us

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

愛知産業大学・短期大学図書館

: us00700013736

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

: gwQA76.6.S262F0007079

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

: gw549:840000450395

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

: gw549.08||1|| 822270110972

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

: gw549.9/47/8201001767

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

: gw08390004490

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

: gw08082001895

OPAC
小樽商科大学附属図書館

: gw098091

OPAC
香川大学図書館

: gw007/L/822112084270

OPAC
鹿児島大学附属図書館

82418.6/L49/8222180147744

OPAC
関西大学図書館図

: usA154804

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

: gw510.78:265:820095556775

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

: us549.9||L-5||820414087

OPAC
九州大学芸術工学図書館

: gw549.92||L49||82072032180005501

OPAC
九州大学理系図書館

: gw408/L 49061232004005092

OPAC
京都産業大学図書館

: gw418.6||S00290665

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

L/N||LNCS||822637663

OPAC
岐阜大学図書館

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

: gw007.08:L49:82217200110

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

: us007||L49||8200017367

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

: gw417-408-15031020104557

OPAC
滋賀大学附属図書館

: gw001.6||L 49||82087147532

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

: gw007/L49/820080214257

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

: gw007.63||L471||8209603189

OPAC
拓殖大学八王子図書館

: gw007.1|| ||317700592472

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

: gw418.607||L 49||82G052028A

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

: gw004/L4700018702860

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

: us一括登録

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

: gw007.08:L-49:82891029380

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

: gw549.98||L49||822218101116

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

: gw401.08/G6618105294

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

: gw85:S:331000323236

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

: gwFU:Sa8005052991,8001190886

OPAC
東京大学先端科学技術研究センター図書室図書室

681.3:L4717600057769

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

: gw39:L:1.822006025189

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

: gw007.1/Sa62r1199850839

OPAC
東京理科大学神楽坂図書館応数

: us535.54||L 49||8200149161

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

: us418.608||L 49||8260184121

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

: gw03870014023

OPAC
徳島大学附属図書館

: gw549.92||Le||8282100587

OPAC
富山大学附属図書館図

: gw535.54||L49||8290081953

OPAC
長崎総合科学大学附属図書館

: gw007.64||SA9000845

OPAC
名古屋工業大学図書館

: gw549.92||Sa 62

OPAC
名古屋大学経済学図書室経済

: gw418.65||G66||8240716428

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

: gw007.64||Sa40713120

OPAC
名古屋大学情報基盤センター図書室情基セ

: gw40713251

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

: gw007.08||L||82||閉架50081359

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

: gwAB||23||820017563

OPAC
一橋大学附属図書館図

: gwSAe:55:82128742402U

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

: gw007||L49||8205502192, 007h046222*

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

: gw007.08LE820000397964, : us007.08LE820001465280

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

: gw548.1:S6000134461

OPAC
福岡大学図書館

10500524

OPAC
福山大学附属図書館

: us128803460

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

: gwLN /LNCS/ 825922956

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

dc19:001.6/l4973520959543

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

: gw004/l497/828220005978

OPAC
明治大学図書館生

: Germany418.6||11-82||||K28716872

OPAC
山梨大学附属図書館

: gw549.91081082765

OPAC
立教大学図書館

: gw80-35471

OPAC
龍谷大学瀬田図書館図

38840156052

OPAC
龍谷大学深草図書館図

19250058321

OPAC
和歌山大学附属図書館

: gw219890048915

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

この図書・雑誌をさがす

注記

Bibliography: p. 141-143

Includes index

内容説明・目次

The components of a relational calculus.- A comparison of some relational calculi.- Properties of relators.- The extension of a calculus.- Types and structures.- Programs.- Assignment and efficiency.- Metatheory.- Conclusions.

「Nielsen BookData」より

A relational theory of computing

著者

書誌事項

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

この図書・雑誌をさがす

注記

内容説明・目次

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

詳細情報

書き出し

A relational theory of computing

著者

書誌事項

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

この図書・雑誌をさがす

注記

内容説明・目次

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

詳細情報

書き出し

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