Search Results for

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

12380 Results Found

1 .. 3 4 5 6 7 .. 1032

000000000000DEFAULT

49.

Algorithmic Foundations for Social Advancement Recent Progress on Theory and Practice

Author

Minato, Shin-ichi. editor. Uno, Takeaki. editor. Yasuda, Norihito. editor. Horiyama, Takashi. editor. Kawarabayashi, Ken-ichi. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-0668-9

Format:

Availability

Online Library~1

Available:
Copies:

50.

Cover image for Advances in Brain Inspired Cognitive Systems 14th International Conference, BICS 2024, Hefei, China, December 6-8, 2024, Proceedings, Part I

Advances in Brain Inspired Cognitive Systems 14th International Conference, BICS 2024, Hefei, China, December 6-8, 2024, Proceedings, Part I

Author

Hussain, Amir. editor. Jiang, Bo. editor. Ren, Jinchang. editor. Mahmud, Mufti. editor. Yang, Erfu. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-2882-7

Format:

Availability

Online Library~1

Available:
Copies:

51.

Cover image for Practical Aspects of Declarative Languages 27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025, Proceedings

Practical Aspects of Declarative Languages 27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025, Proceedings

Author

Erdem, Esra. editor. (orcid)0000-0001-8384-7810 Vidal, Germán. editor. (orcid)0000-0002-1857-6951 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

52.

Cover image for Parallel and Distributed Processing Techniques 30th International Conference, PDPTA 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

Parallel and Distributed Processing Techniques 30th International Conference, PDPTA 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

Author

Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Takata, Masami. editor. (orcid)0000-0003-3475-7565 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 Rivas, Pablo. editor. (orcid)0000-0002-8690-0987 Ohue, Masahito. editor. (orcid)0000-0002-0120-1643

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

53.

Cover image for Grid, Cloud, and Cluster Computing; Quantum Technologies; and Modeling, Simulation and Visualization Methods 20th International Conference, GCC 2024, Third International Conference, ICEQT 2024, and 21st International Conference, MSV 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

Grid, Cloud, and Cluster Computing; Quantum Technologies; and Modeling, Simulation and Visualization Methods 20th International Conference, GCC 2024, Third International Conference, ICEQT 2024, and 21st International Conference, MSV 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

Author

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

54.

Restarting Automata Extensions and Generalizations

Author

Otto, Friedrich. author. (orcid)0009-0002-9760-5462 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

55.

Cover image for Applied Cognitive Computing and Artificial Intelligence 8th International Conference, ACC 2024, and 26th International Conference, ICAI 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

Applied Cognitive Computing and Artificial Intelligence 8th International Conference, ACC 2024, and 26th International Conference, ICAI 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

Author

Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Ferens, Ken. editor. (orcid)0000-0002-1031-0518 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

56.

Biological Computing

Author

Xu, Jin. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

57.

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas

Author

Farmer, William M. author. (orcid)0009-0009-5524-9085 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

58.

Cover image for Advances in Explainability, Agents, and Large Language Models First International Workshop on Causality, Agents and Large Models, CALM 2024, Kyoto, Japan, November 18-19, 2024, Proceedings

Advances in Explainability, Agents, and Large Language Models First International Workshop on Causality, Agents and Large Models, CALM 2024, Kyoto, Japan, November 18-19, 2024, Proceedings

Author

Mualla, Yazan. editor. (orcid)0000-0002-6772-6135 Yu, Liuwen. editor. (orcid)0000-0002-7200-6001 Liga, Davide. editor. (orcid)0000-0003-1124-0299 Tchappi, Igor. editor. (orcid)0000-0001-5437-1817 Markovich, Réka. editor. (orcid)0000-0002-2488-2293

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

59.

Cover image for Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part II

Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part II

Author

García-Sánchez, Pablo. editor. (orcid)0000-0003-4644-2894 Hart, Emma. editor. Thomson, Sarah L. editor. (orcid)0000-0001-6971-7817 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

60.

Cover image for Agents and Artificial Intelligence 16th International Conference, ICAART 2024, Rome, Italy, February 24-26, 2024, Revised Selected Papers, Part I

Agents and Artificial Intelligence 16th International Conference, ICAART 2024, Rome, Italy, February 24-26, 2024, Revised Selected Papers, Part I

Author

Rocha, Ana Paula. editor. Steels, Luc. editor. (orcid)0000-0001-9134-3663 van den Herik, Jaap. editor. (orcid)0000-0001-9751-761X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 .. 3 4 5 6 7 .. 1032

	{displayName}	{count}
{error}