yr 〜
yr

Search results 79

コンピュータリテラシ : 情報環境の使い方 新版

コンピュータリテラシ : 情報環境の使い方 新版
Paper図書
米﨑直樹, 脇田建 共著オーム社2014.12<M154-L144>
National Diet LibraryOther Libraries in Japan

コンピュータリテラシ : 情報環境の使い方 新版

コンピュータリテラシ : 情報環境の使い方 新版
Paper図書
米崎直樹, 脇田建 共著昭晃堂2011.6<M154-J274>
National Diet LibraryOther Libraries in Japan

実時間ソフトウエアの仕様記述とその検証方式の研究

実時間ソフトウエアの仕様記述とその検証方式の研究
Paper図書
米崎, 直樹, 東京工業大学1995-1997<Y151-H07680341>
National Diet Library

AbadiとRogawayによるメッセージの識別不可能性の形式化

AbadiとRogawayによるメッセージの識別不可能性の形式化
Paper図書
萩原, 茂樹, Hagihara, Shigeki, 米崎, 直樹, YONEZAKI, NAOKI共立出版2010-07数理的技法による情報セキュリティ(シリーズ応用数理)1p.137-152
Other Libraries in Japan

様相構造記述言語を用いるリアクテイブシステム構成法の研究

様相構造記述言語を用いるリアクテイブシステム構成法の研究
Paper図書
米崎, 直樹, 北陸先端科学技術大学院大学1990-1992<Y151-H03680027>
National Diet Library

計算論入門 : 計算の基本原理理解のために

計算論入門 : 計算の基本原理理解のために
Paper図書
渡辺治, 米崎直樹 著日本評論社1997.3<M159-G1156>
National Diet LibraryOther Libraries in Japan

計算論入門 : 計算の基本原理理解のために 第2刷

計算論入門 : 計算の基本原理理解のために 第2刷
Paper図書
渡辺治, 米崎直樹著日本評論社2001.4
Other Libraries in Japan

Software security : theories and systems : Second Mext-NSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003 : revised papers

Software security : theories and systems : Second Mext-NSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003 : revised papers
Paper図書
Kokichi Futatsugi, Fumio Mizoguchi, Naoki Yonezaki (eds.)Springerc2004
Other Libraries in Japan

計算論入門

計算論入門
Paper図書
米崎, 直樹, YONEZAKI, NAOKI日本評論社1997日本評論社No.p.211-
Other Libraries in Japan

計算論入門 : 計算の基本原理理解のために オンデマンド版

計算論入門 : 計算の基本原理理解のために オンデマンド版
Paper図書
渡辺治, 米崎直樹著日本評論社c1997
Other Libraries in Japan

システム検証の科学技術シンポジウム講演論文集 第4回 (算譜科学研究速報 ; AIST-PS-2008-2)

システム検証の科学技術シンポジウム講演論文集 第4回 (算譜科学研究速報 ; AIST-PS-2008-2)
Paper図書
産業技術総合研究所システム検証研究センター 編産業技術総合研究所関西センター2008.1<M159-J123>
National Diet Library

様相構造記述言語を用いるリアクティブシステム構成法の研究

様相構造記述言語を用いるリアクティブシステム構成法の研究
Paper図書
研究代表者 米崎直樹[米崎直樹]1993.3
Other Libraries in Japan

Several Reliability Concepts in Reactive Objects

Several Reliability Concepts in Reactive Objects
Paper図書
米崎, 直樹, YONEZAKI, NAOKIInformation Modeling and Knowledge Bases IV, IOS Press1993Information Modeling and Knowledge Bases IV, IOS Pressp.407-424
Other Libraries in Japan

構造化データにおける検索アルゴリズムの研究

構造化データにおける検索アルゴリズムの研究
Paper博士論文
米崎直樹 [著]<UT51-52-O171>
National Diet Library

情報科学の基礎研究(共著)

情報科学の基礎研究(共著)
Paper図書
米崎, 直樹, YONEZAKI, NAOKIオーム社1990オーム社
Other Libraries in Japan

Natural Language Interface for Requirements Specification

Natural Language Interface for Requirements Specification
Paper図書
米崎, 直樹, YONEZAKI, NAOKIJapanese Perspective on Software Engineering, Addition Wesley1989Japanese Perspective on Software Engineering, Addition Wesleyp.41-76
Other Libraries in Japan

ソフトウェア工学の基礎 19 (レクチャーノート/ソフトウェア学 ; 38)

ソフトウェア工学の基礎 19 (レクチャーノート/ソフトウェア学 ; 38)
Paper図書
近代科学社2012.12<M159-L20>
National Diet LibraryOther Libraries in Japan

応用数理

応用数理
Paper雑誌
日本応用数理学会 編日本応用数理学会1991-<Z15-726>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

電子情報通信学会技術研究報告 : 信学技報

電子情報通信学会技術研究報告 : 信学技報
Paper雑誌
電子情報通信学会1987-2020<Z16-940>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

セキュリティ研究 (SSA mook)

セキュリティ研究 (SSA mook)
Paper雑誌
JSN日本セキュリティ情報サービス1998-<Z74-B509>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •