Search Results for Concrete.

18 sonuç bulundu

1 2

000000DEFAULT_TR

13.

Verification of Data-Aware Processes via Satisfiability Modulo Theories

Yazar

Gianola, Alessandro. author. SpringerLink (Online service)

Yer Numarası

XX(520722.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

Progress in Cryptology - AFRICACRYPT 2023 14th International Conference on Cryptology in Africa, Sousse, Tunisia, July 19-21, 2023, Proceedings

Yazar

El Mrabet, Nadia. editor. De Feo, Luca. editor. Duquesne, Sylvain. editor. SpringerLink (Online service)

Yer Numarası

XX(521092.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

15.

NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings

Yazar

Rozier, Kristin Yvonne. editor. Chaudhuri, Swarat. editor. SpringerLink (Online service)

Yer Numarası

XX(520984.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

16.

Critical Information Infrastructures Security 17th International Conference, CRITIS 2022, Munich, Germany, September 14-16, 2022, Revised Selected Papers

Yazar

Hämmerli, Bernhard. editor. (orcid) Helmbrecht, Udo. editor. Hommel, Wolfgang. editor. Kunczik, Leonhard. editor. Pickl, Stefan. editor.

Yer Numarası

XX(520990.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

17.

Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part VII

Yazar

Gervasi, Osvaldo. editor. (orcid) Murgante, Beniamino. editor. (orcid) Rocha, Ana Maria A. C. editor. (orcid) Garau, Chiara. editor. (orcid) Scorza, Francesco. editor.

Yer Numarası

XX(521013.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

18.

Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part VIII

Yazar

Gervasi, Osvaldo. editor. (orcid) Murgante, Beniamino. editor. (orcid) Rocha, Ana Maria A. C. editor. (orcid) Garau, Chiara. editor. (orcid) Scorza, Francesco. editor.

Yer Numarası

XX(521014.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1 2

	{displayName}	{count}
{error}