Search Results for

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

12380 sonuç bulundu

1 2 3 4 5 6 .. 1032

000000000000DEFAULT_TR

37.

The Semantic Web - ISWC 2024 23rd International Semantic Web Conference, Baltimore, MD, USA, November 11-15, 2024, Proceedings, Part II

Yazar

Demartini, Gianluca. editor. (orcid)0000-0002-7311-3693 Hose, Katja. editor. (orcid)0000-0001-7025-8099 Acosta, Maribel. editor. (orcid)0000-0002-1209-2868 Palmonari, Matteo. editor. (orcid)0000-0002-1801-5118 Cheng, Gong. editor. (orcid)0000-0003-3539-7776

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

38.

The Semantic Web - ISWC 2024 23rd International Semantic Web Conference, Baltimore, MD, USA, November 11-15, 2024, Proceedings, Part I

Yazar

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

39.

Progress in Cryptology - INDOCRYPT 2024 25th International Conference on Cryptology in India, Chennai, India, December 18-21, 2024, Proceedings, Part I

Yazar

Mukhopadhyay, Sourav. editor. Stănică, Pantelimon. editor. (orcid)0000-0002-8622-7120 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

40.

Progress in Cryptology - INDOCRYPT 2024 25th International Conference on Cryptology in India, Chennai, India, December 18-21, 2024, Proceedings, Part II

Yazar

Mukhopadhyay, Sourav. editor. Stănică, Pantelimon. editor. (orcid)0000-0002-8622-7120 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

41.

Cultural Perspectives of Human-Centered and Technological Innovations First International Workshop, CPHCATI 2024, Tokyo, Japan, January 27-28, 2024, Proceedings

Yazar

Taratukhin, Victor. editor. (orcid)0000-0002-7619-9269 Levchenko, Artem. editor. (orcid)0000-0003-3871-2620 Kim, Sohyeong. editor. (orcid)0000-0003-3333-1079 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

42.

Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I

Yazar

Shankaranarayanan, Krishna. editor. (orcid)0000-0003-0925-398X Sankaranarayanan, Sriram. editor. (orcid)0000-0001-7315-4340 Trivedi, Ashutosh. editor. (orcid)0000-0001-9346-0126 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

43.

Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I

Yazar

Platzer, André. editor. (orcid)0000-0001-7238-5710 Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 Pradella, Matteo. editor. (orcid)0000-0003-3039-1084 Rossi, Matteo. editor. (orcid)0000-0002-9193-9560 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

44.

Tests and Proofs 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings

Yazar

Huisman, Marieke. editor. (orcid)0000-0003-4467-072X Howar, Falk. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

45.

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:

46.

TOOLympics Challenge 2023 Updates, Results, Successes of the Formal-Methods Competitions

Yazar

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Hartmanns, Arnd. editor. (orcid)0000-0003-3268-8674 Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

47.

Formal Methods: Foundations and Applications 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings

Yazar

C. Nogueira, Sidney. editor. (orcid)0000-0002-8817-5029 Teodorov, Ciprian. editor. (orcid)0000-0002-0722-5857 SpringerLink (Online service)