Search by Bookstore
Table of Contents
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
Search by Bookstore
Bibliographic Record
You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.
- Material Type
- 雑誌
- ISSN
- 0289-6540
- ISSN-L
- 0289-6540
- Title
- Title Transcription
- コンピュータ ソフトウェア
- Volume
- 18(1)-18(6) 20010100-20011100
- Author/Editor
- 日本ソフトウェア科学会 編
- Author Heading
- 日本ソフトウェア科学会 ニホン ソフトウェア カガッカイ ( 00258002 )Authorities
- Publication, Distribution, etc.
- Publication Date
- 2001