Search Results for Language

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

76 Results Found

1 2 3 4 5 .. 7

000000000000DEFAULT

25.

Static Analysis 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedings

Author

Giacobazzi, Roberto. editor. (orcid)0000-0002-9582-3960 Gorla, Alessandra. editor. (orcid)0000-0002-6711-3080 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-74776-2

Format:

Availability

Online Library~1

Available:
Copies:

26.

Cover image for Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II

Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II

Author

Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-78750-8

Format:

Availability

Online Library~1

Available:
Copies:

27.

Cover image for Machine Intelligence and Smart Systems Third International Conference, MISS 2023, Bhopal, India, January 24-25, 2023, Revised Selected Papers, Part II

Machine Intelligence and Smart Systems Third International Conference, MISS 2023, Bhopal, India, January 24-25, 2023, Revised Selected Papers, Part II

Author

Gupta, Manish. editor. Agrawal, Shikha. editor. Gupta, Kamlesh. editor. Agrawal, Jitendra. editor. Cengis, Korhan. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-69115-7

Format:

Availability

Online Library~1

Available:
Copies:

28.

ICT Analysis and Applications Proceedings of ICT4SD 2024, Volume 4

Author

Fong, Simon. editor. Dey, Nilanjan. editor. Joshi, Amit. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-8605-3

Format:

Availability

Online Library~1

Available:
Copies:

29.

Cover image for PRICAI 2023: Trends in Artificial Intelligence 20th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2023, Jakarta, Indonesia, November 15-19, 2023, Proceedings, Part II

PRICAI 2023: Trends in Artificial Intelligence 20th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2023, Jakarta, Indonesia, November 15-19, 2023, Proceedings, Part II

Author

Liu, Fenrong. editor. (orcid)0000-0001-7931-0324 Sadanandan, Arun Anand. editor. Pham, Duc Nghia. editor. Mursanto, Petrus. editor. (orcid)0000-0002-4831-4629 Lukose, Dickson. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-7022-3

Format:

Availability

Online Library~1

Available:
Copies:

30.

Cover image for Information and Software Technologies 29th International Conference, ICIST 2023, Kaunas, Lithuania, October 12-14, 2023, Proceedings

Information and Software Technologies 29th International Conference, ICIST 2023, Kaunas, Lithuania, October 12-14, 2023, Proceedings

Author

Lopata, Audrius. editor. Gudonienė, Daina. editor. (orcid)0000-0002-6338-5556 Butkienė, Rita. editor. (orcid)0000-0003-3250-4599 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-48981-5

Format:

Availability

Online Library~1

Available:
Copies:

31.

PRICAI 2023: Trends in Artificial Intelligence 20th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2023, Jakarta, Indonesia, November 15-19, 2023, Proceedings, Part III

Author

Liu, Fenrong. editor. (orcid)0000-0001-7931-0324 Sadanandan, Arun Anand. editor. Pham, Duc Nghia. editor. Mursanto, Petrus. editor. (orcid)0000-0002-4831-4629 Lukose, Dickson. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-7025-4

Format:

Availability

Online Library~1

Available:
Copies:

32.

Cover image for Artificial Intelligence Third CAAI International Conference, CICAI 2023, Fuzhou, China, July 22-23, 2023, Revised Selected Papers, Part II

Artificial Intelligence Third CAAI International Conference, CICAI 2023, Fuzhou, China, July 22-23, 2023, Revised Selected Papers, Part II

Author

Fang, Lu. editor. (orcid)0000-0003-3552-0367 Pei, Jian. editor. (orcid)0000-0002-2200-8711 Zhai, Guangtao. editor. (orcid)0000-0001-8165-9322 Wang, Ruiping. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-9119-8

Format:

Availability

Online Library~1

Available:
Copies:

33.

Cover image for Advances in Model and Data Engineering in the Digitalization Era MEDI 2023 Short and Workshop Papers, Sousse, Tunisia, November 2-4, 2023, Proceedings

Advances in Model and Data Engineering in the Digitalization Era MEDI 2023 Short and Workshop Papers, Sousse, Tunisia, November 2-4, 2023, Proceedings

Author

Mosbah, Mohamed. editor. (orcid)0000-0001-6031-4237 Kechadi, Tahar. editor. (orcid)0000-0002-0176-6281 Bellatreche, Ladjel. editor. Gargouri, Faiez. editor. Guegan, Chirine Ghedira. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-55729-3

Format:

Availability

Online Library~1

Available:
Copies:

34.

Advanced Computing 13th International Conference, IACC 2023, Kolhapur, India, December 15-16, 2023, Revised Selected Papers, Part I

Author

Garg, Deepak. editor. (orcid)0000-0002-7243-3599 Rodrigues, Joel J. P. C. editor. (orcid)0000-0001-8657-3800 Gupta, Suneet Kumar. editor. Cheng, Xiaochun. editor. (orcid)0000-0003-0371-9646 Sarao, Pushpender. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-56700-1

Format:

Availability

Online Library~1

Available:
Copies:

35.

Advanced Computing 13th International Conference, IACC 2023, Kolhapur, India, December 15-16, 2023, Revised Selected Papers, Part II

Author

Preferred Shelf Number