Search Results for Computer

225 sonuç bulundu

1 2 3 4 5 6 .. 19

000000000000DEFAULT_TR

37.

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

Yazar

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)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

38.

Optimization and Applications 15th International Conference, OPTIMA 2024, Petrovac, Montenegro, September 16-20, 2024, Revised Selected Papers

Yazar

Olenev, Nicholas. editor. (orcid)0000-0002-1032-2455 Evtushenko, Yuri. editor. (orcid)0000-0002-6094-7808 Jaćimović, Milojica. editor. (orcid)0000-0002-7068-8563 Khachay, Michael. editor. (orcid)0000-0003-3555-0080 Malkova, Vlasta. editor. (orcid)0000-0002-7928-512X

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

39.

Algorithms and Discrete Applied Mathematics 11th International Conference, CALDAM 2025, Coimbatore, India, February 13-15, 2025, Proceedings

Yazar

Gaur, Daya. editor. (orcid)0000-0001-6876-6000 Mathew, Rogers. editor. (orcid)0000-0003-4536-1136 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

40.

New Trends in Information and Communications Technology Applications 8th National Conference, NTICT 2024, Baghdad, Iraq, December 18-19, 2024, Proceedings

Yazar

Al-Bakry, Abbas M. editor. (orcid)0000-0001-9518-1024 Sahib, Mouayad A. editor. (orcid)0000-0001-5670-0979 Aldhaibani, Jaafar A. editor. (orcid)0000-0002-5592-2294 Al-Shuwaili, Ali N. editor. (orcid)0000-0001-5353-3335 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

41.

Combinatorial Optimization and Applications 17th International Conference, COCOA 2024, Beijing, China, December 6-8, 2024, Proceedings, Part II

Yazar

Du, Donglei. editor. Han, Lu. editor. Xu, Dachuan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

42.

Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14-18, 2025, Proceedings

Yazar

Beckmann, Arnold. editor. (orcid)0000-0001-7958-5790 Oitavem, Isabel. editor. (orcid)0000-0002-3573-9281 Manea, Florin. editor. (orcid)0000-0001-6094-3324 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

43.

Maths For Computing A Beginner's Guide

Yazar

Charatan, Quentin. author. Kans, Aaron. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

44.

Clean Energy Technology and Energy Storage Systems 8th International Conference on Life System Modeling and Simulation, LSMS 2024 and 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, Suzhou, China, September 13-15, 2024, Proceedings, Part III

Yazar

Li, Kang. editor. Liu, Kailong. editor. Hu, Yukun. editor. (orcid)0000-0002-7480-4250 Tan, Mao. editor. Zhang, Long. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

45.

Mathematical Modeling and Supercomputer Technologies 24th International Conference, MMST 2024, Nizhni Novgorod, Russia, November 18-21, 2024, Revised Selected Papers

Yazar

Balandin, Dmitry. editor. (orcid)0000-0001-7727-5924 Barkalov, Konstantin. editor. (orcid)0000-0001-5273-2471 Meyerov, Iosif. editor. (orcid)0000-0001-6905-2050 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

46.

Arithmetic of Finite Fields 10th International Workshop, WAIFI 2024, Ottawa, ON, Canada, June 10-12, 2024, Revised Selected Papers

Yazar

Petkova-Nikova, Svetla. editor. (orcid)0000-0003-3133-9261 Panario, Daniel. editor. (orcid)0000-0003-3551-4063 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

47.

Integration of Constraint Programming, Artificial Intelligence, and Operations Research 22nd International Conference, CPAIOR 2025, Melbourne, VIC, Australia, November 10-13, 2025, Proceedings, Part I

Yazar

Tack, Guido. editor. (orcid)0000-0003-3357-6498 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

48.

Yazar

Tack, Guido. editor. (orcid)0000-0003-3357-6498 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1 2 3 4 5 6 .. 19

	{displayName}	{count}
{error}