Bringing safe, dynamic parallel programming to the spark verifiable subset of ada
- 期刊名称ACM SIGAda Ada Letters
- 作者Taft, S. Tucker
- 卷第33卷
- 期第3期
- 印刷ISSN1094-3641
- 文件大小393.62KB
- 发表时间2013-11-29
- DOI10.1145/2658982.2527279
- 页码37-40
Photoinitiated Cationic Polymerization of Unconventional MonomersYagci, Yusuf · Macromolecular Symposia · 2006
Mesoporous Silica ApplicationsGiraldo, L. F.; López, B. L.; Pérez, L.; Urrego, S.; Sierra, L.; Mesa, M. · Macromolecular Symposia · 2007
Amidoxime polymers - copper complexesBoudakgi, Amer; Jezierska, Julia; Kolarz, Bozena N. · Makromolekulare Chemie. Macromolecular Symposia · 1992
Organic/inorganic polymer hybridsSaegusa, Takeo · Macromolecular Symposia · 1995
An Electroconductive Filler for Shielding PlasticsKandasubramanian, B.; Gilbert, M. · Macromolecular Symposia · 2005
Electrochemical polymerization of substituted thiophenesHavinga, E. E.; van Horssen, L. W. · Makromolekulare Chemie. Macromolecular Symposia · 1989
Supramolecular polymer chemistryLehn, Jean-Marie · Macromolecular Symposia · 2001
Degradable polyethylene-starch complexAlbertsson, Ann-Christine; Karlsson, Sigbritt · Makromolekulare Chemie. Macromolecular Symposia · 1991