サイトメニューここからこのページの先頭です

ショートカットキーの説明を開始します。画面遷移や機能実行は、説明にあるショートカットキーを同時に押した後、Enterキーを押してください。ショートカットキーの説明を聞くには、Alt+0。トップ画面の表示には、Alt+1。ログインを行うには、Alt+2。簡易検索画面の表示には、Alt+3。詳細検索画面の表示には、Alt+4。障害者向け資料検索画面の表示には、Alt+5。検索結果の並び替えを行うには、Alt+6。国立国会図書館ホームページの表示には、Alt+7。検索結果の絞り込みを行うには、Alt+8。以上でショートカットキーの説明を終わります。

ナビゲーションここから

ナビゲーションここまで

本文ここから

資料種別 政府刊行物

Research reports on information sciences series C:Computer science 16~24

[東京工業大学理学部情報科学科] [編]

詳細情報

タイトル Research reports on information sciences
著者 [東京工業大学理学部情報科学科] [編]
著者標目 東京工業大学
出版地(国名コード) JP
出版地Tokyo
出版社Department of Information Sciences, Tokyo Institute of Technology
出版年 1979
大きさ、容量等 9冊 ; 30cm
JP番号 77051091
巻次 series C:Computer science 16~24
部分タイトル 16 Eliminating unit reductions from LR(k) parsers using minimum contexts(Takehiro Tokuda) 17 A Specification Technique for Abstract Data Types with Parallelism(Akinori Yonezawa) 18 Modelling distributed systems(Aki Yonezawa) 19 A pattern matching macro processor(Masataka Sassa) 20 Specifying and verifying software systems with high internal concurrency based on actor formalism(Akinori Yonezawa)
部分タイトル 21 A historical,generalistic,and complementary approach in introductory computer science education(Izumi Kimura) 22 An sxiom system for rational sets with multiplicity(Masato Morisaki & Ko Sakai) 23 On multitape automata(Hideki Yamasaki) 24 Design and implementation of a multipass-compiler generator(Masataka Sassa[ほか])
出版年月日等 1978.4-1979.4
NDLC M151
NDC 007
対象利用者 一般
資料の種別 図書
資料の種別 政府刊行物
資料の種別 官公庁刊行物
言語(ISO639-2形式) jpn : 日本語

本文ここまで

Copyright © 2012 National Diet Library. All Rights Reserved.

フッター ここまで