Search Results for Logic design.

1235 Results Found

1 .. 3 4 5 6 7 .. 103

000000000000DEFAULT

49.

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

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

Author

Camarinha-Matos, Luis M. editor. Boucher, Xavier. editor. Ortiz, Angel. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520625.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

50.

Cover image for PRIMA 2022: Principles and Practice of Multi-Agent Systems 24th International Conference, Valencia, Spain, November 16-18, 2022, Proceedings

PRIMA 2022: Principles and Practice of Multi-Agent Systems 24th International Conference, Valencia, Spain, November 16-18, 2022, Proceedings

Author

Aydoğan, Reyhan. editor. Criado, Natalia. editor. Lang, Jérôme. editor. Sanchez-Anguix, Victor. editor. Serramia, Marc. editor.

Preferred Shelf Number

XX(520784.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

51.

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

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

Author

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

Preferred Shelf Number

XX(520898.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

52.

Runtime Verification 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings

Author

Katsaros, Panagiotis. editor. Nenzi, Laura. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521209.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

53.

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

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

Author

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

Preferred Shelf Number

XX(521275.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

54.

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

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

Author

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

Preferred Shelf Number

XX(520368.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

55.

Paradigms of Smart and Intelligent Communication, 5G and Beyond

Author

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

Preferred Shelf Number

XX(520326.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

56.

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

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

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:

Availability

Online Library~1

Available:
Copies:

57.

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

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

Author

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

Preferred Shelf Number

XX(520498.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

58.

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

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

Author

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

Preferred Shelf Number

XX(520518.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

59.

Concise Guide to Software Verification From Model Checking to Annotation Checking

Author

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

Preferred Shelf Number

XX(520525.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

60.

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

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

Author

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

Preferred Shelf Number

XX(520668.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 .. 3 4 5 6 7 .. 103

	{displayName}	{count}
{error}