Switch to list view
Switch to thumbnail view
Select an Action
7 Results Found Subscribe to search results
0000000DEFAULT
Print
1. 
Cover image for Automated Technology for Verification and Analysis 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings
Automated Technology for Verification and Analysis 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings
Author 
Bultan, Tevfik. editor. Hsiung, Pao-Ann. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24372-1
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Communication, Networks and Computing Third International Conference, CNC 2022, Gwalior, India, December 8-10, 2022, Proceedings, Part I
Communication, Networks and Computing Third International Conference, CNC 2022, Gwalior, India, December 8-10, 2022, Proceedings, Part I
Author 
Tomar, Ranjeet Singh. editor. Verma, Shekhar. editor. Chaurasia, Brijesh Kumar. editor. Singh, Vrijendra. editor. Abawajy, Jemal H. editor.
Preferred Shelf Number 
XX(520638.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43140-1
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Communication, Networks and Computing Third International Conference, CNC 2022, Gwalior, India, December 8-10, 2022, Proceedings, Part II
Communication, Networks and Computing Third International Conference, CNC 2022, Gwalior, India, December 8-10, 2022, Proceedings, Part II
Author 
Tomar, Ranjeet Singh. editor. Verma, Shekhar. editor. Chaurasia, Brijesh Kumar. editor. Singh, Vrijendra. editor. Abawajy, Jemal H. editor.
Preferred Shelf Number 
XX(520639.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43145-6
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Smart Computational Strategies: Theoretical and Practical Aspects
Smart Computational Strategies: Theoretical and Practical Aspects
Author 
Luhach, Ashish Kumar. editor. Hawari, Kamarul Bin Ghazali. editor. Mihai, Ioan Cosmin. editor. Hsiung, Pao-Ann. editor. Mishra, Ravi Bhushan. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-6295-8
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Advanced Informatics for Computing Research Second International Conference, ICAICR 2018, Shimla, India, July 14–15, 2018, Revised Selected Papers, Part II
Advanced Informatics for Computing Research Second International Conference, ICAICR 2018, Shimla, India, July 14–15, 2018, Revised Selected Papers, Part II
Author 
Luhach, Ashish Kumar. editor. Singh, Dharm. editor. Hsiung, Pao-Ann. editor. Hawari, Kamarul Bin Ghazali. editor. Lingras, Pawan. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-3143-5
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Advanced Informatics for Computing Research Second International Conference, ICAICR 2018, Shimla, India, July 14–15, 2018, Revised Selected Papers, Part I
Advanced Informatics for Computing Research Second International Conference, ICAICR 2018, Shimla, India, July 14–15, 2018, Revised Selected Papers, Part I
Author 
Luhach, Ashish Kumar. editor. Singh, Dharm. editor. Hsiung, Pao-Ann. editor. Hawari, Kamarul Bin Ghazali. editor. Lingras, Pawan. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-3140-4
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Hardware Software Co-Design of a Multimedia SOC Platform
Hardware Software Co-Design of a Multimedia SOC Platform
Author 
Chen, Sao-Jie. author. Lin, Guang-Huei. author. Hsiung, Pao-Ann. author. Hu, Yu-Hen. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-9623-5
Format: 
Availability 
Online Library~1
Available:
Copies: