Search Results1-20 of  30

  • 1 / 2
  • 谷口 健一 ID: 9000003422451

    関学大理 (1972 from CiNii)

    Articles in CiNii:1

    • 5a-M-9 液晶によるX線散乱 (1972)
  • 谷口 健一 ID: 9000007824374

    Articles in CiNii:1

    • 大座談会"新春夢談義"--福岡県八女郡黒木町大淵「大淵発展会」 (1993)
  • 谷口 健一 ID: 9000007929456

    Articles in CiNii:1

    • 山手線TC型省力化軌道の敷設について (特集・〔第14回〕軌道工事技術研究発表会) (1999)
  • 谷口 健一 ID: 9000017895935

    Articles in CiNii:7

    • 平面的なNAND回路網で実現できる論理関数 (1968)
    • 単純句構造文法の簡単化 (1969)
    • 決定性単純句構造言語のあるクラス ε-input free決定性PDAMに対するNull(M)のクラスについて (1970)
  • 谷口 健一 ID: 9000241178151

    Articles in CiNii:1

    • Functional Programming Language ASL/F and Its Optimizing Compiler (1984)
  • 谷口 健一 ID: 9000241178406

    Articles in CiNii:1

    • Optimization of Functional Language ASL/F Programs (1984)
  • 谷口 健一 ID: 9000286971907

    Articles in CiNii:1

    • Design and Verification of Sequential Logic Circuits Besed on Algebraic Method (1994)
  • 谷口 健一 ID: 9000287171660

    Articles in CiNii:1

    • Hierarchical-Keyword-based File Naming Scheme in UNIX Environment (2001)
  • 谷口 健一 ID: 9000287171752

    Articles in CiNii:1

    • Proposal of LOTOS/M: A Language with Dynamic Establishment of Multi-way Synchronization Channels among Mobile Agents (2001)
  • 谷口 健一 ID: 9000287171919

    Articles in CiNii:1

    • Timed Automata with Data Values and their Verification of Bisimulation Equivalence (1999)
  • 谷口 健一 ID: 9000356546315

    Articles in CiNii:1

    • 線路部門 施工記録 TC型省力化軌道敷設工事 (2017)
  • 谷口 健一 ID: 9000404254350

    Articles in CiNii:1

    • 全称子で束縛された冠頭標準形プレスブルガー文の真偽判定の分散実行 (2000)
  • 谷口 健一 ID: 9000404268165

    Articles in CiNii:1

    • 関数の簡約化を用いたプログラム正当性の自動検証アルゴリズム (2002)
  • 谷口 健一 ID: 9000404268193

    Articles in CiNii:1

    • カラーペトリネットで記途されたネットワークアプリケーション動作仕様からのJava プログラムの自動導出 (2002)
  • 谷口 健一 ID: 9000404273641

    Articles in CiNii:1

    • 入力値のみ保持する変数を持つEFSM 群に対する動的性質検証システムの実装 (2001)
  • 谷口 健一 ID: 9000404274903

    Articles in CiNii:1

    • 複数のマルチキャストストリーム配送における品質満足度を考慮した中継サーバ選択方式の提案 (2001)
  • 谷口 健一 ID: 9000404274908

    Articles in CiNii:1

    • 多人数参加型マルチメディアアプリケーション向きの協調的輻輳制御方式の提案と実装 (2001)
  • 谷口 健一 ID: 9000404275946

    Articles in CiNii:1

    • 端末間通信可能なJ2MEアプリケーションプログラムのペトリネット動作仕様からの自動導出 (2003)
  • 谷口 健一 ID: 9000404277452

    Articles in CiNii:1

    • 大規模ネットワークシミュレーション向けのルーティングテーブルの容量削減法の提案と実装 (2003)
  • 谷口 健一 ID: 9000404277560

    Articles in CiNii:1

    • 多種ユーザに対するメディア配信を実現するアプリケーション層ネットワークの提案 (2003)
  • 1 / 2
Page Top