Search Results for Computer System Implementation.

79 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:

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

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-75387-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

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:

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:

Real Time and Such Essays Dedicated to Wang Yi to Celebrate His Scientific Career

Yazar

Graf, Susanne. editor. (orcid)0000-0003-4354-6807 Pettersson, Paul. editor. (orcid)0000-0003-4040-3480 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-73751-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers

Yazar

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Service-Oriented and Cloud Computing 11th IFIP WG 6.12 European Conference, ESOCC 2025, Bolzano, Italy, February 20-21, 2025, Proceedings

Yazar

Pahl, Claus. editor. (orcid)0000-0002-9049-212X Janes, Andrea. editor. (orcid)0000-0002-1423-6773 Cerny, Tomas. editor. (orcid)0000-0002-5882-5502 Lenarduzzi, Valentina. editor. (orcid)0000-0003-0511-5133 Esposito, Matteo. editor. (orcid)0000-0002-8451-3668

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-84617-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Smart Cities 7th Ibero-American Congress, ICSC-CITIES 2024, San Carlos, Costa Rica, November 12-14, 2024, Revised Selected Papers

Yazar

Nesmachnow, Sergio. editor. (orcid)0000-0002-8146-4012 Hernández Callejo, Luis. editor. (orcid)0000-0002-8822-2948 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Distributed Ledger Technology 8th International Symposium, SDLT 2024, Brisbane, QLD, Australia, November 28-29, 2024, Revised Selected Papers

Yazar

Kanhere, Salil. editor. (orcid)0000-0002-1835-3475 Jurdak, Raja. editor. (orcid)0000-0001-7517-0782 Parkinson, Joy. editor. Sridharan, Bhavani. editor. Pal, Shantanu. editor. (orcid)0000-0002-8784-0154

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-4442-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Applied Computer Sciences in Engineering 11th Workshop on Engineering Applications, WEA 2024, Barranquilla, Colombia, October 23-25, 2024, Proceedings, Part I

Yazar

Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937 Hernández, German. editor. (orcid)0000-0001-9549-2316 Suero Pérez, Diego Fernando. editor. (orcid)0000-0002-0760-0186 Gaona García, Elvis Eduardo. editor. (orcid)0000-0001-5431-8776 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Applied Computer Sciences in Engineering 11th Workshop on Engineering Applications, WEA 2024, Barranquilla, Colombia, October 23-25, 2024, Proceedings, Part II

Yazar

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1 2 3 4 5 .. 7

	{displayName}	{count}
{error}