<図書>

A relational theory of computing / John G. Sanderson

(Lecture notes in computer science;82)

所蔵情報を非表示

1

本郷キャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
工6・計数 : gw 85:S:33 1000323236


理7・CS図 : gw 39:L:1.82 2006025189

RECON/保存書庫
3

駒場Ⅰキャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
数理科学・保存 : gw FU:Sanderson 8001190886

普通図書
数理科学・保存 : gw FU:Sanderson 8005052991

普通図書
4

駒場Ⅱキャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
先端研・図書
681.3:L471 7600057769

集密書架別置
先端研・図書
681.3:L471 7600057777

集密書架別置

書誌詳細を非表示

出版者 Berlin : Springer-Verlag
出版年 1980
大きさ vi, 147 p. ; 25 cm
一般注記 Bibliography: p. 141-143
Includes index
著者標目 *Sanderson, John G., 1929-
件 名 LCSH:Electronic digital computers -- Programming
LCSH:Metamathematics
分 類 LCC:QA76.6
DC:001.64/2
本文言語 英語
書誌ID 2000859790
ISBN 3540099875
NCID BA01349228 WCLINK

検索結果一覧に戻る ページトップ