Polynomial Formal Verification of Multipliers
- 作者Martin Keim; Rolf Drechsler; Bernd Becker; Michael Martin; Paul Molitor
- 卷第22卷
- 期第1期
- 印刷ISSN0925-9856
- 电子ISSN1572-8102
- 文件大小305.67KB
- 发表时间2003-01
- DOI10.1023/a:1021752130394
- 页码39-58
Anomalous thermal properties of waterMishchuk, N. A.; Goncharuk, V. V. · Journal of Water Chemistry and Technology · 2017
Controlled chaos: Heterogeneous catalysisGoncharuk, V. V.; Pleteneva, T. V.; Uspenskaya, E. V.; Syroeshkin, A. V. · Journal of Water Chemistry and Technology · 2017
The Earth is Our Common HomeGoncharuk, V. V. · Journal of Water Chemistry and Technology · 2019
Wastewater purification of biogenic elementsM. N. Balakina,D. D. Kucheruk,Yu. S. Bilyk… · Journal of Water Chemistry and Technology · 2013
Antibacterial Properties of Modified AlumosilicatesPomazkina, O. I.; Filatova, E. G.; Pozhidaev, Yu. N. · Journal of Water Chemistry and Technology · 2018
Ultrapure Water: Properties, Production, and UseMelnik, L. A.; Krysenko, D. A. · Journal of Water Chemistry and Technology · 2019
Microfiltration treatment of domestic wastewaterSeminskaya, O. O.; Balakina, M. N.; Kucheruk, D. D.; Goncharuk, V. V. · Journal of Water Chemistry and Technology · 2017
Reactant purification of wastewaters of ammonium compoundsBalakina, M. N. · Journal of Water Chemistry and Technology · 2015