Search Results for Computers.

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

842 Results Found

1 2 3 4 5 6 .. 71

000000000000DEFAULT

37.

Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V

Author

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

38.

Technologies and Innovation 10th International Conference, CITI 2024, Guayaquil, Ecuador, November 11-14, 2024, Proceedings

Author

Valencia-García, Rafael. editor. (orcid)0000-0003-2457-1791 Borodulina, Tamara. editor. (orcid)0000-0001-8649-7318 Del Cioppo-Morstadt, Javier. editor. (orcid)0000-0001-5689-5884 Moran-Castro, Cesar Ernesto. editor. (orcid)0000-0002-6596-9766 Vera-Lucio, Néstor. editor. (orcid)0000-0002-1006-1566

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

39.

Applied Informatics 7th International Conference, ICAI 2024, Viña del Mar, Chile, October 24-26, 2024, Proceedings, Part I

Author

Florez, Hector. editor. (orcid)0000-0002-5339-4459 Astudillo, Hernán. editor. (orcid)0000-0002-6487-5813 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

40.

Applied Informatics 7th International Conference, ICAI 2024, Viña del Mar, Chile, October 24-26, 2024, Proceedings, Part II

Author

Florez, Hector. editor. (orcid)0000-0002-5339-4459 Astudillo, Hernán. editor. (orcid)0000-0002-6487-5813 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

41.

Cover image for Agile Processes in Software Engineering and Extreme Programming - Workshops XP 2024 Workshops, Bozen-Bolzano, Italy, June 4-7, 2024, Revised Selected Papers

Agile Processes in Software Engineering and Extreme Programming - Workshops XP 2024 Workshops, Bozen-Bolzano, Italy, June 4-7, 2024, Revised Selected Papers

Author

Marchesi, Lodovica. editor. (orcid)0000-0002-0627-5043 Goldman, Alfredo. editor. (orcid)0000-0001-5746-4154 Lunesu, Maria Ilaria. editor. (orcid)0000-0002-2552-4228 Przybyłek, Adam. editor. (orcid)0000-0002-8231-709X Aguiar, Ademar. editor. (orcid)0000-0002-4046-4729

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

42.

Cover image for Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I

Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I

Author

Shankaranarayanan, Krishna. editor. (orcid)0000-0003-0925-398X Sankaranarayanan, Sriram. editor. (orcid)0000-0001-7315-4340 Trivedi, Ashutosh. editor. (orcid)0000-0001-9346-0126 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

43.

Cover image for AIxIA 2024 - Advances in Artificial Intelligence XXIIIrd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2024, Bolzano, Italy, November 25-28, 2024 Proceedings

AIxIA 2024 - Advances in Artificial Intelligence XXIIIrd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2024, Bolzano, Italy, November 25-28, 2024 Proceedings

Author

Artale, Alessandro. editor. (orcid)0000-0002-3852-9351 Cortellessa, Gabriella. editor. (orcid)0000-0002-9835-1575 Montali, Marco. editor. (orcid)0000-0002-8021-3430 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

44.

The AI Act and The Agile Safety Plan

Author

Myklebust, Thor. author. (orcid)0000-0002-9283-092X Stålhane, Tor. author. Vatn, Dorthea Mathilde Kristin. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

45.

Cover image for Supercomputing 10th Russian Supercomputing Days, RuSCDays 2024, Moscow, Russia, September 23-24, 2024, Revised Selected Papers, Part I

Supercomputing 10th Russian Supercomputing Days, RuSCDays 2024, Moscow, Russia, September 23-24, 2024, Revised Selected Papers, Part I

Author

Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Antonov, Alexander. editor. (orcid)0000-0003-2820-7196 Nikitenko, Dmitry. editor. (orcid)0000-0002-2864-7995 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

46.

Supercomputing 10th Russian Supercomputing Days, RuSCDays 2024, Moscow, Russia, September 23-24, 2024, Revised Selected Papers, Part II

Author

Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Antonov, Alexander. editor. (orcid)0000-0003-2820-7196 Nikitenko, Dmitry. editor. (orcid)0000-0002-2864-7995 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

47.