Search Results for Logic design - Narrowed by: SpringerLink (Online service) - 2023
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic$002bdesign$0026qf$003dAUTHOR$002509Author$002509SpringerLink$002b$002528Online$002bservice$002529$002509SpringerLink$002b$002528Online$002bservice$002529$0026qf$003dPUBDATE$002509Publication$002bDate$0025092023$0025092023$0026ic$003dtrue$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?
2024-08-22T00:02:09Z
Multi-disciplinary Trends in Artificial Intelligence 16th International Conference, MIWAI 2023, Hyderabad, India, July 21-22, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521001
2024-08-22T00:02:09Z
2024-08-22T00:02:09Z
Author Morusupalli, Raghava. editor. Dandibhotla, Teja Santosh. editor. Atluri, Vani Vathsala. editor. Windridge, David. editor. Lingras, Pawan. editor.<br/>Preferred Shelf Number XX(521001.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-36402-0">https://doi.org/10.1007/978-3-031-36402-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Runtime Verification 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521209
2024-08-22T00:02:09Z
2024-08-22T00:02:09Z
Author Katsaros, Panagiotis. editor. Nenzi, Laura. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521209.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-44267-4">https://doi.org/10.1007/978-3-031-44267-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Paradigms of Smart and Intelligent Communication, 5G and Beyond
ent://SD_ILS/0/SD_ILS:520326
2024-08-22T00:02:09Z
2024-08-22T00:02:09Z
Author Rai, Amrita. editor. Kumar Singh, Dinesh. editor. Sehgal, Amit. editor. Cengiz, Korhan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520326.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-0109-8">https://doi.org/10.1007/978-981-99-0109-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Network Technologies and Intelligent Computing Second International Conference, ANTIC 2022, Varanasi, India, December 22-24, 2022, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:520368
2024-08-22T00:02:09Z
2024-08-22T00:02:09Z
Author Woungang, Isaac. editor. Dhurandher, Sanjay Kumar. editor. Pattanaik, Kiran Kumar. editor. Verma, Anshul. editor. Verma, Pradeepika. editor.<br/>Preferred Shelf Number XX(520368.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-28180-8">https://doi.org/10.1007/978-3-031-28180-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence for Communications and Networks 4th EAI International Conference, AICON 2022, Hiroshima, Japan, November 30 - December 1, 2022, Proceedings
ent://SD_ILS/0/SD_ILS:520668
2024-08-22T00:02:09Z
2024-08-22T00:02:09Z
Author Kambayashi, Yasushi. editor. Nguyen, Ngoc Thanh. editor. Chen, Shu-Heng. editor. Dini, Petre. editor. Takimoto, Munehiro. editor.<br/>Preferred Shelf Number XX(520668.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-29126-5">https://doi.org/10.1007/978-3-031-29126-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Higher Education Computer Science A Manual of Practical Approaches
ent://SD_ILS/0/SD_ILS:520416
2024-08-22T00:02:09Z
2024-08-22T00:02:09Z
Author Carter, Jenny. editor. O'Grady, Michael. editor. Rosen, Clive. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520416.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-29386-3">https://doi.org/10.1007/978-3-031-29386-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Intelligence in Data Science 6th IFIP TC 12 International Conference, ICCIDS 2023, Chennai, India, February 23-25, 2023, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:520518
2024-08-22T00:02:09Z
2024-08-22T00:02:09Z
Author Chandran K R, Sarath. editor. N, Sujaudeen. editor. A, Beulah. editor. Hamead H, Shahul. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520518.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-38296-3">https://doi.org/10.1007/978-3-031-38296-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Concise Guide to Software Verification From Model Checking to Annotation Checking
ent://SD_ILS/0/SD_ILS:520525
2024-08-22T00:02:09Z
2024-08-22T00:02:09Z
Author Huisman, Marieke. author. Wijs, Anton. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520525.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-30167-4">https://doi.org/10.1007/978-3-031-30167-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Intelligent Data Analysis XXI 21st International Symposium on Intelligent Data Analysis, IDA 2023, Louvain-la-Neuve, Belgium, April 12-14, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520837
2024-08-22T00:02:09Z
2024-08-22T00:02:09Z
Author Crémilleux, Bruno. editor. Hess, Sibylle. editor. Nijssen, Siegfried. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520837.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-30047-9">https://doi.org/10.1007/978-3-031-30047-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:520898
2024-08-22T00:02:09Z
2024-08-22T00:02:09Z
Author Dovier, Agostino. editor. Montanari, Angelo. editor. Orlandini, Andrea. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520898.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-27181-6">https://doi.org/10.1007/978-3-031-27181-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
PRIMA 2022: Principles and Practice of Multi-Agent Systems 24th International Conference, Valencia, Spain, November 16-18, 2022, Proceedings
ent://SD_ILS/0/SD_ILS:520784
2024-08-22T00:02:09Z
2024-08-22T00:02:09Z
Author Aydoğan, Reyhan. editor. Criado, Natalia. editor. Lang, Jérôme. editor. Sanchez-Anguix, Victor. editor. Serramia, Marc. editor.<br/>Preferred Shelf Number XX(520784.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-21203-1">https://doi.org/10.1007/978-3-031-21203-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Innovative Technologies and Learning 6th International Conference, ICITL 2023, Porto, Portugal, August 28-30, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520965
2024-08-22T00:02:09Z
2024-08-22T00:02:09Z
Author Huang, Yueh-Min. editor. (orcid) Rocha, Tânia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520965.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-40113-8">https://doi.org/10.1007/978-3-031-40113-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human Interface and the Management of Information Thematic Area, HIMI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:521033
2024-08-22T00:02:09Z
2024-08-22T00:02:09Z
Author Mori, Hirohiko. editor. Asahi, Yumi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521033.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-35129-7">https://doi.org/10.1007/978-3-031-35129-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic-Based Program Synthesis and Transformation 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521245
2024-08-22T00:02:09Z
2024-08-22T00:02:09Z
Author Glück, Robert. editor. Kafle, Bishoksan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521245.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-45784-5">https://doi.org/10.1007/978-3-031-45784-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Systems and Machine Learning First EAI International Conference, ICISML 2022, Hyderabad, India, December 16-17, 2022, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:520498
2024-08-22T00:02:09Z
2024-08-22T00:02:09Z
Author Nandan Mohanty, Sachi. editor. Garcia Diaz, Vicente. editor. Satish Kumar, G. A. E. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520498.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-35078-8">https://doi.org/10.1007/978-3-031-35078-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Systems and Machine Learning First EAI International Conference, ICISML 2022, Hyderabad, India, December 16-17, 2022, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:520499
2024-08-22T00:02:09Z
2024-08-22T00:02:09Z
Author Nandan Mohanty, Sachi. editor. Garcia Diaz, Vicente. editor. Satish Kumar, G. A. E. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520499.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-35081-8">https://doi.org/10.1007/978-3-031-35081-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Machine Intelligence and Emerging Technologies First International Conference, MIET 2022, Noakhali, Bangladesh, September 23-25, 2022, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:520459
2024-08-22T00:02:09Z
2024-08-22T00:02:09Z
Author Satu, Md. Shahriare. editor. (orcid) Moni, Mohammad Ali. editor. Kaiser, M. Shamim. editor. Arefin, Mohammad Shamsul. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520459.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-34622-4">https://doi.org/10.1007/978-3-031-34622-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Collaborative Networks in Digitalization and Society 5.0 24th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2023, Valencia, Spain, September 27-29, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520625
2024-08-22T00:02:09Z
2024-08-22T00:02:09Z
Author Camarinha-Matos, Luis M. editor. Boucher, Xavier. editor. Ortiz, Angel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520625.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-42622-3">https://doi.org/10.1007/978-3-031-42622-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theoretical Aspects of Software Engineering 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521004
2024-08-22T00:02:09Z
2024-08-22T00:02:09Z
Author David, Cristina. editor. Sun, Meng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521004.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-35257-7">https://doi.org/10.1007/978-3-031-35257-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521275
2024-08-22T00:02:09Z
2024-08-22T00:02:09Z
Author Ferreira, Carla. editor. Willemse, Tim A. C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521275.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-47115-5">https://doi.org/10.1007/978-3-031-47115-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>