Search Results for System Robustness.

4 sonuç bulundu

0000DEFAULT_TR

Asynchronous Many-Task Systems and Applications Second International Workshop, WAMTA 2024, Knoxville, TN, USA, February 14-16, 2024, Proceedings

Yazar

Diehl, Patrick. editor. (orcid)0000-0003-3922-8419 Schuchart, Joseph. editor. Valero-Lara, Pedro. editor. Bosilca, George. editor. (orcid)0000-0003-2411-8495 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Applied Logic for Computer Scientists Computational Deduction and Formal Proofs

Yazar

Ayala-Rincón, Mauricio. author. de Moura, Flávio L. C. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-51653-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Computational Intelligence for Network Structure Analytics

Yazar

Gong, Maoguo. author. Cai, Qing. author. Ma, Lijia. author. Wang, Shanfeng. author. Lei, Yu. author.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-10-4558-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings

Yazar

Falcone, Yliès. editor. Sánchez, César. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-46982-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

	{displayName}	{count}
{error}