Zobrazeno 1 - 10
of 422
pro vyhledávání: '"511.31"'
Autor:
Janusz Lewiski1,2, Karolina Suwaa1, Tomasz Kaczorowski1, Micha Gazowski3, Daniel T. Gryko3, Iwona Justyniak2, Janusz Lipkowski2
Publikováno v:
Chemical Communications. Jan2009, Vol. 2009 Issue 2, p215-217. 3p.
Autor:
Hsieh, Tsung-En1 (AUTHOR) hsiehdoraemon@gmail.com, Chang, Keh-Chin1,2 (AUTHOR) kcchang@ncku.edu.tw
Publikováno v:
Energies (19961073). Dec2024, Vol. 17 Issue 23, p5874. 23p.
Autor:
Lenhardt, Rastislav
Model checking linear-time properties expressed in first-order logic has non-elementary complexity, and thus various restricted logical languages are employed. In the first part of this dissertation we consider two such restricted specification logic
Externí odkaz:
http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.606223
Autor:
Mustafa, Manahil SidAhmed1 (AUTHOR), Ahmad, Sohaib2 (AUTHOR), Aljohani, Hassan M.3 (AUTHOR), Alghamdi, Fatimah M.4 (AUTHOR), Aldallal, Ramy5 (AUTHOR), Elgarhy, Mohammed6,7 (AUTHOR), Almarzouki, Sanaa Mohammed8 (AUTHOR), Nasiru, Suleman9 (AUTHOR) sulemanstat@gmail.com
Publikováno v:
Scientific Reports. 9/9/2024, Vol. 14 Issue 1, p1-18. 18p.
Autor:
解协勤1 xieqin198812@163.com
Publikováno v:
Chemical Engineering of Oil & Gas / Shi You Yu Tian Ran Qi Hua Gong. 2024, Vol. 53 Issue 3, p19-25. 7p.
Autor:
Madika, Benediktus1, Syahrial, Anne Z.1 anne@metal.ui.ac.id
Publikováno v:
International Journal of Lightweight Materials & Manufacture. Jan2024, Vol. 7 Issue 1, p62-71. 10p.
Autor:
Pascual, Lourdes Inés, Luna, Lorena, González, Roxana Elizabeth, Ortiz, Javier Esteban, Gomez-Gomez, Luciano, Donadel, Osvaldo Juan, Hapon, María Belén, Feresin, Gabriela Egly, Gamarra-Luques, Carlos
Publikováno v:
Plants (2223-7747); Nov2024, Vol. 13 Issue 21, p3062, 17p
Autor:
Wang, Lan1 (AUTHOR) wanglan19@lzu.edu.cn, Li, Ming1 (AUTHOR) limingshy@163.com, Dong, Tiantian1,2 (AUTHOR) dongtt21@lzu.edu.cn, Li, Yuanyuan1 (AUTHOR) liyy21@lzu.edu.cn, Yin, Ci1 (AUTHOR) yin-ci@outlook.com, Nie, Fang1,2 (AUTHOR) ery_nief@lzu.edu.cn
Publikováno v:
Diagnostics (2075-4418). Oct2023, Vol. 13 Issue 20, p3270. 16p.
Publikováno v:
Peace Review. Oct-Dec2023, Vol. 35 Issue 4, p574-587. 14p.