Search Results for Mathematical logic.

477 sonuç bulundu

1 2 3 4 5 .. 40

000000000000DEFAULT_TR

13.

Mathematical Problems from Applied Logic II Logics for the XXIst Century

Yazar

Gabbay, Dov M. editor. Zakharyaschev, Michael. editor. Goncharov, Sergei S. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-387-69245-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

Mathematical Problems from Applied Logic I Logics for the XXIst Century

Yazar

Gabbay, Dov M. editor. Goncharov, Sergei S. editor. Zakharyaschev, Michael. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/0-387-31072-X

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

15.

Understanding Behaviour of Distributed Systems Using mCRL2

Yazar

Atif, Muhammad. author. Groote, Jan Friso. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

16.

Reliability Engineering and Computational Intelligence for Complex Systems Design, Analysis and Evaluation

Yazar

van Gulijk, Coen. editor. (orcid)0000-0003-4541-2693 Zaitseva, Elena. editor. Kvassay, Miroslav. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

17.

Advances in Automation IV Proceedings of the International Russian Automation Conference, RusAutoCon2022, September 4-10, 2022, Sochi, Russia

Yazar

Radionov, Andrey A. editor. Gasiyarov, Vadim R. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

18.

Mathematical Foundations of Software Engineering A Practical Guide to Essentials

Yazar

O'Regan, Gerard. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

19.

Information Technologies and Intelligent Decision Making Systems Second International Conference, ITIDMS 2022, Virtual Event, December 12-14, 2022, Revised Selected Papers

Yazar

Gibadullin, Arthur. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

20.

Towards new e-Infrastructure and e-Services for Developing Countries 14th EAI International Conference, AFRICOMM 2022, Zanzibar, Tanzania, December 5-7, 2022, Proceedings

Yazar

Saeed, Rashid A. editor. Bakari, Abubakar D. editor. Sheikh, Yahya Hamad. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

21.

Error Logic: Paving Pathways for Intelligent Error Identification and Management

Yazar

Liu, Shiyong. author. Guo, Kaizhong. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

22.

Computational Intelligence and Mathematics for Tackling Complex Problems 4

Yazar

Cornejo, María Eugenia. editor. Harmati, István Á. editor. Kóczy, László T. editor. Medina-Moreno, Jesús. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

23.

Modeling Decisions for Artificial Intelligence 16th International Conference, MDAI 2019, Milan, Italy, September 4–6, 2019, Proceedings

Yazar

Torra, Vicenç. editor. (orcid)0000-0002-0368-8037 Narukawa, Yasuo. editor. Pasi, Gabriella. editor. (orcid)0000-0002-6080-8170 Viviani, Marco. editor. (orcid)0000-0002-2274-9050 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-26773-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

24.

AI*IA 2019 – Advances in Artificial Intelligence XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19–22, 2019, Proceedings

Yazar

Alviano, Mario. editor. (orcid)0000-0002-2052-2063 Greco, Gianluigi. editor. (orcid)0000-0002-5799-6828 Scarcello, Francesco. editor. (orcid)0000-0001-7765-1563 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-35166-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1 2 3 4 5 .. 40

	{displayName}	{count}
{error}