Search Results for Pattern perception.

5 Results Found

00000DEFAULT

Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday

Author

Haxthausen, Anne E. editor. Huang, Wen-ling. editor. Roggenbach, Markus. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521073.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Intelligent Robotics and Applications 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023, Proceedings, Part V

Intelligent Robotics and Applications 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023, Proceedings, Part V

Author

Yang, Huayong. editor. Liu, Honghai. editor. Zou, Jun. editor. Yin, Zhouping. editor. Liu, Lianqing. editor. (orcid)

Preferred Shelf Number

XX(521247.1)

Electronic Access

https://doi.org/10.1007/978-981-99-6495-6

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Information Security and Cryptology - ICISC 2022 25th International Conference, ICISC 2022, Seoul, South Korea, November 30 - December 2, 2022, Revised Selected Papers

Information Security and Cryptology - ICISC 2022 25th International Conference, ICISC 2022, Seoul, South Korea, November 30 - December 2, 2022, Revised Selected Papers

Author

Seo, Seung-Hyun. editor. Seo, Hwajeong. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520920.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

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:

Cover image for Applied Technologies 4th International Conference, ICAT 2022, Quito, Ecuador, November 23-25, 2022, Revised Selected Papers, Part III

Applied Technologies 4th International Conference, ICAT 2022, Quito, Ecuador, November 23-25, 2022, Revised Selected Papers, Part III

Author

Botto-Tobar, Miguel. editor. (orcid) Zambrano Vizuete, Marcelo. editor. Montes León, Sergio. editor. Torres-Carrión, Pablo. editor. Durakovic, Benjamin. editor. (orcid)

Preferred Shelf Number

XX(520273.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}