ヘルプ
ヘルプ

検索結果 18 件

性能評価の基礎と応用 (情報数学講座 ; 第15巻)

書影
性能評価の基礎と応用 (情報数学講座 ; 第15巻)
紙図書
亀田壽夫, 紀一誠, 李頡 著共立出版1998.5<M154-G752>
国立国会図書館全国の図書館
  • 関連情報情報数学講座
  • 掲載誌情報数学講座

プログラミング言語の基礎理論 (情報数学講座 ; 第9巻)

書影
プログラミング言語の基礎理論 (情報数学講座 ; 第9巻)
紙図書
大堀淳 著共立出版1997.2<M159-G1086>
国立国会図書館全国の図書館
  • 関連情報情報数学講座
  • 掲載誌情報数学講座

応用論理 (情報数学講座 ; 第1巻)

書影
応用論理 (情報数学講座 ; 第1巻)
紙図書
桔梗宏孝 著共立出版1996.3<MA41-G11>
国立国会図書館全国の図書館
  • 関連情報情報数学講座
  • 掲載誌情報数学講座

言語と構文解析 (情報数学講座 ; 第5巻)

書影
言語と構文解析 (情報数学講座 ; 第5巻)
紙図書
徳田雄洋 著共立出版1995.10<M121-G7>
国立国会図書館全国の図書館
  • 関連情報情報数学講座
  • 掲載誌情報数学講座

プログラム検証論 (情報数学講座 ; 第8巻)

書影
プログラム検証論 (情報数学講座 ; 第8巻)
紙図書
林晋 著共立出版1995.9<M159-E3869>
国立国会図書館全国の図書館
  • 関連情報情報数学講座
  • 掲載誌情報数学講座

グラフィックスの数理 (情報数学講座 ; 第13巻)

書影
グラフィックスの数理 (情報数学講座 ; 第13巻)
紙図書
杉原厚吉 著共立出版1995.1<MA91-E48>
国立国会図書館全国の図書館
  • 関連情報情報数学講座
  • 掲載誌情報数学講座

知識と推論 (情報数学講座 ; 第10巻)

書影
知識と推論 (情報数学講座 ; 第10巻)
紙図書
森下真一 著共立出版1994.1<MA41-E80>
国立国会図書館全国の図書館
  • 関連情報情報数学講座
  • 掲載誌情報数学講座

情報代数 (情報数学講座 ; 第2巻)

書影
情報代数 (情報数学講座 ; 第2巻)
紙図書
小野寛晰 著共立出版1994.2<MA67-E25>
国立国会図書館全国の図書館
  • 関連情報情報数学講座
  • 掲載誌情報数学講座

計算幾何学 (情報数学講座 ; 第12巻)

書影
計算幾何学 (情報数学講座 ; 第12巻)
紙図書
今井浩, 今井桂子 著共立出版1994.10<MA91-E46>
国立国会図書館全国の図書館
  • 関連情報情報数学講座
  • 掲載誌情報数学講座

プログラム意味論 (情報数学講座 ; 第7巻)

書影
プログラム意味論 (情報数学講座 ; 第7巻)
紙図書
横内寛文 著共立出版1994.6<M159-E3196>
国立国会図書館全国の図書館
  • 関連情報情報数学講座
  • 掲載誌情報数学講座

最適化の手法 (情報数学講座 ; 第14巻)

書影
最適化の手法 (情報数学講座 ; 第14巻)
紙図書
茨木俊秀, 福島雅夫 著共立出版1993.7<MA216-E37>
国立国会図書館全国の図書館
  • 関連情報情報数学講座
  • 掲載誌情報数学講座

符号と暗号の数理 (情報数学講座 ; 第11巻)

書影
符号と暗号の数理 (情報数学講座 ; 第11巻)
紙図書
藤原良, 神保雅一 著共立出版1993.10<M121-E227>
国立国会図書館全国の図書館
  • 関連情報情報数学講座
  • 掲載誌情報数学講座

離散構造 (情報数学講座 ; 第3巻)

書影
離散構造 (情報数学講座 ; 第3巻)
紙図書
根上生也 著共立出版1993.5<MA81-E35>
国立国会図書館全国の図書館
  • 関連情報情報数学講座
  • 掲載誌情報数学講座

計算の理論 (情報数学講座 ; 第4巻)

書影
計算の理論 (情報数学講座 ; 第4巻)
紙図書
笠井琢美, 戸田誠之助 著共立出版1993.6<MA41-E75>
国立国会図書館全国の図書館
  • 関連情報情報数学講座
  • 掲載誌情報数学講座

情報数学講座 第８巻

情報数学講座 第８巻
紙図書
共立出版１９９５０９
全国の図書館
  • タイトル標目情報数学講座

情報数学講座

情報数学講座
紙図書
共立出版1993.5-
全国の図書館

林 晋 (著), "プログラム検証論" 情報数学講座(8), 共立出版 (株), 211p, 3,296円, 1995, ISBN4-320-02658-6

林 晋 (著), "プログラム検証論" 情報数学講座(8), 共立出版 (株), 211p, 3,296円, 1995, ISBN4-320-02658-6
記事
1996-03-15情報処理37 3p.293-294
全国の図書館

グラフ理論の本から [1] 恵羅博, 土屋守正, グラフ理論(シリーズ/情報科学の数学), 産業図書, 東京, 1996. / [2] 根上生也, 離散構造(情報数学講座3), 共立出版, 東京, 1993. / [3] Harary, F., Graph Theory, Addison-Wesley, Readings, Massachusetts, 1969. / [4] Bondy, J.A., and Murty, U.S. R., Graph Theory with Applications, North-Holland,New York, 1976. / [5] Chartrand, G., and Lesniak, L., Graphs &Digraphs, third edition, Chapman & Hall, London, 1996. / [6] West, D.B., Introduction to Graph Theory, Prentice-Hall, Upper Saddle River, 1996.

グラフ理論の本から [1] 恵羅博, 土屋守正, グラフ理論(シリーズ/情報科学の数学), 産業図書, 東京, 1996. / [2] 根上生也, 離散構造(情報数学講座3), 共立出版, 東京, 1993. / [3] Harary, F., Graph Theory, Addison-Wesley, Readings, Massachusetts, 1969. / [4] Bondy, J.A., and Murty, U.S. R., Graph Theory with Applications, North-Holland,New York, 1976. / [5] Chartrand, G., and Lesniak, L., Graphs &Digraphs, third edition, Chapman & Hall, London, 1996. / [6] West, D.B., Introduction to Graph Theory, Prentice-Hall, Upper Saddle River, 1996.
デジタル記事
1997応用数理7 2p.159-160
インターネットで読める全国の図書館

検索結果は以上です。