Search Results for Book.

584 Results Found

1 .. 3 4 5 6 7 .. 49

000000000000DEFAULT

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:

Cover image for From Data to Models and Back 11th International Symposium, DataMod 2023, Eindhoven, The Netherlands, November 6-7, 2023, Revised Selected Papers

From Data to Models and Back 11th International Symposium, DataMod 2023, Eindhoven, The Netherlands, November 6-7, 2023, Revised Selected Papers

Author

Broccia, Giovanna. editor. (orcid)0000-0002-4737-5761 Cerone, Antonio. editor. (orcid)0000-0003-2691-5279 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Machine Learning, Deep Learning, and Blockchain Fourth International Research Conference, IRCICD 2023, Chennai, India, April 28-29, 2023, Proceedings

Machine Learning, Deep Learning, and Blockchain Fourth International Research Conference, IRCICD 2023, Chennai, India, April 28-29, 2023, Proceedings

Author

Suriyan, Kannadhasan. editor. (orcid)0000-0001-6443-9993 Sivakumar, Prasanna Devi. editor. Anand, Paavai Gopalan. editor. Palani, Durgadevi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 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, Part I

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 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, Part I

Author

Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Descriptional Complexity of Formal Systems 26th IFIP WG 1.02 International Conference, DCFS 2025, Loughborough, UK, July 22-24, 2025, Proceedings

Descriptional Complexity of Formal Systems 26th IFIP WG 1.02 International Conference, DCFS 2025, Loughborough, UK, July 22-24, 2025, Proceedings

Author

Malcher, Andreas. editor. (orcid)0000-0002-9589-5833 Prigioniero, Luca. editor. (orcid)0000-0001-7163-4965 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Design, Learning, and Innovation 9th EAI International Conference, DLI 2024, Virtual Event, November 7-8, 2024, Proceedings

Author

Brooks, Eva. editor. (orcid)0000-0001-7338-1279 Edstrand, Emma. editor. (orcid)0000-0002-5325-435X Møller, Anders Kalsgaard. editor. (orcid)0000-0003-4581-4094 Bjørner, Thomas. editor. (orcid)0000-0001-9071-7168 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Informatics and Digitalization for Sustainable Development and Well-Being

Author

Salman, Asma. editor. (orcid)0000-0002-5623-3087 Nawaz Tunio, Muhammad. editor. (orcid)0000-0003-1376-5371 Abdul Razzaq, Muthanna G. editor. (orcid)0009-0007-4831-1907 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Image Processing, Computer Vision, and Pattern Recognition and Information and Knowledge Engineering 28th International Conference, IPCV 2024, and 23rd International Conference, IKE 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

Image Processing, Computer Vision, and Pattern Recognition and Information and Knowledge Engineering 28th International Conference, IPCV 2024, and 23rd International Conference, IKE 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

Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 Ghareh Mohammadi, Farid. editor. (orcid)0000-0002-8759-693X Shenavarmasouleh, Farzan. editor. (orcid)0000-0001-5485-232X Amirian, Soheyla. editor. (orcid)0000-0002-7517-0739 Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Creative Mathematical Sciences Communication 7th International Conference, CMSC 2024, Trier, Germany, October 7-10, 2024, Proceedings

Creative Mathematical Sciences Communication 7th International Conference, CMSC 2024, Trier, Germany, October 7-10, 2024, Proceedings

Author

Fernau, Henning. editor. (orcid)0000-0002-4444-3220 Schwank, Inge. editor. (orcid)0000-0003-1546-3369 Staub, Jacqueline. editor. (orcid)0009-0004-7864-5711 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Restarting Automata The Standard Type of Restarting Automaton and Its Variants

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-70094-1

Format:

Availability

Online Library~1

Available:
Copies:

11.

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:

12.

Logic in Computer Science

Author

Zhang, Hantao. author. Zhang, Jian. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-9816-2

Format:

Availability

Online Library~1

Available:
Copies:

1 .. 3 4 5 6 7 .. 49

	{displayName}	{count}
{error}