検索結果 15 件
紙図書
国立国会図書館
- 件名ガーベジコレクション / リアルタイム処理 / 並列処理 / システムプログラム / プログラミング言語 / 言語処理系
紙図書
国立国会図書館
- 件名ソフトウェアセキュリティ / 安全なメールシステム / 安全な情報基盤 / プログラム検証 / プログラム言語処理系 / オペレーティングシステム
紙図書
国立国会図書館
- 件名高階並行プロセス計算 動作的意味論 計算モデル 高階様相論理 タイプシステム 高階並行プログラミング言語 等価性 言語処理系
デジタル文書・図像類
全国の図書館
- 件名高性能計算 GPGPU CUDA 並列プログラミング言語 言語処理系 プログラミングモデル 自動最適化
検索結果は以上です。