「"平石, 裕実"」の検索結果 | NDLサーチ

検索結果 22 件

タイトルでまとめる

ワ-クステ-シヨンクラスタによる並列分散型形式的論理設計検証

紙図書

平石, 裕実, 京都産業大学2000-2002<Y151-H12680361>

国立国会図書館

著者標目平石, 裕実

有限状態システムの形式的設計検証に関する研究

紙図書

平石, 裕実, 京都産業大学1993-1994<Y151-H05680285>

国立国会図書館

著者標目平石, 裕実

時相論理に基づく計算機援用形式的設計検証に関する研究

紙図書

平石, 裕実, 京都産業大学1991-1992<Y151-H03650301>

国立国会図書館

著者標目平石, 裕実

正則時相論理に基づく形式的論理設計検証に関する研究

紙図書

平石, 裕実, 京都大学1989-1990<Y151-H01550285>

国立国会図書館

著者標目平石, 裕実

スーパクラスタマシンの効率化とその応用 : ハイテクリサーチプロジェクト : 平成12年度-平成16年度私立大学学術研究高度推進事業(ハイテクリサーチセンター整備事業) : 研究成果中間報告書

紙図書

京都産業大学2003.3<M154-H210>

国立国会図書館全国の図書館

ワークステーションクラスタによる並列分散型形式的論理設計検証

紙図書

平石裕実研究代表[京都産業大学]2003.3

全国の図書館

著者標目平石, 裕実

形式的論理設計検証に関する研究

紙図書

平石裕実研究代表者[京都産業大学]1999.3

全国の図書館

著者標目平石, 裕実

Studies on logic design using device simulator approach and its application to a graphic display device

紙博士論文

平石裕実 [著]<UT51-58-F222>

国立国会図書館

著者標目平石, 裕実

スーパクラスタマシンの効率化とその応用 : ハイテク・リサーチ・プロジェクト

紙図書

京都産業大学[編]京都産業大学2005.4

全国の図書館

著者標目京都産業大学黒住, 祥祐平石, 裕実竹内, 勉新實, 治男大本, 英徹

正則時相論理に基づく形式的論理設計検証に関する研究

紙図書

平石裕実研究代表[平石裕実]1991.3

全国の図書館

著者標目平石, 裕実京都大学大学院工学研究科

京都産業大学先端科学技術研究所所報

紙雑誌雑誌タイトル

京都産業大学先端科学技術研究所2002-2020<Z74-D408>

国立国会図書館全国の図書館

京都産業大学計算機科学研究所所報

紙雑誌雑誌タイトル

京都産業大学計算科学研究所1983-2001<Z14-1002>

国立国会図書館全国の図書館

京都産業大学論集自然科学系列

紙雑誌雑誌タイトル

京都産業大学2003-2020<Z14-1919>

国立国会図書館全国の図書館

情報処理学会論文誌 SIG

紙雑誌雑誌タイトル

情報処理学会1998-2008<Z74-C192>

国立国会図書館

電子情報通信学会論文誌 D-1 1 情報・システム情報処理

紙雑誌雑誌タイトル

電子情報通信学会編電子情報通信学会情報・システムソサイエティ1989-2005<Z16-779>

国立国会図書館全国の図書館

情報処理 : 情報処理学会誌 : IPSJ magazine

紙雑誌雑誌タイトル

情報処理学会1960-<Z14-352>

国立国会図書館全国の図書館

Bit : コンピュータサイエンス誌

紙デジタル雑誌雑誌タイトル

共立出版1969-2001<Z14-405>

国立国会図書館全国の図書館

電子情報通信学会論文誌 D 情報・システム

紙デジタル雑誌雑誌タイトル

電子情報通信学会編電子情報通信学会1987-1988<Z16-779>

インターネットで読める国立国会図書館全国の図書館

電子通信学会誌

紙デジタル雑誌雑誌タイトル

電子通信学会1968-1986<Z16-192>

国立国会図書館全国の図書館

検索結果は以上です。

RSS