書店で探す
目次
17(4) 2000.07
- 特集 インターネット
p.297~378
- REDの安全弁機構の設計と実装 (特集 インターネット)
p.311~326
17(1) 2000.01
- 対話 免疫科学者と計算機科学者の対話
p.1~12
- 特集 新世紀フォーラム
p.13~31
- 大晦日の草稿 (特集 新世紀フォーラム)
p.15~18
17(2) 2000.03
- イベントとプロパティの区別を導入した型階層論理
p.118~132
- GUIを対象とした線形計算による制約階層解消系の高速化
p.133~137
- クラス定義の発展と自己反映計算によるその対処
p.143~147
17(6) 2000.11
- 潜在帰納法と書換え帰納法の比較
p.509~520
- 動的環境下での進化学習システムの特徴と適応のメカニズム
p.534~550
- 認証プロトコルの検証ツール
p.551~554
- メタ項書換え計算における規則中に規則を含む直交メタ項の合流性
p.555~559
17(3) 2000.05
- 特集 プログラミング及びプログラミング言語
p.193~254
17(5) 2000.9
- 特集 社会・経済におけるマルチエージェント
p.409~468
書店で探す
書誌情報
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。
- 資料種別
- 雑誌
- ISSN
- 0289-6540
- ISSN-L
- 0289-6540
- タイトル
- タイトルよみ
- コンピュータ ソフトウェア
- 巻次・部編番号
- 17(1)-17(6) 20000100-20001100
- 著者・編者
- 日本ソフトウェア科学会 編
- 著者標目
- 日本ソフトウェア科学会 ニホン ソフトウェア カガッカイ ( 00258002 )典拠
- 出版年月日等
- 2000