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