Search Results for Conference proceedings.

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

155 sonuç bulundu

1 2 3 4 5 6 .. 13

000000000000DEFAULT_TR

37.

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

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-82703-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

38.

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

Yazar

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:

39.

Foundations of Software Science and Computation Structures 28th International Conference, FoSSaCS 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

Yazar

Abdulla, Parosh Aziz. editor. (orcid)0000-0001-6832-6611 Kesner, Delia. editor. (orcid)0000-0003-4254-3129 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

40.

Scale Space and Variational Methods in Computer Vision 10th International Conference, SSVM 2025, Dartington, UK, May 18-22, 2025, Proceedings, Part I

Yazar

Bubba, Tatiana A. editor. (orcid)0000-0003-0020-9210 Gaburro, Romina. editor. (orcid)0000-0002-6186-0712 Gazzola, Silvia. editor. (orcid)0000-0001-9588-0896 Papafitsoros, Kostas. editor. (orcid)0000-0001-9691-4576 Pereyra, Marcelo. editor. (orcid)0000-0001-6438-6772

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

41.

Scale Space and Variational Methods in Computer Vision 10th International Conference, SSVM 2025, Dartington, UK, May 18-22, 2025, Proceedings, Part II

Yazar

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

42.

Advances in Knowledge Discovery and Data Mining 29th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2025, Sydney, NSW, Australia, June 10-13, 2025, Proceedings, Part IV

Yazar

Wu, Xintao. editor. (orcid)0000-0002-2823-3063 Spiliopoulou, Myra. editor. (orcid)0000-0002-1828-5759 Wang, Can. editor. (orcid)0000-0002-2890-0057 Kumar, Vipin. editor. (orcid)0000-0002-9040-2665 Cao, Longbing. editor. (orcid)0000-0003-1524-9063

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-8183-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

43.

Data Science: Foundations and Applications 29th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2025, Sydney, NSW, Australia, June 10-13, 2025, Proceedings, Part VI

Yazar

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-8295-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

44.

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:

45.

Evolutionary Computation in Combinatorial Optimization 25th European Conference, EvoCOP 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings

Yazar

Krejca, Martin S. editor. (orcid)0000-0002-1765-1219 Wagner, Markus. editor. (orcid)0000-0002-3124-0061 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

46.

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:

47.

Data Science and Machine Learning 21st Australasian Conference, AusDM 2023, Auckland, New Zealand, December 11-13, 2023, Proceedings

Yazar

Benavides-Prado, Diana. editor. Erfani, Sarah. editor. Fournier-Viger, Philippe. editor. Boo, Yee Ling. editor. (orcid)0000-0001-7188-9597 Koh, Yun Sing. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-99-8696-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

48.

Combinatorial Optimization and Applications 16th International Conference, COCOA 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part I

Yazar

Wu, Weili. editor. Guo, Jianxiong. editor. SpringerLink (Online service)