Search Results for Software

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

35 sonuç bulundu

1 2 3

000000000000DEFAULT_TR

13.

Frontiers of Algorithmics 18th International Joint Conference, IJTCS-FAW 2024, Hong Kong SAR, China, July 29-31, 2024, Proceedings

Yazar

Li, Bo. editor. (orcid)0000-0001-7500-8355 Li, Minming. editor. (orcid)0000-0002-7370-6237 Sun, Xiaoming. editor. (orcid)0000-0002-0281-1670 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-97-7752-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

Graph Transformation 18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11-12, 2025, Proceedings

Yazar

Endrullis, Jörg. editor. (orcid)0000-0002-2554-8270 Tichy, Matthias. editor. (orcid)0000-0002-9067-3748 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

15.

Frontiers of Algorithmics 19th International Joint Conference, IJTCS-FAW 2025, Paris, France, June 30 - July 2, 2025, Proceedings

Yazar

Chau, Vincent. editor. (orcid)0000-0002-3362-2063 Dürr, Christoph. editor. (orcid)0000-0001-8103-5333 Li, Minming. editor. (orcid)0000-0002-7370-6237 Lu, Pinyan. editor. (orcid)0009-0005-0569-4122 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-8312-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

16.

Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II

Yazar

Piskac, Ruzica. editor. (orcid)0000-0002-3267-0776 Rakamarić, Zvonimir. editor. (orcid)0000-0001-7946-0162 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

17.

Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I

Yazar

Piskac, Ruzica. editor. (orcid)0000-0002-3267-0776 Rakamarić, Zvonimir. editor. (orcid)0000-0001-7946-0162 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

18.

Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part III

Yazar

Piskac, Ruzica. editor. (orcid)0000-0002-3267-0776 Rakamarić, Zvonimir. editor. (orcid)0000-0001-7946-0162 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

19.

Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV

Yazar

Piskac, Ruzica. editor. (orcid)0000-0002-3267-0776 Rakamarić, Zvonimir. editor. (orcid)0000-0001-7946-0162 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

20.

Computers and Games 12th International Conference, CG 2024, Virtual Event, November 25-29, 2024, Revised Selected Papers

Yazar

Hartisch, Michael. editor. (orcid)0000-0001-6304-4973 Hsueh, Chu-Hsuan. editor. (orcid)0000-0001-8888-3116 Schaeffer, Jonathan. editor. (orcid)0009-0007-3735-5947 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

21.

Comparative Genomics 21st International Conference, RECOMB-CG 2024, Boston, MA, USA, April 27-28, 2024, Proceedings

Yazar

Scornavacca, Celine. editor. (orcid)0009-0004-0179-9771 Hernández-Rosales, Maribel. editor. (orcid)0000-0003-1878-1223 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

22.

Web and Internet Economics 19th International Conference, WINE 2023, Shanghai, China, December 4-8, 2023, Proceedings

Yazar

Garg, Jugal. editor. Klimm, Max. editor. Kong, Yuqing. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

23.

The Semantic Web 21st International Conference, ESWC 2024, Hersonissos, Crete, Greece, May 26-30, 2024, Proceedings, Part I

Yazar

Meroño Peñuela, Albert. editor. (orcid)0000-0003-4646-5842 Dimou, Anastasia. editor. (orcid)0000-0003-2138-7972 Troncy, Raphaël. editor. (orcid)0000-0003-0457-1436 Hartig, Olaf. editor. (orcid)0000-0002-1741-2090 Acosta, Maribel. editor. (orcid)0000-0002-1209-2868

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

24.

Structural Information and Communication Complexity 31st International Colloquium, SIROCCO 2024, Vietri sul Mare, Italy, May 27-29, 2024, Proceedings

Yazar

Emek, Yuval. editor. SpringerLink (Online service)