Search Results for Infinite.

1.

Infinite Abelian groups

Author

Fuchs, Laszlo.

Preferred Shelf Number

QA 171 F9517 1970- V.1

Format:

Availability

Beytepe Library~2

Available:
Copies:

2.

Algorithms for Constructing Computably Enumerable Sets

Author

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

Preferred Shelf Number

XX(520324.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Reinforcement Learning for Sequential Decision and Optimal Control

Author

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

Preferred Shelf Number

XX(520398.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

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

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

Author

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

Preferred Shelf Number

XX(520404.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Verification of Data-Aware Processes via Satisfiability Modulo Theories

Author

Gianola, Alessandro. author. SpringerLink (Online service)

Preferred Shelf Number

XX(520722.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Artificial Intelligence and Digitalization for Sustainable Development 10th EAI International Conference, ICAST 2022, Bahir Dar, Ethiopia, November 4-6, 2022, Proceedings

Artificial Intelligence and Digitalization for Sustainable Development 10th EAI International Conference, ICAST 2022, Bahir Dar, Ethiopia, November 4-6, 2022, Proceedings

Author

Woldegiorgis, Bereket H. editor. Mequanint, Kibret. editor. Bitew, Mekuanint A. editor. Beza, Teketay B. editor. Yibre, Abdulkerim M. editor.

Preferred Shelf Number

XX(520759.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for 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

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

Author

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

Preferred Shelf Number

XX(520843.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

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

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

Author

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

Preferred Shelf Number

XX(520851.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

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

Author

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

Preferred Shelf Number

XX(520867.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Combinatorics on Words 14th International Conference, WORDS 2023, Umeå, Sweden, June 12-16, 2023, Proceedings

Author

Frid, Anna. editor. Mercaş, Robert. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520955.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Descriptional Complexity of Formal Systems 25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4-6, 2023, Proceedings

Descriptional Complexity of Formal Systems 25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4-6, 2023, Proceedings

Author

Bordihn, Henning. editor. Tran, Nicholas. editor. Vaszil, György. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521000.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

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

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

Author

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

Preferred Shelf Number

XX(521118.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}