Search Results for Computers.

30 Results Found

1 2 3

000000000000DEFAULT

Cover image for Genetic Programming 28th European Conference, EuroGP 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings

Genetic Programming 28th European Conference, EuroGP 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings

Author

Xue, Bing. editor. (orcid)0000-0002-4865-8026 Manzoni, Luca. editor. (orcid)0000-0001-6312-7728 Bakurov, Illya. editor. (orcid)0000-0002-6458-942X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II

Author

Platzer, Andre. editor. (orcid)0000-0001-7238-5710 Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 Pradella, Matteo. editor. (orcid)0000-0003-3039-1084 Rossi, Matteo. editor. (orcid)0000-0002-9193-9560 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Advances in Intelligent Data Analysis XXIII 23rd International Symposium on Intelligent Data Analysis, IDA 2025, Konstanz, Germany, May 7-9, 2025, Proceedings

Advances in Intelligent Data Analysis XXIII 23rd International Symposium on Intelligent Data Analysis, IDA 2025, Konstanz, Germany, May 7-9, 2025, Proceedings

Author

Krempl, Georg. editor. (orcid)0000-0002-4153-2594 Puolamäki, Kai. editor. (orcid)0000-0003-1819-1047 Miliou, Ioanna. editor. (orcid)0000-0002-1357-1967 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Fundamental Approaches to Software Engineering 28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings

Fundamental Approaches to Software Engineering 28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings

Author

Boronat, Artur. editor. (orcid)0000-0003-2024-1736 Fraser, Gordon. editor. (orcid)0000-0002-4364-6595 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Trends in Functional Programming 25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10-12, 2024, Revised Selected Papers

Trends in Functional Programming 25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10-12, 2024, Revised Selected Papers

Author

Hemann, Jason. editor. (orcid)0000-0002-5405-2936 Chang, Stephen. editor. (orcid)0000-0002-4760-0658 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Requirements Engineering: Foundation for Software Quality 31st International Working Conference, REFSQ 2025, Barcelona, Spain, April 7-10, 2025, Proceedings

Requirements Engineering: Foundation for Software Quality 31st International Working Conference, REFSQ 2025, Barcelona, Spain, April 7-10, 2025, Proceedings

Author

Hess, Anne. editor. (orcid)0000-0001-7614-5802 Susi, Angelo. editor. (orcid)0000-0002-5026-7462 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Formal Methods: Foundations and Applications 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings

Author

C. Nogueira, Sidney. editor. (orcid)0000-0002-8817-5029 Teodorov, Ciprian. editor. (orcid)0000-0002-0722-5857 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Sustainability and Empowerment in the Context of Digital Libraries 26th International Conference on Asia-Pacific Digital Libraries, ICADL 2024, Bandar Sunway, Malaysia, December 4-6, 2024, Proceedings, Part I

Sustainability and Empowerment in the Context of Digital Libraries 26th International Conference on Asia-Pacific Digital Libraries, ICADL 2024, Bandar Sunway, Malaysia, December 4-6, 2024, Proceedings, Part I

Author

Oliver, Gillian. editor. (orcid)0000-0003-2943-5035 Frings-Hessami, Viviane. editor. (orcid)0000-0003-0728-5355 Du, Jia Tina. editor. (orcid)0000-0002-3243-5768 Tezuka, Taro. editor. (orcid)0000-0002-5628-9961 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Author

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I

Author

Platzer, André. editor. (orcid)0000-0001-7238-5710 Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 Pradella, Matteo. editor. (orcid)0000-0003-3039-1084 Rossi, Matteo. editor. (orcid)0000-0002-9193-9560 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

The Book of Chatbots From ELIZA to ChatGPT

Author

Ciesla, Robert. author. (orcid)0000-0002-8305-448X SpringerLink (Online service)