Search Results for Science.

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

262 sonuç bulundu

1 2 3 4 5 6 .. 22

000000000000DEFAULT_TR

37.

Fundamental Approaches to Software Engineering 28th International Conference, FASE 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

Boronat, Artur. editor. (orcid)0000-0003-2024-1736 Fraser, Gordon. editor. (orcid)0000-0002-4364-6595 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

38.

Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I

Yazar

Platzer, André. editor. (orcid)0000-0001-7238-5710 Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 Pradella, Matteo. editor. (orcid)0000-0003-3039-1084 Rossi, Matteo. editor. (orcid)0000-0002-9193-9560 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

39.

Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II

Yazar

Platzer, Andre. editor. (orcid)0000-0001-7238-5710 Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 Pradella, Matteo. editor. (orcid)0000-0003-3039-1084 Rossi, Matteo. editor. (orcid)0000-0002-9193-9560 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

40.

The Connectives in Logic and Language 4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2024, Beijing, China, March 29-31, 2024, Revised Selected Papers

Yazar

Yan, Jialiang. editor. (orcid)0009-0005-2163-2300 Liu, Mingming. editor. Westerståhl, Dag. editor. (orcid)0000-0002-9925-3811 Yang, Xiaolu. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

41.

Collaboration in Knowledge Discovery and Decision Making Third International Workshop, DECISIONING 2024, Pereira, Colombia, June 4-6, 2024, Proceedings

Yazar

Agredo-Delgado, Vanessa. editor. (orcid)0000-0003-0870-6895 Ruiz, Pablo H. editor. (orcid)0000-0003-2098-2614 Meneses Escobar, Carlos Augusto. editor. (orcid)0000-0002-8192-6889 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

42.

Combinatorics on Words 15th International Conference, WORDS 2025, Nancy, France, June 30 - July 4, 2025, Proceedings

Yazar

Gamard, Guilhem. editor. Leroy, Julien. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

43.

Large Language Models for Automatic Deidentification of Electronic Health Record Notes International Workshop, IW-DMRN 2024, Kaohsiung, Taiwan, January 15, 2024, Revised Selected Papers

Yazar

Jonnagaddala, Jitendra. editor. (orcid)0000-0002-9912-2344 Dai, Hong-Jie. editor. (orcid)0000-0002-1516-7255 Chen, Ching-Tai. editor. (orcid)0000-0001-5695-1962 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-97-7966-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

44.

Formal Methods: Foundations and Applications 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings

Yazar

C. Nogueira, Sidney. editor. (orcid)0000-0002-8817-5029 Teodorov, Ciprian. editor. (orcid)0000-0002-0722-5857 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

45.

Trends in Functional Programming 25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10-12, 2024, Revised Selected Papers

Yazar

Hemann, Jason. editor. (orcid)0000-0002-5405-2936 Chang, Stephen. editor. (orcid)0000-0002-4760-0658 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

46.

Social Networks Analysis and Mining 16th International Conference, ASONAM 2024, Rende, Italy, September 2-5, 2024, Proceedings, Part IV

Yazar

Aiello, Luca Maria. editor. (orcid)0000-0002-0654-2527 Chakraborty, Tanmoy. editor. (orcid)0000-0002-0210-0369 Gaito, Sabrina. editor. (orcid)0000-0003-3779-2809 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

47.

Social Networks Analysis and Mining 16th International Conference, ASONAM 2024, Rende, Italy, September 2-5, 2024, Proceedings, Part III

Yazar

Aiello, Luca Maria. editor. (orcid)0000-0002-0654-2527 Chakraborty, Tanmoy. editor. (orcid)0000-0002-0210-0369 Gaito, Sabrina. editor. (orcid)0000-0003-3779-2809 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

48.

Arabic Language Processing: From Theory to Practice 8th International Conference, ICALP 2023, Rabat, Morocco, April 19-20, 2024, Proceedings, Part II

Yazar

Hdioud, Boutaina. editor. (orcid)0000-0003-4582-7418 Aouragh, Si Lhoussain. editor. (orcid)0000-0002-1901-6796 SpringerLink (Online service)