Search Results for

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1306 Results Found

1 .. 3 4 5 6 7 .. 109

000000000000DEFAULT

49.

Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part III

Author

Piskac, Ruzica. editor. (orcid)0000-0002-3267-0776 Rakamarić, Zvonimir. editor. (orcid)0000-0001-7946-0162 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-98682-6

Format:

Availability

Online Library~1

Available:
Copies:

50.

Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV

Author

Piskac, Ruzica. editor. (orcid)0000-0002-3267-0776 Rakamarić, Zvonimir. editor. (orcid)0000-0001-7946-0162 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

51.

Cover image for Technologies and Applications of Artificial Intelligence 29th International Conference, TAAI 2024, Hsinchu, Taiwan, December 6-7, 2024, Proceedings, Part I

Technologies and Applications of Artificial Intelligence 29th International Conference, TAAI 2024, Hsinchu, Taiwan, December 6-7, 2024, Proceedings, Part I

Author

Chu, Wei-Ta. editor. (orcid)0000-0001-5722-7239 Shen, Chih-Ya. editor. Shuai, Hong-Han. editor. (orcid)0000-0003-2216-077X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-4589-3

Format:

Availability

Online Library~1

Available:
Copies:

52.

Cover image for String Processing and Information Retrieval 31st International Symposium, SPIRE 2024, Puerto Vallarta, Mexico, September 23-25, 2024, Proceedings

String Processing and Information Retrieval 31st International Symposium, SPIRE 2024, Puerto Vallarta, Mexico, September 23-25, 2024, Proceedings

Author

Lipták, Zsuzsanna. editor. (orcid)0000-0002-3233-0691 Moura, Edleno. editor. (orcid)0000-0002-7860-9575 Figueroa, Karina. editor. (orcid)0000-0002-4680-5950 Baeza-Yates, Ricardo. editor. (orcid)0000-0003-3208-9778 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-72200-4

Format:

Availability

Online Library~1

Available:
Copies:

53.

Cover image for WALCOM: Algorithms and Computation 19th International Conference and Workshops on Algorithms and Computation, WALCOM 2025, Chengdu, China, February 28 - March 2, 2025, Proceedings

WALCOM: Algorithms and Computation 19th International Conference and Workshops on Algorithms and Computation, WALCOM 2025, Chengdu, China, February 28 - March 2, 2025, Proceedings

Author

Nakano, Shin-ichi. editor. (orcid)0000-0003-2368-6183 Xiao, Mingyu. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-2845-2

Format:

Availability

Online Library~1

Available:
Copies:

54.

Cover image for Algorithms and Architectures for Parallel Processing 24th International Conference, ICA3PP 2024, Macau, China, October 29-31, 2024, Proceedings, Part V

Algorithms and Architectures for Parallel Processing 24th International Conference, ICA3PP 2024, Macau, China, October 29-31, 2024, Proceedings, Part V

Author

Zhu, Tianqing. editor. (orcid)0000-0003-3411-7947 Li, Jin. editor. (orcid)0000-0003-0385-8793 Castiglione, Aniello. editor. (orcid)0000-0003-0571-1074 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-1548-3

Format:

Availability

Online Library~1

Available:
Copies:

55.

Cover image for Artificial Intelligence and Soft Computing 23rd International Conference, ICAISC 2024, Zakopane, Poland, June 16-20, 2024, Proceedings, Part III

Artificial Intelligence and Soft Computing 23rd International Conference, ICAISC 2024, Zakopane, Poland, June 16-20, 2024, Proceedings, Part III

Author

Rutkowski, Leszek. editor. Scherer, Rafał. editor. (orcid)0000-0001-9592-262X Korytkowski, Marcin. editor. (orcid)0000-0002-6002-2733 Pedrycz, Witold. editor. (orcid)0000-0002-9335-9930 Tadeusiewicz, Ryszard. editor. (orcid)0000-0001-9675-5819

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-81596-6

Format:

Availability

Online Library~1

Available:
Copies:

56.

Artificial Intelligence and Soft Computing 23rd International Conference, ICAISC 2024, Zakopane, Poland, June 16-20, 2024, Proceedings, Part I

Author

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

57.

Artificial Intelligence and Soft Computing 23rd International Conference, ICAISC 2024, Zakopane, Poland, June 16-20, 2024, Proceedings, Part II

Author

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

58.

Control Strategies for Non-minimum Phase Systems

Author

Yadav, Manish. author. Giri, Ashutosh K. author. Ozana, Stepan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-2351-8

Format:

Availability

Online Library~1

Available:
Copies:

59.

Technologies and Applications of Artificial Intelligence 29th International Conference, TAAI 2024, Hsinchu, Taiwan, December 6-7, 2024, Proceedings, Part II

Author

Chu, Wei-Ta. editor. (orcid)0000-0001-5722-7239 Shen, Chih-Ya. editor. Shuai, Hong-Han. editor. (orcid)0000-0003-2216-077X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-4596-1

Format:

Availability

Online Library~1

Available:
Copies:

60.

Applied Algorithms Second International Conference, ICAA 2025, Kolkata, India, January 8-10, 2025, Proceedings

Author

Nandy, Subhas C. editor. De, Rajat K. editor. (orcid)0000-0001-6080-1131 Gupta, Prosenjit. editor. SpringerLink (Online service)