国立国会図書館サーチ(NDL SEARCH)
メニューを開く
検索
ヘルプ
ログイン
ヘルプ
ログイン
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年(西暦)
項目を閉じる
年
〜
年
開く
1960年代
(6)
1970年代
(27)
1980年代
(52)
1990年代
(39)
2000年代
(3)
2010年代
(1)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
(33)
雑誌
(50)
新聞
和古書・漢籍
博士論文
(43)
地図
楽譜
webサイト
電子書籍・電子雑誌
電子資料
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
(78)
紙
(48)
マイクロ
(1)
記録メディア
すべて解除
絞り込み条件
絞り込み条件
検索結果 126 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年:古い順
出版年:新しい順
タイトル:昇順
タイトル:降順
著者:昇順
著者:降順
請求記号順
タイトルでまとめる
一括お気に入り
マイクロプロセツサの形式的論理設計検証システムの試作研究
マイクロプロセツサの形式的論理設計検証システムの試作研究
紙
図書
矢島, 脩三, 京都大学
1995-1996
<Y151-H07558155>
国立国会図書館
時相理論に基づく論理設計の形式的検証システムの試作研究
時相理論に基づく論理設計の形式的検証システムの試作研究
紙
図書
矢島脩三, 京都大学
1993-1994
<Y151-H05558030>
国立国会図書館
論理関数高速処理機構に関する基礎的研究
論理関数高速処理機構に関する基礎的研究
紙
図書
矢島, 修三, 京都大学
1993-1994
<Y151-H05452352>
国立国会図書館
ブール関数処理による順序回路の自動合成・設計検証システムの試作研究
ブール関数処理による順序回路の自動合成・設計検証システムの試作研究
紙
図書
矢島, 脩三, 京都大学
1991-1992
<Y151-H03555074>
国立国会図書館
共有二分決定図による論理関数の効率的処理とそれに基づく論理設計支援に関する研究
共有二分決定図による論理関数の効率的処理とそれに基づく論理設計支援に関する研究
紙
図書
矢島, 脩三, 京都大学
1990-1991
<Y151-H02452162>
国立国会図書館
時間記号シミユレーシヨンによる論理設計検証システムの試作研究
時間記号シミユレーシヨンによる論理設計検証システムの試作研究
紙
図書
矢島, 脩三, 京都大学
1989-1990
<Y151-H01850074>
国立国会図書館
冗長符号化による超高速算術演算回路の高信頼化設計に関する研究
冗長符号化による超高速算術演算回路の高信頼化設計に関する研究
紙
図書
矢島, 脩三, 京都大学
1988-1989
<Y151-S63460134>
国立国会図書館
ベクトルプロセツサを用いた高速論理シミユレータと論理設計検証システムの試作研究
ベクトルプロセツサを用いた高速論理シミユレータと論理設計検証システムの試作研究
紙
図書
矢島, 脩三, 京都大学
1986-1987
<Y151-S61850062>
国立国会図書館
冗長表現を利用した超LSI向きハードウエアアルゴリズムの設計に関する研究
冗長表現を利用した超LSI向きハードウエアアルゴリズムの設計に関する研究
紙
図書
矢島, 脩三, 京都大学
1985-1986
<Y151-S60460133>
国立国会図書館
高水準ハードウェア記述を用いた会話型論理シミュレータ・ベリファイアの試作研究
高水準ハードウェア記述を用いた会話型論理シミュレータ・ベリファイアの試作研究
紙
図書
矢島脩三, 京都大学
1984-1985
<Y151-S59850059>
国立国会図書館
超LSI向きハードウェアアルゴリズムとそのバス結合セル配列方式による実現の研究
超LSI向きハードウェアアルゴリズムとそのバス結合セル配列方式による実現の研究
紙
図書
矢島, 脩三, 京都大学
1983-1984
<Y151-S58460135>
国立国会図書館
大規模論理回路に適した構造化論理設計と論理検証システムの試作研究
大規模論理回路に適した構造化論理設計と論理検証システムの試作研究
紙
図書
矢島脩三, 京都大学
1981-1982
<Y151-S56850100>
国立国会図書館
ハードウェアアルゴリズムとそれに基づく高速演算装置の実現に関する研究
ハードウェアアルゴリズムとそれに基づく高速演算装置の実現に関する研究
紙
図書
矢島脩三, 京都大学
1981-1982
<Y151-S56460106>
国立国会図書館
マイクロプロセッサの形式的論理設計検証システムの試作研究
マイクロプロセッサの形式的論理設計検証システムの試作研究
紙
図書
矢島脩三研究代表
[矢島脩三]
1997.3
全国の図書館
関係データベース理論の構築と研究情報システムARISにおけるその実際的研究
関係データベース理論の構築と研究情報システムARISにおけるその実際的研究
紙
図書
矢島脩三, 京都大学 [著]
[矢島脩三]
1979-1980
<Y151-S00446192>
国立国会図書館
論理関数高速処理機構に関する基礎的研究
論理関数高速処理機構に関する基礎的研究
紙
図書
矢島脩三研究代表
[矢島脩三]
1995.3
全国の図書館
時相理論に基づく論理設計の形式的検証システムの試作研究
時相理論に基づく論理設計の形式的検証システムの試作研究
紙
図書
矢島脩三研究代表
[矢島脩三]
1995.3
全国の図書館
ブール関数処理による順序回路の自動合成・設計検証システムの試作研究
ブール関数処理による順序回路の自動合成・設計検証システムの試作研究
紙
図書
矢島脩三研究代表
[矢島脩三]
1993.3
全国の図書館
岩波講座情報科学 14
岩波講座情報科学 14
紙
デジタル
図書
岩波書店
1982.2
<M121-93>
インターネットで読める
国立国会図書館
全国の図書館
内容細目
...機能と構造 矢島脩三/〔著〕
矢島 脩三
著 計算問題と計算機械 デー...
...アルゴリズムの複雑さと計算機
矢島 脩三
/著 矢島脩三 〔著〕 矢島脩三 著
矢島 脩三
著
矢島 脩三
/著 矢島/脩三 著 矢島脩三...
...ウ ト コウゾウ 矢島/脩三
矢島 脩三
著 矢島修三 著 出版地:東京 参考書:p275~280 ...
共有二分決定図による論理関数の効率的処理とそれに基づく論理設計支援に関する研究
共有二分決定図による論理関数の効率的処理とそれに基づく論理設計支援に関する研究
紙
図書
矢島脩三研究代表
[矢島脩三]
1992.3
全国の図書館
もっと見る(21件目~)
書誌情報を一括出力