Search Results for Work.

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

121 sonuç bulundu

1 2 3 4 5 6 .. 11

000000000000DEFAULT_TR

The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirement

Yazar

Foster, Simon. editor. (orcid)0000-0002-9889-9514 Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-67114-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Human-Computer Interaction 9th Iberoamerican Workshop, HCI-COLLAB 2023, Buenos Aires, Argentina, September 13-15, 2023, Revised Selected Papers

Yazar

Ruiz, Pablo H. editor. (orcid)0000-0003-2098-2614 Agredo-Delgado, Vanessa. editor. (orcid)0000-0003-0870-6895 Mon, Alicia. editor. (orcid)0000-0001-6365-9943 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

The French School of Programming

Yazar

Meyer, Bertrand. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Enterprise Interoperability X Enterprise Interoperability Through Connected Digital Twins

Yazar

Rodríguez-Rodríguez, Raúl. editor. Ducq, Yves. editor. (orcid)0000-0001-5144-5876 Leon, Ramona-Diana. editor. Romero, David. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-24771-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Symbolic Computation in Software Science 10th International Symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024, Proceedings

Yazar

Watt, Stephen M. editor. (orcid)0000-0001-8303-4983 Ida, Tetsuo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Neural-Symbolic Learning and Reasoning 18th International Conference, NeSy 2024, Barcelona, Spain, September 9-12, 2024, Proceedings, Part I

Yazar

Besold, Tarek R. editor. (orcid)0000-0002-8002-0049 d'Avila Garcez, Artur. editor. (orcid)0000-0001-7375-9518 Jimenez-Ruiz, Ernesto. editor. (orcid)0000-0002-9083-4599 Confalonieri, Roberto. editor. (orcid)0000-0003-0936-2123 Madhyastha, Pranava. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Neural-Symbolic Learning and Reasoning 18th International Conference, NeSy 2024, Barcelona, Spain, September 9-12, 2024, Proceedings, Part II

Yazar

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Computational Thinking First Algorithms, Then Code

Yazar

Ferragina, Paolo. author. Luccio, Fabrizio. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Advanced Parallel Processing Technologies 15th International Symposium, APPT 2023, Nanchang, China, August 4-6, 2023, Proceedings

Yazar

Li, Chao. editor. (orcid)0000-0001-6218-4659 Li, Zhenhua. editor. (orcid)0000-0001-7286-122X Shen, Li. editor. (orcid)0000-0001-9043-2998 Wu, Fan. editor. (orcid)0000-0003-0965-9058 Gong, Xiaoli. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-99-7872-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Transactions on Petri Nets and Other Models of Concurrency XVII

Yazar

Koutny, Maciej. editor. Bergenthum, Robin. editor. Ciardo, Gianfranco. editor. SpringerLink (Online service)