Search Results for Computer Science.

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

59 sonuç bulundu

1 2 3 4 5

000000000000DEFAULT_TR

25.

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II

Yazar

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

26.

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V

Yazar

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

High Performance Computing. ISC High Performance 2024 International Workshops Hamburg, Germany, May 12-16, 2024, Revised Selected Papers

Yazar

Weiland, Michèle. editor. (orcid)0000-0003-4713-3073 Neuwirth, Sarah. editor. (orcid)0000-0001-7409-153X Kruse, Carola. editor. (orcid)0000-0002-4142-7356 Weinzierl, Tobias. editor. (orcid)0000-0002-6208-1841 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

28.

Job Scheduling Strategies for Parallel Processing 27th International Workshop, JSSPP 2024, San Francisco, CA, USA, May 31, 2024, Revised Selected Papers

Yazar

Klusáček, Dalibor. editor. (orcid)0000-0001-6434-4433 Corbalán, Julita. editor. (orcid)0000-0002-3926-5634 Rodrigo, Gonzalo P. editor. (orcid)0000-0003-3315-8253 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

29.

High Performance Computing 11th Latin American High Performance Computing Conference, CARLA 2024, Santiago de Chile, Chile, September 30 - October 4, 2024, Revised Selected Papers

Yazar

Guerrero, Ginés. editor. (orcid)0000-0002-1346-1143 San Martín, Jaime. editor. (orcid)0000-0002-9273-5260 Meneses, Esteban. editor. (orcid)0000-0002-4307-6000 Barrios Hernández, Carlos Jaime. editor. (orcid)0000-0003-0133-7214 Osthoff, Carla. editor. (orcid)0000-0002-4694-7182

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

30.

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:

31.

Euro-Par 2024: Parallel Processing Workshops Euro-Par 2024 International Workshops, Madrid, Spain, August 26-30, 2024, Proceedings, Part II

Yazar

Caino-Lores, Silvina. editor. (orcid)0000-0002-6922-0138 Zeinalipour, Demetris. editor. (orcid)0000-0002-7239-2387 Doudali, Thaleia Dimitra. editor. (orcid)0000-0002-3197-839X Singh, David E. editor. (orcid)0000-0002-8125-0049 Garzón, Gracia Ester Martín. editor. (orcid)0000-0002-0568-5470

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

32.

Euro-Par 2024: Parallel Processing Workshops Euro-Par 2024 International Workshops, Madrid, Spain, August 26-30, 2024, Proceedings, Part I

Yazar

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

33.

Progress in Cryptology - AFRICACRYPT 2024 15th International Conference on Cryptology in Africa, Douala, Cameroon, July 10-12, 2024, Proceedings

Yazar

Vaudenay, Serge. editor. (orcid)0000-0001-9185-1449 Petit, Christophe. editor. (orcid)0000-0003-3482-6743 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

34.

Euro-Par 2024: Parallel Processing 30th European Conference on Parallel and Distributed Processing, Madrid, Spain, August 26-30, 2024, Proceedings, Part III

Yazar

Carretero, Jesus. editor. (orcid)0000-0002-1413-4793 Shende, Sameer. editor. (orcid)0000-0002-2592-669X Garcia-Blas, Javier. editor. (orcid)0000-0003-1452-1918 Brandic, Ivona. editor. (orcid)0000-0001-7424-0208 Olcoz, Katzalin. editor. (orcid)0000-0002-1821-124X

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

35.

Euro-Par 2024: Parallel Processing 30th European Conference on Parallel and Distributed Processing, Madrid, Spain, August 26-30, 2024, Proceedings, Part II

Yazar

Yer Numarası