کتاب های Koji Araki
کتاب های نویسنده
صفحه ۲ از ۳ در بین ۶۹ کتاب.
PDF
FME 2003: Formal Methods: International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003. Proceedings
Kouichi Kishida (auth.), Keijiro Araki, Stefania Gnesi, Dino Mandrioli (eds.), 2003PDF
FME 2003: Formal Methods: International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003. Proceedings
Kouichi Kishida (auth.), Keijiro Araki, Stefania Gnesi, Dino Mandrioli (eds.), 2003PDF
Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings
Takuya Katayama (auth.), Shaoying Liu, Tom Maibaum, Keijiro Araki (eds.), 2008PDF
Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings
Takuya Katayama (auth.), Shaoying Liu, Tom Maibaum, Keijiro Araki (eds.), 2008DJVU
High Performance Computing: International Symposium, ISHPC'97 Fukuoka, Japan, November 4–6, 1997 Proceedings
Bret A. Marsolf, Aart J. C. Bik, Kyle A. Gallivan (auth.), Constantine Polychronopoulos, Kazuki Joe, Keijiro Araki, Makoto Amamiya (eds.), 1997PDF
IFM’99: Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999
He Jifeng (auth.), Keijiro Araki PhD, Andy Galloway PhD, MSc,BSc(Hons), Kenji Taguchi MA (eds.), 1999DJVU
DJVU
PDF
International Symposium on Mathematical Problems in Theoretical Physics: January 23–29, 1975, Kyoto University, Kyoto/Japan
D. Iagolnitzer (auth.), Prof. Huzihiro Araki (eds.), 1975PDF
Mappings of Operator Algebras: Proceedings of the Japan—U.S. Joint Seminar, University of Pennsylvania, 1988
Uffe Haagerup (auth.), Huzihiro Araki, Richard V. Kadison (eds.), 1991PDF
Mathematical Horizons for Quantum Physics
Huzihiro Araki, 2010PDF
Mathematical horizons for quantum physics
Araki H., et al. (eds.), 2010PDF
Neurobehavioral Methods and Effects in Occupational and Environmental Health
Shunichi Araki (Eds.), 1994DJVU
Operator Algebras and Their Connections with Topology and Ergodic Theory: Proceedings of the Oate Conference Held in Busteni
Prahova, Romania) OATE Conference (1983 : Busteni, C. C. Moore, S. Stratila, D. Voiculescu, Huzihiro Araki, 1985PDF
Oxygen Transport to Tissue XI
Ryuichiro Araki, Ichiro Nashimoto (auth.), Karel Rakusan, George P. Biro, Thomas K. Goldstick, Zdenek Turek (eds.), 1989PDF
Quantum and Non-Commutative Analysis: Past, Present and Future Perspectives
Rudolf Haag (auth.), Huzihiro Araki, Keiichi R. Ito, Akitaka Kishimoto, Izumi Ojima (eds.), 1993PDF
Quantum Theories and Geometry
H. Araki (auth.), M. Cahen, M. Flato (eds.), 1988PDF
Recent Developments in Nonequilibrium Thermodynamics - Fluids and Related Topics
H. Araki, et al.,, 1986DJVU
Reviews in Mathematical Physics - Volume 1
H. Araki, V. Bach, J. Yngvason (Editors), 1989PDF
Reviews in Mathematical Physics - Volume 10
H. Araki, V. Bach, J. Yngvason (Editors), 1998PDF
Reviews in Mathematical Physics - Volume 11
H. Araki, V. Bach, J. Yngvason (Editors), 1999PDF
Reviews in Mathematical Physics - Volume 12
H. Araki, V. Bach, J. Yngvason (Editors), 2000PDF
Reviews in Mathematical Physics - Volume 13
H. Araki, V. Bach, J. Yngvason (Editors), 2001PDF
Reviews in Mathematical Physics - Volume 14
H. Araki, V. Bach, J. Yngvason (Editors), 2002ZIP
