スポンサーリンク
北陸先端科学技術大学院大学 | 論文
- 北陸先端科学技術大学院大学情報科学センタ利用の手引
- Performance comparison of a rotating coordinator and a leader based consensus algorithm
- 不正なホストの盗み見からモバイルエージェントを保護するセキュリティ機構の提案と実装
- Concurrent object composition in CafeOBJ
- Component-based algebraic specification and verification in CafeOBJ
- Weak and strong machine dominance in a nonpreemptive flowshop
- A constructive look at Weierstrass' theorem
- A note on nondiscontinuity in constructive mathematics
- A constructive completion of the space D(R)
- On some evolutionary implications of the genetic code
- On structural properties of genetic codes with high adaptability and robustness
- モーバイルコンピューティングのための動的適応可能なソフトウエアアーキテクチャ
- Fixpoint formulation of the completion problem of orthomodular lattices
- Some properties of orthologics
- The super-amalgamation property of the variety of ortholattices
- Kripke-style semantics of orthomodular logics
- The predicate extension of the minimum orthologic
- There exists a continuum of normal modal logics over KTB
- Constructing High Availability Network Systems
- Constructing High Availability Application Servers