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.

Principles and Practices of Building Parallel Software Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday

Author

Barik, Rajkishore. editor. Gupta, Rajiv. editor. Palsberg, Jens. editor. (orcid)0000-0003-4747-365X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

50.

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:

51.

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:

52.

Cover image for Artificial Life and Evolutionary Computation 18th Italian Workshop, WIVACE 2024, Namur, Belgium, September 11-13, 2024, Revised Selected Papers

Artificial Life and Evolutionary Computation 18th Italian Workshop, WIVACE 2024, Namur, Belgium, September 11-13, 2024, Revised Selected Papers

Author

Carletti, Timoteo. editor. (orcid)0000-0003-2596-4503 Njougouo, Thierry-Sainclair. editor. (orcid)0000-0001-7706-7674 Tuci, Elio. editor. (orcid)0000-0001-7345-671X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

53.

Cover image for Conceptual Knowledge Structures Second International Joint Conference, CONCEPTS 2025, Cluj-Napoca, Romania, September 8-12, 2025, Proceedings

Conceptual Knowledge Structures Second International Joint Conference, CONCEPTS 2025, Cluj-Napoca, Romania, September 8-12, 2025, Proceedings

Author

Cellier, Peggy. editor. (orcid)0000-0002-1495-2534 Ganter, Bernhard. editor. (orcid)0000-0003-0767-1379 Missaoui, Rokia. editor. (orcid)0000-0001-7410-4177 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-032-03364-2

Format:

Availability

Online Library~1

Available:
Copies:

54.

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:

55.

Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV

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-75387-9

Format:

Availability

Online Library~1

Available:
Copies:

56.

TOOLympics Challenge 2023 Updates, Results, Successes of the Formal-Methods Competitions

Author

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Hartmanns, Arnd. editor. (orcid)0000-0003-3268-8674 Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

57.

A First Introduction to Quantum Computing and Information

Author

Zygelman, Bernard. author. SpringerLink (Online service)