Search Results for Special purpose computers.

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

84 sonuç bulundu

1 2 3 4 5 .. 7

000000000000DEFAULT_TR

Innovations and Interdisciplinary Solutions for Underserved Areas 7th International Conference, InterSol 2024, Dakar, Senegal, July 3-4, 2024, Proceedings

Yazar

Cheikh M. F. Kebe, Kebe. editor. Gueye, Assane. editor. (orcid)0000-0001-6469-4716 Ndiaye, Ababacar. editor. (orcid)0000-0002-4281-8973 Sene, Ndèye Awa. editor. Maiga, Amadou-Seidou. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I

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-73709-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Analytical and Stochastic Modelling Techniques and Applications 28th International Conference, ASMTA 2024, Venice, Italy, June 14, 2024, Proceedings

Yazar

Devos, Arnaud. editor. (orcid)0000-0001-8124-723X Horváth, András. editor. (orcid)0000-0002-8210-545X Rossi, Sabina. editor. (orcid)0000-0002-1189-4439 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

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

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-75380-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

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:

Distributed Computer and Communication Networks 27th International Conference, DCCN 2024, Moscow, Russia, September 23-27, 2024, Revised Selected Papers

Yazar

Vishnevskiy, Vladimir M. editor. (orcid)0000-0001-7373-4847 Samouylov, Konstantin E. editor. (orcid)0000-0002-6368-9680 Kozyrev, Dmitry V. editor. (orcid)0000-0003-0538-8430 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Algorithmic Aspects of Cloud Computing 9th International Symposium, ALGOCLOUD 2024, London, UK, September 2-3, 2024, Revised Selected Papers

Yazar

Doka, Katerina. editor. Tsiropoulou, Eirini Eleni. editor. (orcid)0000-0003-1322-1876 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Economics of Grids, Clouds, Systems, and Services 20th International Conference, GECON 2024, Rome, Italy, September 26-27, 2024, Proceedings

Yazar

Naldi, Maurizio. editor. (orcid)0000-0002-0903-398X Djemame, Karim. editor. (orcid)0000-0001-5811-5263 Altmann, Jörn. editor. (orcid)0000-0002-8880-9546 Bañares, José Ángel. editor. (orcid)0000-0002-4198-8241 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Computer Performance Engineering 20th European Workshop, EPEW 2024, Venice, Italy, June 14, 2024, Revised Selected Papers

Yazar

Doncel, Josu. editor. (orcid)0000-0002-5552-9134 Remke, Anne. editor. (orcid)0000-0002-5912-4767 Di Pompeo, Daniele. editor. (orcid)0000-0003-2041-7375 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Towards new e-Infrastructure and e-Services for Developing Countries 15th International Conference, AFRICOMM 2023, Bobo-Dioulasso, Burkina Faso, November 23-25, 2023, Proceedings, Part I

Yazar

Sere, Abdoulaye. editor. (orcid)0009-0009-0662-4571 Sie, Oumarou. editor. Saeed, Rashid A. editor. (orcid)0000-0002-9872-081X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Towards new e-Infrastructure and e-Services for Developing Countries 15th International Conference, AFRICOMM 2023, Bobo-Dioulasso, Burkina Faso, November 23-25, 2023, Proceedings, Part II

Yazar

Sere, Abdoulaye. editor. (orcid)0009-0009-0662-4571 Sie, Oumarou. editor. Saeed, Rashid A. editor. (orcid)0000-0002-9872-081X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Parallel and Distributed Computing, Applications and Technologies 25th International Conference, PDCAT 2024, Hong Kong, China, December 13-15, 2024, Proceedings

Yazar

Li, Yupeng. editor. Zhang, Yong. editor. (orcid)0000-0002-8730-3711 Xu, Jianliang. editor. SpringerLink (Online service)