【図書】 Ａｎｎｕａｌ ｒｅｖｉｅｗ ｏｆ ｃｏｍｐｕｔｅｒ ｓｃｉｅｎｃｅ ３
Ｄａｔａｂａｓｅ ｓｅｃｕｒｉｔｙ ／ Ｄｏｒｏｔｈｙ Ｅ． Ｄｅｎｎｉｎｇ －－ Ｆｕｎｄａｍｅｎｔａｌｓ ｏｆ ｅｘｐｅｒｔ ｓｙｓｔｅｍｓ ／ Ｂｒｕｃｅ Ｇ． Ｂｕｃｈａｎａｎ ａｎｄ Ｒｅｉｄ Ｇ． Ｓｍｉｔｈ －－ Ｐｒｏｔｅｉｎ ｆｏｌｄｉｎｇ： ｃｏｍｐｕｔａｔｉｏｎａｌ ａｐｐｒｏａｃｈｅｓ ｔｏ ａｎ ｅｘｐｏｎｅｎｔｉａｌ－ｔｉｍｅ ｐｒｏｂｌｅｍ ／ Ｇｅｏｒｇｅ Ｎ． Ｒｅｅｋｅ， Ｊｒ． －－ Ａｌｇｅｂｒａｉｃ ｍｅｔｈｏｄｓ ｆｏｒ ｇｅｏｍｅｔｒｉｃ ｒｅａｓｏｎｉｎｇ ／ Ｂ． Ｂｕｃｈｂｅｒｇｅｒ， Ｇ．Ｅ． Ｃｏｌｌｉｎｓ， ａｎｄ Ｂ． Ｋｕｔｚｌｅｒ －－ Ｉｍａｇｅ ａｎａｌｙｓｉｓ ／ Ｔｈｅｏ Ｐａｖｌｉｄｉｓ －－ Ｔｈｅｍｅｓ ｉｎ ｔｈｅ ｄｅｖｅｌｏｐｍｅｎｔ ｏｆ ｐｒｏｇｒａｍｍｉｎｇ ｌｏｇｉｃｓ ｃｉｒｃａ １９６３－１９８７ ／ Ｒｏｂｅｒｔ Ｌ． Ｃｏｎｓｔａｂｌｅ －－ Ｔｈｅ ＬＩＳＰ ｅｘｐｅｒｉｅｎｃｅ ／ Ｈａｒｏｌｄ Ａｂｅｌｓｏｎ ［ｅｔ ａｌ．］ －－ Ｃｏｍｍｏｎｓｅｎｓｅ ｐｈｙｓｉｃｓ：．．． -- Ａｎｎｕａｌ ｒｅｖｉｅｗ ｏｆ ｃｏｍｐｕｔｅｒ ｓｃｉｅｎｃｅ -- Ｊｏｓｅｐｈ Ｆ． Ｔｒａｕｂ， ｅｄｉｔｏｒ , Ｂａｒｂａｒａ Ｊ． Ｇｒｏｓｚ， ａｓｓｏｃｉａｔｅ ｅｄｉｔｏｒ , Ｂｕｔｌｅｒ Ｗ． Ｌａｍｐｓｏｎ， ａｓｓｏｃｉａｔｅ ｅｄｉｔｏｒ , Ｎｉｌｓ Ｊ． Ｎｉｌｓｓｏｎ， ａｓｓｏｃｉａｔｅ ｅｄｉｔｏｒ． -- Ａｎｎｕａｌ Ｒｅｖｉｅｗｓ -- ｃ１９８８． -- ２３ ｃｍ． -- ４２３ ｐ．：ｉｌｌ．
ページの先頭へ
所蔵は 1 件です。現在の予約件数は 0 件です。