Effect of Al-5Ti-B Refiner on Microstructure of Al-5Cu Aluminum Alloy
- 期刊名称Advanced Materials Research
- 作者Shi, De Quan; Shao, Yang; Gao, Gui Li; Gao, Zhi Wei; Wang, Xu Dong
- 卷第365卷
- 电子ISSN1662-8985
- 文件大小694.93KB
- 发表时间2011-10
- DOI10.4028/www.scientific.net/AMR.365.89
- 页码89-93
[Lecture Notes in Computer Science] Mathematical Foundations of Programming Semantics Volume 442 || Operations on recordsMain, M.; Melton, A.; Mislove, M.; Schmidt, D. · 1990
[Lecture Notes in Computer Science] Mathematical Foundations of Programming Semantics Volume 442 || Unbounded nondeterminism in CSPMain, M.; Melton, A.; Mislove, M.; Schmidt, D. · 1990
[Lecture Notes in Computer Science] Mathematical Foundations of Programming Semantics Volume 442 || Termination, deadlock and divergenceMain, M.; Melton, A.; Mislove, M.; Schmidt, D. · 1990
[Lecture Notes in Computer Science] Mathematical Foundations of Programming Semantics Volume 442 || Algebraic types in PER modelsMain, M.; Melton, A.; Mislove, M.; Schmidt, D. · 1990
[Lecture Notes in Computer Science] Mathematical Foundations of Programming Semantics Volume 442 || Categorical semantics for programming languagesMain, M.; Melton, A.; Mislove, M.; Schmidt, D. · 1990
[Lecture Notes in Computer Science] Mathematical Foundations of Programming Semantics Volume 442 || Factorizing proofs in timed CSPMain, M.; Melton, A.; Mislove, M.; Schmidt, D. · 1990
[Lecture Notes in Computer Science] Mathematical Foundations of Programming Language Semantics Volume 298 || The versatile continuous orderMain, M.; Melton, A.; Mislove, M.; Schmidt, D. · 1988
[Lecture Notes in Computer Science] Mathematical Foundations of Programming Semantics Volume 442 || Equationally fully abstract models of PCFMain, M.; Melton, A.; Mislove, M.; Schmidt, D. · 1990