Search Results for -- -ROMAN.

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

824 sonuç bulundu

1 2 3 4 5 6 .. 69

000000000000DEFAULT_TR

37.

Enterprise Design, Operations, and Computing 28th International Conference, EDOC 2024, Vienna, Austria, September 10-13, 2024, Revised Selected Papers

Yazar

Borbinha, José. editor. (orcid)0000-0001-5463-8438 Prince Sales, Tiago. editor. (orcid)0000-0002-5385-5761 Da Silva, Miguel Mira. editor. (orcid)0000-0002-0489-4465 Proper, Henderik A. editor. (orcid)0000-0002-7318-2496 Schnellmann, Marianne. editor. (orcid)0000-0002-3399-2814

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

38.

Number-Theoretic Methods in Cryptology 4th International Conference, NuTMiC 2024, Szczecin, Poland, June 24-26, 2024, Revised Selected Papers

Yazar

Dąbrowski, Andrzej. editor. (orcid)0000-0002-1524-4871 Pieprzyk, Josef. editor. (orcid)0000-0002-1917-6466 Pomykała, Jacek. editor. (orcid)0000-0002-6480-5751 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

39.

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:

40.

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:

41.

Verified Software. Theories, Tools and Experiments 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024, Revised Selected Papers

Yazar

Protzenko, Jonathan. editor. (orcid)0000-0001-7347-3050 Raad, Azalea. editor. (orcid)0000-0002-2319-3242 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

42.

Scalable Data Management for Future Hardware

Yazar

Sattler, Kai-Uwe. editor. (orcid)0000-0003-1608-7721 Kemper, Alfons. editor. Neumann, Thomas. editor. (orcid)0000-0001-5787-142X Teubner, Jens. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

43.

Agents and Artificial Intelligence 16th International Conference, ICAART 2024, Rome, Italy, February 24-26, 2024, Revised Selected Papers, Part II

Yazar

Rocha, Ana Paula. editor. Steels, Luc. editor. (orcid)0000-0001-9134-3663 van den Herik, Jaap. editor. (orcid)0000-0001-9751-761X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

44.

Computer Security. ESORICS 2024 International Workshops SECAI, DisA, CPS4CIP, and SecAssure, Bydgoszcz, Poland, September 16-20, 2024, Revised Selected Papers, Part II

Yazar

Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393 Kalutarage, Harsha. editor. (orcid)0000-0001-6430-9558 Yanai, Naoto. editor. (orcid)0000-0002-0817-6188 Kozik, Rafał. editor. (orcid)0000-0001-7122-3306 Ksieniewicz, Paweł. editor. (orcid)0000-0001-9578-8395

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

45.

Agents and Artificial Intelligence 16th International Conference, ICAART 2024, Rome, Italy, February 24-26, 2024, Revised Selected Papers, Part I

Yazar

Rocha, Ana Paula. editor. Steels, Luc. editor. (orcid)0000-0001-9134-3663 van den Herik, Jaap. editor. (orcid)0000-0001-9751-761X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

46.

Artificial Intelligence Based Smart and Secured Applications Third International Conference, ASCIS 2024, Rajkot, India, October 16-18, 2024, Revised Selected Papers, Part I

Yazar

Rajagopal, Sridaran. editor. (orcid)0000-0001-7397-7611 Popat, Kalpesh. editor. (orcid)0000-0002-3818-3717 Meva, Divyakant. editor. (orcid)0000-0001-8804-7337 Bajeja, Sunil. editor. (orcid)0000-0002-4412-9688 Mudholkar, Pankaj. editor. (orcid)0000-0003-1639-0704

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

47.

Artificial Intelligence Based Smart and Secured Applications Third International Conference, ASCIS 2024, Rajkot, India, October 16-18, 2024, Revised Selected Papers, Part III

Yazar

Yer Numarası