학술논문
'학술논문'
에서 검색결과 39건 | 목록
1~10
Academic Journal
Jacobs, S.; Finkbeiner, B.; Pérez, G.A.; Abraham, R.; van Dijk, T.; Bruyère, V.; Delfosse, C.; Staquet, G.; Tamines, C.; Cadilhac, M.; Colange, M.; Duret-Lutz, A.; Michaud, T.; Pommellet, A.; Renkin, F.; Schlehuber-Caissier, P.; Faymonville, P.; Klein, F.; Tentrup, L.; Khalimov, A.; Luttenberger, M.; Meyer, K.; Sickert, S.; Sakr, M.; Walker, A.
In: International Journal on Software Tools for Technology Transfer . (International Journal on Software Tools for Technology Transfer, 2024)
Academic Journal
In: Formal Methods in System Design . (Formal Methods in System Design, December 2022, 61(2-3):290-337)
Conference
Nabiyev, M.; Salimov, O.; Khotamov, A.; Akhmedov, T.; Nasriddinov, K.; Abdurakhmanov, U.; Raximov, R.; Khalimov, A.; Abobakirov, A.
In: E3S Web of Conferences , 10th International Annual Conference on Industrial Technologies and Engineering, ICITE 2023. (E3S Web of Conferences, 8 January 2024, 474)
Book
In: Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14570 LNCS:83-102)
Academic Journal
Academic Journal
Tsimafeyeu, I.; Tjulandin, S.; Moiseenko, F.; Orlov, S.; Filippova, E.; Belonogov, A.; Makarnyaeva, G.; Gikalo, M.; Savelov, N.; Demidova, I.; Nebesnykh, A.; Khalimov, A.; Karabina, E.; Shikina, V.; Abdelgafur, A.; Statsenko, G.; Titova, I.; Isaichikov, D.; Mordovskiy, A.; Barkovskaya, O.; Smirnov, A.; Kosov, D.; Imyanitov, E.
In: Journal of Global Oncology . (Journal of Global Oncology, 2019, 2019(5):1-7)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs , 49th EATCS International Conference on Automata, Languages, and Programming, ICALP 2022. (Leibniz International Proceedings in Informatics, LIPIcs, 1 July 2022, 229)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs , 38th International Symposium on Theoretical Aspects of Computer Science, STACS 2021. (Leibniz International Proceedings in Informatics, LIPIcs, 1 March 2021, 187)
Academic Journal
Applied Solar Energy (19349424); Apr2016, Vol. 52 Issue 2, p109-114, 6p
Academic Journal
Applied Solar Energy (19349424); Apr2015, Vol. 51 Issue 2, p107-111, 5p
검색 결과 제한하기
제한된 항목
[AR] Khalimov, A.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어