WebOPAC Local書誌詳細

図書館HP | ログイン

書誌詳細

東京都立大学図書館

検索結果一覧へ戻る

Mathematical methods in software science and engineering

京都大学数理解析研究所, 1979. -- (数理解析研究所講究録 ; 363). <BB00036262>

登録タグ：

登録されているタグはありません

便利機能：

詳細情報を見る

書誌URL：

Mathematical methods in software science and engineering

京都大学数理解析研究所, 1979. -- (数理解析研究所講究録 ; 363). <BB00036262>

登録タグ：

登録されているタグはありません

便利機能：

詳細情報を見る

書誌URL：

所蔵一覧 1件～1件（全1件）

ナンバーをクリックすると所蔵詳細をみることができます。

No.	巻号	所蔵館	配置場所	資料ID	請求記号	状態	返却予定日	予約	WEB書棚
0001		数理科学	理：数理科学図書室レクチャーノート	10001447178	/410/Su76k/363			0件


No.	0001
巻号
所蔵館	数理科学
配置場所	理：数理科学図書室レクチャーノート
資料ID	10001447178
請求記号	/410/Su76k/363
状態
返却予定日
予約	0件
WEB書棚

このページのTOPへ

書誌詳細

標題および責任表示	Mathematical methods in software science and engineering
出版・頒布事項	[京都] : 京都大学数理解析研究所 , 1979.9
形態事項	ii,291p ; 25cm
書誌構造リンク	数理解析研究所講究録\|\|スウリカイセキケンキュウショコウキュウロク <BB00036669> 363//a
内容著作注記	Module-wise compilation for a language with type-parameterization mechanism / [湯浅太一]
内容著作注記	Some analysis of PASCAL programs / [島崎眞昭, 深谷繁]
内容著作注記	Design and implementation of a multipass-compiler generator / [佐々政孝, 徳田淳子, 篠木剛, 井上謙蔵]
内容著作注記	On a microcode compiler toward a table driven firmware generator / [房岡璋, 三上和敬]
内容著作注記	Logical design of a 4NF D-tree schema of a relational data base / [田中譲]
内容著作注記	Relational strategies for processing universally quantified queries to large data bases / [古川康一]
内容著作注記	Associative data structures and their applications / [鈴木正幸, 後藤英一, 稲田信幸]
内容著作注記	Fast list-copying algorithms using constant workspace / [長谷川洋]
内容著作注記	Interactive theorem proving on hierarchically and modularly structured sets of very many axioms / [本田道夫, 中島玲二]
内容著作注記	On semantic generalization of examples / [原口誠]
注記	"R.I.M.S. Symposium on Mathematical Methods in Software Science and Engineering, May 10-12, 1979 / organizer, Reiji Nakajima"
学情ID	BN10058603
本文言語コード	英語
著者標目リンク	京都大学数理解析研究所\|\|キョウトダイガクスウリカイセキケンキュウショ <AU00064589>

このページのTOPへ

検索結果一覧へ戻る

このページのTOPへ