九州大学大学院システム情報科学紀要 = Research reports on information science and electrical engineering of Kyushu University

• Material Type: 雑誌
• Title: 九州大学大学院システム情報科学紀要
• Title Transcription: キュウシュウ ダイガク ダイガクイン システム ジョウホウ カガク キヨウ
• Volume: 5巻2号 2000年9月
• Author/Editor: 九州大学大学院システム情報科学研究院 編
• Author Heading: 九州大学大学院システム情報科学研究院 キュウシュウ ダイガク ダイガクイン システム ジョウホウ カガク ケンキュウイン ( 001128374 )Authorities
• Publication, Distribution, etc.: 福岡 : 九州大学大学院システム情報科学研究院
• Publication Date: 2000
• Publication Date (W3CDTF): 2000
• Year and volume of publication: 5巻別冊 (平成12年5月), 5巻2号 (平成12年9月)-15巻1号 (平成22年3月), 15巻別冊 (平成22年5月)
• Size: 30cm
• Alternative Title: Research reports on information science and electrical engineering of Kyushu University Research reports on information science and electrical engineering of Kyushu University; Research reports on information science and electrical engineering of Kyushu University
• ISSN (Periodical Title): 1342-3819
• ISSN-L (Periodical Title): 1342-3819
• Place of Publication (Country Code): JP
• Text Language Code: jpn; eng
• NDLC: ZM2
• Note (General): 本タイトル等は最新号による
• Holding library: 国立国会図書館
• Call No.: Z14-B425
• Replaces: 継続前 : 九州大学大学院システム情報科学研究科報告 / 九州大学大学院システム情報科学研究科 編 (ISSN:1342-3819); https://ndlsearch.ndl.go.jp/books/R100000002-I000000100151
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 000000162030; http://id.ndl.go.jp/bib/000000162030
• Cataloging Rule: Nippon Cataloguing Rules 1987 Revised Edition

Table of Contents

A Model Generation Theorem Prover Handling Finite Interval Constraints

Design and Implementation of Transaction Coordinator at Network Of Workstations Environment

A Topological Condition for an RC Active Circuit Containing Op-amps to be Unstable

Angular Correlation Function of Waves Scattered from Conducting Targets in Random Media

Stability Analysis using Higher Order Derivatives of Universal Learning Networks