書店で探す
目次
18(6) 2001.11
- 特集 インターネット技術
p.571~612
- リンク情報によるWebページ間の類似度推定 (特集 インターネット技術)
p.585~596
- IAAシステムの現状とその課題 (特集 インターネット技術)
p.597~612
- JAVA2のPermission機構のモデル化と実験
p.613~623
18(5) 2001.9
- 最大重み和問題の線形時間アルゴリズムの導出
p.483~498
- チュートリアル オブジェクト指向デザインと形式手法
p.499~528
- チュートリアル コードクローン検出法
p.529~536
- SPIN 2001参加報告
p.537~541
18(1) 2001.1
- 対話 経済ジャーナリストと計算機科学者の対話
p.157~167
- 特集 インタラクティブソフトウェア
p.168~194
- 線形論理型言語のコンパイラ処理系のための抽象機械について
p.195~216
18(3) 2001.5
- 環境適応型のQoS制御を行うネットワーク資源管理システム
p.243~249
- 堆積型ファイルシステムMoraineとメトリクス環境MAMEへの適用
p.250~260
- メーリングリストを利用した共同作業における討議構造の自動構築法
p.261~265
- 属性文法における左再帰除法
p.266~270
- 標数2のある体上の代数方程式の求解
p.271~275
18(4) 2001.7
- 定理証明技術のオブジェクト指向分析への適用
p.416~446
- Formal Method Europe(FME)2001会議報告
p.455~460
- APSEC 2000の会議報告
p.461~464
18(2) 2001.3
- 特集 プログラミング及びプログラミング言語
p.243~295
- 共有メモリ並列計算機上の並列ガーベージコレクタの性能予測
p.296~300
書店で探す
書誌情報
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。
- 資料種別
- 雑誌
- ISSN
- 0289-6540
- ISSN-L
- 0289-6540
- タイトル
- タイトルよみ
- コンピュータ ソフトウェア
- 巻次・部編番号
- 18(1)-18(6) 20010100-20011100
- 著者・編者
- 日本ソフトウェア科学会 編
- 著者標目
- 日本ソフトウェア科学会 ニホン ソフトウェア カガッカイ ( 00258002 )典拠
- 出版年月日等
- 2001