Search Results for Logic design.

20 sonuç bulundu

1 2

000000000000DEFAULT_TR

Innovative Technologies and Learning 6th International Conference, ICITL 2023, Porto, Portugal, August 28-30, 2023, Proceedings

Yazar

Huang, Yueh-Min. editor. (orcid) Rocha, Tânia. editor. SpringerLink (Online service)

Yer Numarası

XX(520965.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings

Yazar

Ferreira, Carla. editor. Willemse, Tim A. C. editor. SpringerLink (Online service)

Yer Numarası

XX(521275.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Paradigms of Smart and Intelligent Communication, 5G and Beyond

Yazar

Rai, Amrita. editor. Kumar Singh, Dinesh. editor. Sehgal, Amit. editor. Cengiz, Korhan. editor. SpringerLink (Online service)

Yer Numarası

XX(520326.1)

Elektronik Erişim

https://doi.org/10.1007/978-981-99-0109-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Advanced Network Technologies and Intelligent Computing Second International Conference, ANTIC 2022, Varanasi, India, December 22-24, 2022, Proceedings, Part I

Yazar

Woungang, Isaac. editor. Dhurandher, Sanjay Kumar. editor. Pattanaik, Kiran Kumar. editor. Verma, Anshul. editor. Verma, Pradeepika. editor.

Yer Numarası

XX(520368.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Machine Intelligence and Emerging Technologies First International Conference, MIET 2022, Noakhali, Bangladesh, September 23-25, 2022, Proceedings, Part II

Yazar

Satu, Md. Shahriare. editor. (orcid) Moni, Mohammad Ali. editor. Kaiser, M. Shamim. editor. Arefin, Mohammad Shamsul. editor. SpringerLink (Online service)

Yer Numarası

XX(520459.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Intelligent Systems and Machine Learning First EAI International Conference, ICISML 2022, Hyderabad, India, December 16-17, 2022, Proceedings, Part I

Yazar

Nandan Mohanty, Sachi. editor. Garcia Diaz, Vicente. editor. Satish Kumar, G. A. E. editor. SpringerLink (Online service)

Yer Numarası

XX(520498.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Intelligent Systems and Machine Learning First EAI International Conference, ICISML 2022, Hyderabad, India, December 16-17, 2022, Proceedings, Part II

Yazar

Nandan Mohanty, Sachi. editor. Garcia Diaz, Vicente. editor. Satish Kumar, G. A. E. editor. SpringerLink (Online service)

Yer Numarası

XX(520499.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Computational Intelligence in Data Science 6th IFIP TC 12 International Conference, ICCIDS 2023, Chennai, India, February 23-25, 2023, Revised Selected Papers

Yazar

Chandran K R, Sarath. editor. N, Sujaudeen. editor. A, Beulah. editor. Hamead H, Shahul. editor. SpringerLink (Online service)

Yer Numarası

XX(520518.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Concise Guide to Software Verification From Model Checking to Annotation Checking

Yazar

Huisman, Marieke. author. Wijs, Anton. author. SpringerLink (Online service)

Yer Numarası

XX(520525.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

AIxIA 2022 - Advances in Artificial Intelligence XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings

Yazar

Dovier, Agostino. editor. Montanari, Angelo. editor. Orlandini, Andrea. editor. SpringerLink (Online service)

Yer Numarası

XX(520898.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Logic-Based Program Synthesis and Transformation 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings

Yazar

Glück, Robert. editor. Kafle, Bishoksan. editor. SpringerLink (Online service)

Yer Numarası

XX(521245.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Artificial Intelligence for Communications and Networks 4th EAI International Conference, AICON 2022, Hiroshima, Japan, November 30 - December 1, 2022, Proceedings

Yazar

Kambayashi, Yasushi. editor. Nguyen, Ngoc Thanh. editor. Chen, Shu-Heng. editor. Dini, Petre. editor. Takimoto, Munehiro. editor.

Yer Numarası

XX(520668.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1 2

	{displayName}	{count}
{error}