Search Results for Systems software.

44 sonuç bulundu

1 2 3 4

000000000000DEFAULT_TR

Reuse and Software Quality 21st International Conference on Software and Systems Reuse, ICSR 2024, Limassol, Cyprus, June 19-20, 2024, Proceedings

Yazar

Achilleos, Achilleas. editor. (orcid)0000-0001-7157-8991 Fuentes, Lidia. editor. (orcid)0000-0002-5677-7156 Papadopoulos, George Angelos. editor. (orcid)0000-0001-9250-4916 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Software Engineering for Self-Adaptive Systems III. Assurances International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers

Yazar

de Lemos, Rogério. editor. Garlan, David. editor. Ghezzi, Carlo. editor. Giese, Holger. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-74183-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Numerical Computations: Theory and Algorithms 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023, Revised Selected Papers, Part I

Yazar

Sergeyev, Yaroslav D. editor. (orcid)0000-0002-1429-069X Kvasov, Dmitri E. editor. (orcid)0000-0002-5067-4383 Astorino, Annabella. editor. (orcid)0000-0002-3439-180X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Numerical Computations: Theory and Algorithms 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023, Revised Selected Papers, Part II

Yazar

Sergeyev, Yaroslav D. editor. (orcid)0000-0002-1429-069X Kvasov, Dmitri E. editor. (orcid)0000-0002-5067-4383 Astorino, Annabella. editor. (orcid)0000-0002-3439-180X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Numerical Computations: Theory and Algorithms 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023 Revised Selected Papers, Part III

Yazar

Sergeyev, Yaroslav D. editor. (orcid)0000-0002-1429-069X Kvasov, Dmitri E. editor. (orcid)0000-0002-5067-4383 Astorino, Annabella. editor. (orcid)0000-0002-3439-180X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I

Yazar

Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II

Yazar

Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Innovative Intelligent Industrial Production and Logistics 5th International Conference, IN4PL 2024, Porto, Portugal, November 21-22, 2024, Proceedings, Part I

Yazar

Dassisti, Michele. editor. (orcid)0000-0001-6984-9203 Madani, Kurosh. editor. Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Advances in ICT Research in the Balkans 10th Balkan Conference in Informatics, BCI 2024, Craiova, Romania, September 4-6, 2024, Proceedings

Yazar

Bădică, Costin. editor. (orcid)0000-0001-8480-9867 Gušev, Marjan. editor. (orcid)0000-0003-0351-9783 Iftene, Adrian. editor. (orcid)0000-0003-3564-8440 Ivanović, Mirjana. editor. (orcid)0000-0003-1946-0384 Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

NASA Formal Methods 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings

Yazar

Dutle, Aaron. editor. (orcid)0000-0002-8503-5514 Humphrey, Laura. editor. (orcid)0000-0002-3148-9035 Titolo, Laura. editor. (orcid)0000-0001-7820-7640 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Foundations and Practice of Security 17th International Symposium, FPS 2024, Montréal, QC, Canada, December 9-11, 2024, Revised Selected Papers, Part I

Yazar

Adi, Kamel. editor. (orcid)0000-0003-2869-0333 Bourdeau, Simon. editor. (orcid)0000-0001-6660-3398 Durand, Christel. editor. Viet Triem Tong, Valérie. editor. (orcid)0000-0003-4838-2952 Dulipovici, Alina. editor. (orcid)0000-0002-8847-5056

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Innovative Intelligent Industrial Production and Logistics 5th International Conference, IN4PL 2024, Porto, Portugal, November 21-22, 2024, Proceedings, Part II

Yazar

Dassisti, Michele. editor. (orcid)0000-0001-6984-9203 Madani, Kurosh. editor. Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1 2 3 4

	{displayName}	{count}
{error}