Search Results for Logic, Modern. - Narrowed by: SpringerLink (Online service)

From Boolean Logic to Switching Circuits and Automata Towards Modern Information Technology

2024-11-20T01:10:58Z

Author Stanković, Radomir S. author. Astola, Jaakko. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11682-7
Format: Electronic Resources
Availability Online Library~1

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

2024-11-20T01:10:58Z

Author Satu, Md. Shahriare. editor. (orcid) Moni, Mohammad Ali. editor. Kaiser, M. Shamim. editor. Arefin, Mohammad Shamsul. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520459.1)
Electronic Access https://doi.org/10.1007/978-3-031-34622-4
Format: Electronic Resources
Availability Online Library~1

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 II

2024-11-20T01:10:58Z

Author Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520840.1)
Electronic Access https://doi.org/10.1007/978-3-031-30820-8
Format: Electronic Resources
Availability Online Library~1