Search Results for Memory.

107 Results Found

1 2 3 4 5 .. 9

000000000000DEFAULT

13.

Cover image for Artificial Intelligence and Smart Vehicles First International Conference, ICAISV 2023, Tehran, Iran, May 24-25, 2023, Revised Selected Papers

Artificial Intelligence and Smart Vehicles First International Conference, ICAISV 2023, Tehran, Iran, May 24-25, 2023, Revised Selected Papers

Author

Ghatee, Mehdi. editor. Hashemi, S. Mehdi. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520689.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

14.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I

Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I

Author

Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520843.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

15.

Algorithms and Complexity 13th International Conference, CIAC 2023, Larnaca, Cyprus, June 13-16, 2023, Proceedings

Author

Mavronicolas, Marios. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520844.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

16.

Cover image for Distributed Computing and Intelligent Technology 19th International Conference, ICDCIT 2023, Bhubaneswar, India, January 18-22, 2023, Proceedings

Distributed Computing and Intelligent Technology 19th International Conference, ICDCIT 2023, Bhubaneswar, India, January 18-22, 2023, Proceedings

Author

Molla, Anisur Rahaman. editor. Sharma, Gokarna. editor. Kumar, Pradeep. editor. Rawat, Sanjay. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520789.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

17.

Cover image for Benchmarking, Measuring, and Optimizing 14th BenchCouncil International Symposium, Bench 2022, Virtual Event, November 7-9, 2022, Revised Selected Papers

Benchmarking, Measuring, and Optimizing 14th BenchCouncil International Symposium, Bench 2022, Virtual Event, November 7-9, 2022, Revised Selected Papers

Author

Gainaru, Ana. editor. Zhang, Ce. editor. Luo, Chunjie. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520861.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

18.

Cover image for Structural Information and Communication Complexity 30th International Colloquium, SIROCCO 2023, Alcalá de Henares, Spain, June 6-9, 2023, Proceedings

Structural Information and Communication Complexity 30th International Colloquium, SIROCCO 2023, Alcalá de Henares, Spain, June 6-9, 2023, Proceedings

Author

Rajsbaum, Sergio. editor. Balliu, Alkida. editor. Daymude, Joshua J. editor. Olivetti, Dennis. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520872.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

19.

Algorithms and Data Structures 18th International Symposium, WADS 2023, Montreal, QC, Canada, July 31 - August 2, 2023, Proceedings

Author

Morin, Pat. editor. Suri, Subhash. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520873.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

20.

Architecture of Computing Systems 36th International Conference, ARCS 2023, Athens, Greece, June 13-15, 2023, Proceedings

Author

Goumas, Georgios. editor. Tomforde, Sven. editor. Brehm, Jürgen. editor. Wildermann, Stefan. editor. Pionteck, Thilo. editor.

Preferred Shelf Number

XX(520879.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

21.

Cover image for Logic, Language, Information, and Computation 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings

Logic, Language, Information, and Computation 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings

Author

Hansen, Helle Hvid. editor. Scedrov, Andre. editor. de Queiroz, Ruy J.G.B. editor. (orcid) SpringerLink (Online service)

Preferred Shelf Number

XX(520880.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

22.

Cover image for OpenMP: Advanced Task-Based, Device and Compiler Programming 19th International Workshop on OpenMP, IWOMP 2023, Bristol, UK, September 13-15, 2023, Proceedings

OpenMP: Advanced Task-Based, Device and Compiler Programming 19th International Workshop on OpenMP, IWOMP 2023, Bristol, UK, September 13-15, 2023, Proceedings

Author

McIntosh-Smith, Simon. editor. Klemm, Michael. editor. de Supinski, Bronis R. editor. Deakin, Tom. editor. Klinkenberg, Jannis. editor. (orcid)

Preferred Shelf Number

XX(520881.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

23.

Cover image for Smart Card Research and Advanced Applications 21st International Conference, CARDIS 2022, Birmingham, UK, November 7-9, 2022, Revised Selected Papers

Smart Card Research and Advanced Applications 21st International Conference, CARDIS 2022, Birmingham, UK, November 7-9, 2022, Revised Selected Papers

Author

Buhan, Ileana. editor. Schneider, Tobias. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520887.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

24.

Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings

Author

Chechik, Marsha. editor. Katoen, Joost-Pieter. editor. Leucker, Martin. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520889.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 .. 9

	{displayName}	{count}
{error}