Jump to main content

yr 〜
yr

Search results 12

Software security -- theories and systems : second Mext-NSF-JSPS international symposium, ISSS 2003 : Tokyo, Japan, November 4-6, 2003 : revised papers. : Nov 2003, Tokyo, Japan. (Lecture Notes in Computer Science ; 3233)

Software security -- theories and systems : second Mext-NSF-JSPS international symposium, ISSS 2003 : Tokyo, Japan, November 4-6, 2003 : revised papers. : Nov 2003, Tokyo, Japan. (Lecture Notes in Computer Science ; 3233)
Paper図書
Springerc2004.<M17-05-883>
National Diet Library
  • Author HeadingFutatsugi, Kokichi. Mizoguchi, Fumio, 1941- Yonezaki, Naoki. ISSS 2003 (2003 : Tokyo, Jap...

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

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

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

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

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

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

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

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

計算論入門

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

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

コンピュータリテラシ : 情報環境の使い方 新版
Paper図書
米崎直樹, 脇田建 共著昭晃堂2011.6<M154-J274>
National Diet LibraryOther 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
  • Author Heading米崎, 直樹 YONEZAKI, NAOKI

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

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

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

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

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
  • Author Heading米崎, 直樹 YONEZAKI, NAOKI

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

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

Reached to the end of result.

RSS