Jump to main content

yr 〜
yr

Search results 3

計算機代数の基礎理論

計算機代数の基礎理論
Paper図書
長坂耕作, 岩根秀直 編著, 北本卓也, 讃岐勝, 照井章, 鍋島克輔 著共立出版2019.3<MA21-M29>
National Diet LibraryOther Libraries in Japan

Two controller design procedures using SDP and QE for a Power Supply Unit

Two controller design procedures using SDP and QE for a Power Supply Unit
Digital文書・図像類
Matsui, Yoshinobu, Iwane, Hidenao, Anai, Hirokazu九州大学マス・フォア・インダストリ研究所2013-08-09COE Lecture Note49p.43-51
Available onlineOther Libraries in Japan
  • Author HeadingMatsui, Yoshinobu Iwane, Hidenao Anai, Hirokazu

An Effective Implementation of a Special Quantifier Elimination for a Sign Definite Condition by Logical Formula Simplification

An Effective Implementation of a Special Quantifier Elimination for a Sign Definite Condition by Logical Formula Simplification
Digital文書・図像類
岩根, 秀直, 樋口, 博之, 穴井, 宏和九州大学マス・フォア・インダストリ研究所2013-08-09COE Lecture Note49p.33-42
Available onlineOther Libraries in Japan

Reached to the end of result.

RSS