Saitō, Masaya
齋藤, 正也
VIAF ID: 161046490 ( Personal )
Permalink: http://viaf.org/viaf/161046490
Preferred Forms
- 100 1 _ ‡a Saitō, Masaya
- 100 1 _ ‡a Saitō, Masaya
- 100 1 _ ‡a 齋藤, 正也
4xx's: Alternate Name Forms (14)
Works
Title | Sources |
---|---|
Maruchi ejento no tame no deta kaiseki. | |
Resonances,stabilization,and stable chaos in hierarchical triple systems : proceedings of the second international workshop held in Chiba, Japan 8-13 September 2008 | |
Security verification through model checking: a case study using software update system | |
Sofutowea kōshin shisutemu no moderu kensa ni yoru sekyuriti | |
Tentai Rikigaku N-tai Rikigaku Kenkyūkai shūroku, 2010: | |
ソフトウェア更新システムのモデル検查によるセキュリティ | |
マルチエージェントのためのデータ解析 = Data Analysis for Multi-Agent Simulation | |
天体力学N体力学研究会集錄 = Proceedings of the 41st Symposium on Celestial Mechanics : 計算と理論の最前線=多倍長x精度保証+積分可能性x正則化可能性 |