Automated Technology for Verification and Analysis 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings Bultan Tevfik Heftet / 2011 / Engelsk
Artificial Intelligence and Internet of Things based Augmented Trends for Data Driven Systems Singla, Anshu Innbundet / 2024 / Engelsk
Topical Drifts in Intelligent Computing Proceedings of International Conference on Computational Techniques and Applications (ICCTA 2021) Mandal Jyotsna Kumar Heftet / 2022 / Engelsk
Smart Computational Strategies: Theoretical and Practical Aspects Luhach, Ashish Kumar Heftet / 2020 / Engelsk
Smart Computational Strategies: Theoretical and Practical Aspects Luhach, Ashish Kumar Innbundet / 2019 / Engelsk
Advanced Informatics for Computing Research Second International Conference, ICAICR 2018, Shimla, India, July 14–15, 2018, Revised Selected Papers, Part II Luhach, Ashish Kumar Heftet / 2018 / Engelsk
Advanced Informatics for Computing Research Second International Conference, ICAICR 2018, Shimla, India, July 14–15, 2018, Revised Selected Papers, Part I Luhach, Ashish Kumar Heftet / 2019 / Engelsk
Communication, Networks and Computing Third International Conference, CNC 2022, Gwalior, India, December 8–10, 2022, Proceedings, Part II Tomar, Ranjeet Singh Heftet / 2023 / Engelsk
Communication, Networks and Computing Second International Conference, CNC 2020, Gwalior, India, December 29–31, 2020, Revised Selected Papers Tomar, Ranjeet Singh Heftet / 2021 / Engelsk
Communication, Networks and Computing Third International Conference, CNC 2022, Gwalior, India, December 8–10, 2022, Proceedings, Part I Tomar, Ranjeet Singh Heftet / 2023 / Engelsk
