  |
Items where Author is "Sallai, Gyula"
Group by: Item Type | No Grouping Number of items: 4. ArticleSallai, Gyula (2023) Evolution of Digitization Toward the Internet of Digital & Cognitive Realities and Smart Ecosystems. INFOCOMMUNICATIONS JOURNAL : A PUBLICATION OF THE SCIENTIFIC ASSOCIATION FOR INFOCOMMUNICATIONS (HTE) (SP). pp. 2-8. ISSN 2061-2079 Book SectionSallai, Gyula and Hajdu, Ákos and Tóth, Tamás and Micskei, Zoltán Imre (2017) Towards Evaluating Size Reduction Techniques for Software Model Checking. In: Proceedings of the Fifth International Workshop on Verification and Program Transformation. Electronic Proceedings in Theoretical Computer Science . Open Publishing Association, Uppsala, pp. 1-17. BookBakonyi, Péter and Hanák, Péter and Kovács, Kálmán and Nemeslaki, András and Nyikos, Györgyi and Orbók, Ákos and Sallai, Gyula and Vida, Roland (2018) Az Okos Város (Smart City). Dialóg Campus Kiadó, Budapest. ISBN 9786155920226 Baranyi, Péter Zoltán and Csapó, Ádám Balázs and Sallai, Gyula (2015) Cognitive Infocommunications (CogInfoCom). Springer, Cham (Németország). ISBN 978-3-319-19607-7; 978-3-319-19608-4 |
