Search Results for Computers.

30 sonuç bulundu

1 2 3

000000000000DEFAULT_TR

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:

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:

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:

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:

Requirements Engineering: Foundation for Software Quality 31st International Working Conference, REFSQ 2025, Barcelona, Spain, April 7-10, 2025, Proceedings

Yazar

Hess, Anne. editor. (orcid)0000-0001-7614-5802 Susi, Angelo. editor. (orcid)0000-0002-5026-7462 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Genetic Programming 28th European Conference, EuroGP 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings

Yazar

Xue, Bing. editor. (orcid)0000-0002-4865-8026 Manzoni, Luca. editor. (orcid)0000-0001-6312-7728 Bakurov, Illya. editor. (orcid)0000-0002-6458-942X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Sustainability and Empowerment in the Context of Digital Libraries 26th International Conference on Asia-Pacific Digital Libraries, ICADL 2024, Bandar Sunway, Malaysia, December 4-6, 2024, Proceedings, Part I

Yazar

Oliver, Gillian. editor. (orcid)0000-0003-2943-5035 Frings-Hessami, Viviane. editor. (orcid)0000-0003-0728-5355 Du, Jia Tina. editor. (orcid)0000-0002-3243-5768 Tezuka, Taro. editor. (orcid)0000-0002-5628-9961 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Yazar

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

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:

10.

Advances in Intelligent Data Analysis XXIII 23rd International Symposium on Intelligent Data Analysis, IDA 2025, Konstanz, Germany, May 7-9, 2025, Proceedings

Yazar

Krempl, Georg. editor. (orcid)0000-0002-4153-2594 Puolamäki, Kai. editor. (orcid)0000-0003-1819-1047 Miliou, Ioanna. editor. (orcid)0000-0002-1357-1967 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-91398-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Genetic Programming 27th European Conference, EuroGP 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings

Yazar

Giacobini, Mario. editor. Xue, Bing. editor. (orcid)0000-0002-4865-8026 Manzoni, Luca. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Advances in Intelligent Data Analysis XXII 22nd International Symposium on Intelligent Data Analysis, IDA 2024, Stockholm, Sweden, April 24-26, 2024, Proceedings, Part I

Yazar

Miliou, Ioanna. editor. (orcid)0000-0002-1357-1967 Piatkowski, Nico. editor. (orcid)0000-0002-6334-8042 Papapetrou, Panagiotis. editor. (orcid)0000-0002-4632-4815 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1 2 3

	{displayName}	{count}
{error}