Search Results for Design and Analysis of Algorithms.

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

95 Results Found

1 2 3 4 5 6 .. 8

000000000000DEFAULT

Encountering Mobile Data Dynamics in Heterogeneous Wireless Networks

Author

Wang, Jie. author. Wang, Wenye. author. Wang, Xiaogang. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Advances in Neural Networks - ISNN 2024 18th International Symposium on Neural Networks, Weihai, China, July 11-14, 2024, Proceedings

Advances in Neural Networks - ISNN 2024 18th International Symposium on Neural Networks, Weihai, China, July 11-14, 2024, Proceedings

Author

Le, Xinyi. editor. (orcid)0000-0003-0318-9497 Zhang, Zhijun. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-4399-5

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Pattern Recognition and Machine Intelligence 9th International Conference, PReMI 2021, Kolkata, India, December 15-18, 2021, Proceedings

Pattern Recognition and Machine Intelligence 9th International Conference, PReMI 2021, Kolkata, India, December 15-18, 2021, Proceedings

Author

Ghosh, Ashish. editor. King, Irwin. editor. Bhattacharyya, Malay. editor. Sankar Ray, Shubhra. editor. K. Pal, Sankar. editor. (orcid)0000-0003-3301-4751

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Artificial intelligence-based system models in healthcare

Author

Anand, A. Jose, editor. Kalaiccelvi, Kā., editor. Chatterje, Jyotir Moy, editor.

Preferred Shelf Number

R859.7 .A78

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394242528

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Technologies and Applications of Artificial Intelligence 28th International Conference, TAAI 2023, Yunlin, Taiwan, December 1-2, 2023, Proceedings, Part I

Technologies and Applications of Artificial Intelligence 28th International Conference, TAAI 2023, Yunlin, Taiwan, December 1-2, 2023, Proceedings, Part I

Author

Lee, Chao-Yang. editor. (orcid)0000-0003-3898-3551 Lin, Chun-Li. editor. Chang, Hsuan-Ting. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-1711-8

Format:

Availability

Online Library~1

Available:
Copies:

Technologies and Applications of Artificial Intelligence 28th International Conference, TAAI 2023, Yunlin, Taiwan, December 1-2, 2023, Proceedings, Part II

Author

Lee, Chao-Yang. editor. (orcid)0000-0003-3898-3551 Lin, Chun-Li. editor. Chang, Hsuan-Ting. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-1714-9

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Combinatorial Optimization 8th International Symposium, ISCO 2024, La Laguna, Tenerife, Spain, May 22-24, 2024, Revised Selected Papers

Combinatorial Optimization 8th International Symposium, ISCO 2024, La Laguna, Tenerife, Spain, May 22-24, 2024, Revised Selected Papers

Author

Basu, Amitabh. editor. (orcid)0000-0002-1070-2626 Mahjoub, Ali Ridha. editor. (orcid)0000-0002-1079-1892 Salazar González, Juan José. editor. (orcid)0000-0001-5683-0271 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II

Author

Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Ganesh, Vijay. editor. (orcid)0000-0002-6029-2047 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-65630-9

Format:

Availability

Online Library~1

Available:
Copies:

Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III

Author

Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Ganesh, Vijay. editor. (orcid)0000-0002-6029-2047 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-65633-0

Format:

Availability

Online Library~1

Available:
Copies:

10.

Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part I

Author

Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Ganesh, Vijay. editor. (orcid)0000-0002-6029-2047 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-65627-9

Format:

Availability

Online Library~1

Available:
Copies:

11.

Computer Algebra in Scientific Computing 26th International Workshop, CASC 2024, Rennes, France, September 2-6, 2024, Proceedings

Author

Boulier, François. editor. (orcid)0000-0002-6663-719X Mou, Chenqi. editor. (orcid)0000-0002-5070-5928 Sadykov, Timur M. editor. (orcid)0000-0003-0741-2318 Vorozhtsov, Evgenii V. editor. (orcid)0000-0003-2753-8399 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-69070-9

Format:

Availability

Online Library~1

Available:
Copies:

12.

Algorithmic Game Theory 17th International Symposium, SAGT 2024, Amsterdam, The Netherlands, September 3-6, 2024, Proceedings

Author

Schäfer, Guido. editor. (orcid)0000-0002-1923-4902 Ventre, Carmine. editor. (orcid)0000-0003-1464-1215 SpringerLink (Online service)