Search Results for Infinite.

1.

Infinite Abelian groups

Yazar

Fuchs, Laszlo.

Yer Numarası

QA 171 F9517 1970- V.1

Format:

Durum

Beytepe Kütüphanesi~2

Rafta:
Kopya:

2.

Algorithms for Constructing Computably Enumerable Sets

Yazar

Supowit, Kenneth J. author. SpringerLink (Online service)

Yer Numarası

XX(520324.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

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:

4.

Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I

Yazar

Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)

Yer Numarası

XX(520843.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-031-30823-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Parallel Processing and Applied Mathematics 14th International Conference, PPAM 2022, Gdansk, Poland, September 11-14, 2022, Revised Selected Papers, Part I

Yazar

Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Deelman, Ewa. editor. Karczewski, Konrad. editor. SpringerLink (Online service)

Yer Numarası

XX(520851.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Developments in Language Theory 27th International Conference, DLT 2023, Umeå, Sweden, June 12-16, 2023, Proceedings

Yazar

Drewes, Frank. editor. Volkov, Mikhail. editor. SpringerLink (Online service)

Yer Numarası

XX(520867.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Artificial Intelligence and Soft Computing 22nd International Conference, ICAISC 2023, Zakopane, Poland, June 18-22, 2023, Proceedings, Part II

Yazar

Rutkowski, Leszek. editor. Scherer, Rafał. editor. Korytkowski, Marcin. editor. Pedrycz, Witold. editor. (orcid) Tadeusiewicz, Ryszard. editor.

Yer Numarası

XX(521138.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Quantitative Evaluation of Systems 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings

Yazar

Jansen, Nils. editor. Tribastone, Mirco. editor. SpringerLink (Online service)

Yer Numarası

XX(521142.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Cellular Automata and Discrete Complex Systems 29th IFIP WG 1.5 International Workshop, AUTOMATA 2023, Trieste, Italy, August 30 - September 1, 2023, Proceedings

Yazar

Manzoni, Luca. editor. Mariot, Luca. editor. Roy Chowdhury, Dipanwita. editor. SpringerLink (Online service)

Yer Numarası

XX(521118.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Reachability Problems 17th International Conference, RP 2023, Nice, France, October 11-13, 2023, Proceedings

Yazar

Bournez, Olivier. editor. Formenti, Enrico. editor. (orcid) Potapov, Igor. editor. (orcid) SpringerLink (Online service)

Yer Numarası

XX(521217.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Reinforcement Learning for Sequential Decision and Optimal Control

Yazar

Li, Shengbo Eben. author. SpringerLink (Online service)

Yer Numarası

XX(520398.1)

Elektronik Erişim

https://doi.org/10.1007/978-981-19-7784-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Neural Information Processing 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part IV

Yazar

Tanveer, Mohammad. editor. Agarwal, Sonali. editor. Ozawa, Seiichi. editor. Ekbal, Asif. editor. Jatowt, Adam. editor.

Yer Numarası

XX(520404.1)

Elektronik Erişim

https://doi.org/10.1007/978-981-99-1639-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

	{displayName}	{count}
{error}