Formal Methods in Manufacturing [Book News]
- 期刊名称IEEE Industrial Electronics Magazine
- 作者Kazmierkowski, Marian P.
- 卷第9卷
- 期第3期
- 印刷ISSN1932-4529
- 文件大小466.47KB
- 发表时间2015-9
- DOI10.1109/MIE.2015.2454042
- 页码55-56
Big Iron Moves Toward Exascale ComputingLeavitt, Neal · Computer · 2012
A Technology that Comes Highly RecommendedLeavitt, Neal · Computer · 2013
Hybrid Clouds Move to the ForefrontLeavitt, Neal · Computer · 2013
Today's Mobile Security Requires a New ApproachLeavitt, Neal · Computer · 2013
Are Mobile Payments Ready to Cash in Yet?Leavitt, Neal · Computer · 2012
Researchers Fight to Keep Implanted Medical Devices Safe from HackersLeavitt, Neal · 2010
REGULATION OF PROGESTERONE RECEPTOR FORMATION BY ESTROGEN ACTIONWendell W. Leavitt; Tong J. Chen; Thomas C. Allen; J. O'Neal Johnston · 1977
EditorialInternational Journal of Computer Mathematics: Computer Systems Theory · 2016
AcknowledgementInternational Journal of Computer Mathematics: Computer Systems Theory · 2016
AcknowledgementInternational Journal of Computer Mathematics: Computer Systems Theory · 2017
AcknowledgementInternational Journal of Computer Mathematics: Computer Systems Theory · 2018
IntroductionCheng, E.; Hsieh, S.-.Y; Kahrobaei, D. · International Journal of Computer Mathematics: Computer Systems Theory · 2019
Harmonic number sums and <i>q</i> -analoguesWang, Xiaoyuan; Chu, Wenchang · International Journal of Computer Mathematics: Computer Systems Theory · 2019
Multi-head Watson–Crick automataChatterjee, Kingshuk; Ray, Kumar Sankar · International Journal of Computer Mathematics: Computer Systems Theory · 2016
Geodesic-bipancyclicity of balanced hypercubesLü, Huazhong; Wang, Guangfu · International Journal of Computer Mathematics: Computer Systems Theory · 2017