Jump to main content

yr 〜
yr

Search results 182

離散的計算機数学の総合的研究

離散的計算機数学の総合的研究
Paper図書
米田, 信夫, 東京大学1985-1987<Y151-S60302009>
National Diet Library
  • Author Heading米田, 信夫

論理プログラム言語に基づく証明検証・プログラム合成システムの作成

論理プログラム言語に基づく証明検証・プログラム合成システムの作成
Paper図書
米田, 信夫, 東京大学1983-<Y151-S58580020>
National Diet Library
  • Author Heading米田, 信夫

オリジナル代数・幾何 : 教科傍用 4訂版

オリジナル代数・幾何 : 教科傍用 4訂版
Paper図書
米田信夫 編著数研出版1994.4<Y37-2526>
National Diet LibraryOther Libraries in Japan
  • Author Heading米田, 信夫, 1930-1996

オリジナル微分・積分 : 教科傍用 改訂版

オリジナル微分・積分 : 教科傍用 改訂版
Paper図書
米田信夫 編著数研出版1994.2<Y37-2524>
National Diet LibraryOther Libraries in Japan
  • Author Heading米田, 信夫, 1930-1996

オリジナル基礎解析 : 教科傍用 4訂版

オリジナル基礎解析 : 教科傍用 4訂版
Paper図書
米田信夫 編著数研出版1994.3<Y37-2525>
National Diet LibraryOther Libraries in Japan
  • Author Heading米田, 信夫, 1930-1996

PASCALプログラミング 増訂版 (Information & computing ; 47)

PASCALプログラミング 増訂版 (Information & computing ; 47)
PaperDigital図書
米田信夫 [ほか]共著サイエンス社1990.8<M159-E1254>
National Diet LibraryOther Libraries in Japan
  • Author Heading米田, 信夫, 1930-1996

岩波講座情報科学 9

岩波講座情報科学 9
PaperDigital図書障害者向け資料あり
岩波書店1983.8<M121-93>
Available onlineNational Diet LibraryOther Libraries in Japan
  • Contents参考書：ｐ２８９〜２９８ プログラム言語 米田信夫／編 米田　信夫 〔ほか著〕 参考書：p289......成と支援環境 原田/賢一‖著 米田 信夫/[ほか著] 米田　信夫／著 ＣＯＢＯＬ 西村　恕彦／......参考書 米田信夫 〔ほか著〕 米田 信夫 西村 恕彦 竹下 亨 和田 英一 武市 正人 原田 賢一 米田 信夫 [ほか著] 米田 信夫／著 西村 恕彦／著 竹下 亨......市 正人／著 原田 賢一／著 米田　信夫／［ほか著］ 米田信夫∥[ほか......∥著 参考書ｐ２８９〜２９８ 米田　信夫　〔ほか著〕 出版地：東京 参考書：ｐ２８９～２９８ ９ 米...

数学の問題 : エレガントな解答をもとむ 第1集 (数学セミナーリーディングス)

数学の問題 : エレガントな解答をもとむ 第1集 (数学セミナーリーディングス)
Paper図書
一松信 共編 ; 米田信夫 共編日本評論社1988
Other Libraries in Japan
  • Author Heading一松, 信 米田, 信夫

数学の問題 : エレガントな解答をもとむ 第2集 (数学セミナーリーディングス)

数学の問題 : エレガントな解答をもとむ 第2集 (数学セミナーリーディングス)
Paper図書
一松信 共編 ; 米田信夫 共編日本評論社1988
Other Libraries in Japan
  • Author Heading一松, 信 米田, 信夫

プログラム言語

プログラム言語
Paper図書
米田信夫編 ; 西村恕彦 [ほか著]岩波書店1983.8
Other Libraries in Japan
  • Author Heading米田, 信夫 西村, 恕彦

岩波講座情報科学 : 相磯秀夫／〔ほか〕編集 ９

岩波講座情報科学 : 相磯秀夫／〔ほか〕編集 ９
Paper図書
岩波書店1983
Other Libraries in Japan

C-言語とプログラミング (コンピューターサイエンス・ライブラリー)

C-言語とプログラミング (コンピューターサイエンス・ライブラリー)
PaperDigital図書障害者向け資料あり
米田信夫 編, 斎藤信男 [ほか]著産業図書1982.3<M159-494>
Available onlineNational Diet LibraryOther Libraries in Japan
  • Author Heading米田, 信夫, 1930-1996 斎藤, 信男, 1940-

プログラム言語Ada : 基準文法書解説

プログラム言語Ada : 基準文法書解説
Paper図書
米田信夫編共立出版1981.10
Other Libraries in Japan
  • Author Heading米田, 信夫

基本算法 : 情報構造 (The art of computer programming ; 2)

基本算法 : 情報構造 (The art of computer programming ; 2)
Paper図書
D.E.Knuth 著 ; 米田信夫 共訳 ; 筧捷彦 共訳サイエンス社1984
Other Libraries in Japan
  • Author HeadingD.E.Knuth 米田, 信夫 筧, 捷彦

PASCALプログラミング (サイエンスライブラリ情報電算機 ; 38)

PASCALプログラミング (サイエンスライブラリ情報電算機 ; 38)
PaperDigital図書障害者向け資料あり
米田信夫, 疋田輝雄 共著サイエンス社1979.6<M159-340>
Available onlineNational Diet LibraryOther Libraries in Japan
  • Author Heading米田, 信夫, 1930-1996 疋田, 輝雄

ALGOL60講義

ALGOL60講義
PaperDigital図書障害者向け資料あり
米田信夫, 野下浩平 共著共立出版1979.11<M159-354>
Available onlineNational Diet LibraryOther Libraries in Japan
  • Author Heading米田, 信夫, 1930-1996 野下, 浩平

C : 言語とプログラミング 第3刷

C : 言語とプログラミング 第3刷
Paper図書
米田信夫編 ; 斎藤信男, 武市正人, 石畑清著産業図書1982.7
Other Libraries in Japan
  • Author Heading米田, 信夫 斎藤, 信男 武市, 正人 石畑, 清

ALGOL60講義

ALGOL60講義
Paper図書
米田信夫共立出版1979.11
Other Libraries in Japan

ＴＨＥ　ＡＲＴ　ＯＦ　ＣＯＭＰＵＴＥＲ　ＰＲＯＧＲＡＭＭＩＮＧ ２ 基本算法　情報構造

ＴＨＥ　ＡＲＴ　ＯＦ　ＣＯＭＰＵＴＥＲ　ＰＲＯＧＲＡＭＭＩＮＧ ２ 基本算法　情報構造
Paper図書
ドナルド・アービン・クヌース／著サイエンス社１９８４
Other Libraries in Japan
  • Author Headingドナルド・アービン・クヌース 米田 信夫

基本算法 情報構造 (The art of computer programming ; 2)

基本算法 情報構造 (The art of computer programming ; 2)
PaperDigital図書障害者向け資料あり
D.E.Knuth 著, 米田信夫, 筧捷彦 共訳サイエンス社1978.4<M159-299>
Available onlineNational Diet LibraryOther Libraries in Japan
  • Author HeadingKnuth, Donald Ervin, 1938- 米田, 信夫, 1930-1996 筧, 捷彦, 1945-
RSS