図書

夏のプログラミング・シンポジウム「プログラミング言語, 作る人, 使う人」報告集

図書を表すアイコン

夏のプログラミング・シンポジウム「プログラミング言語, 作る人, 使う人」報告集

国立国会図書館請求記号
M159-J1627
国立国会図書館書誌ID
023853587
資料種別
図書
著者
岩崎英哉, 川中真耶, 小出洋, 田中哲朗, 松崎公紀, 三廻部大 編
出版者
[情報処理学会] プログラミング・シンポジウム委員会
出版年
2012.1
資料形態
ページ数・大きさ等
118p ; 26cm
NDC
007.64
すべて見る

資料に関する注記

一般注記:

会期: 2011年9月2日-4日

資料詳細

内容細目:

セッション1高性能計算におけるVerification-Obliviousプログラミングのためのディレクティブに基づくソースコード検証 / 安部達也, 佐藤三久 著動的解析を利用した正常系解析と正常系表示エディタの開発 / 中山心太 著...

書店で探す

書誌情報

この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。

資料種別
図書
タイトルよみ
ナツ ノ プログラミング ・ シンポジウム 「 プログラミング ゲンゴ, ツクル ヒト, ツカウ ヒト 」 ホウコクシュウ
著者・編者
岩崎英哉, 川中真耶, 小出洋, 田中哲朗, 松崎公紀, 三廻部大 編
著者標目
岩崎, 英哉 イワサキ, ヒデヤ ( 01043746 )典拠
川中, 真耶 カワナカ, シンヤ ( 001111336 )典拠
小出, 洋 コイデ, ヒロシ ( 01054661 )典拠
出版年月日等
2012.1
出版年(W3CDTF)
2012
数量
118p
大きさ
26cm