Search Results for Logic design

1235 Results Found

1 .. 3 4 5 6 7 .. 103

000000000000DEFAULT

49.

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:

50.

Cover image for Advances in Intelligent Data Analysis XXI 21st International Symposium on Intelligent Data Analysis, IDA 2023, Louvain-la-Neuve, Belgium, April 12-14, 2023, Proceedings

Advances in Intelligent Data Analysis XXI 21st International Symposium on Intelligent Data Analysis, IDA 2023, Louvain-la-Neuve, Belgium, April 12-14, 2023, Proceedings

Author

Crémilleux, Bruno. editor. Hess, Sibylle. editor. Nijssen, Siegfried. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520837.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

51.

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:

52.

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:

53.

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:

54.

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

Author

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

Preferred Shelf Number

XX(520499.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

55.

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:

56.

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:

57.

Cover image for Multi-disciplinary Trends in Artificial Intelligence 16th International Conference, MIWAI 2023, Hyderabad, India, July 21-22, 2023, Proceedings

Multi-disciplinary Trends in Artificial Intelligence 16th International Conference, MIWAI 2023, Hyderabad, India, July 21-22, 2023, Proceedings

Author

Morusupalli, Raghava. editor. Dandibhotla, Teja Santosh. editor. Atluri, Vani Vathsala. editor. Windridge, David. editor. Lingras, Pawan. editor.

Preferred Shelf Number

XX(521001.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

58.

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

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

Author

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

Preferred Shelf Number

XX(521245.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

59.

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:

60.

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

Author

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

Preferred Shelf Number

XX(520965.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 .. 3 4 5 6 7 .. 103

	{displayName}	{count}
{error}