Search Results for Computer science.

5 Results Found

00000DEFAULT

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:

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:

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:

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:

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:

	{displayName}	{count}
{error}