Search Results for Collision.

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

60 Results Found

1 2 3 4 5

000000000000DEFAULT

25.

NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings

Author

Rozier, Kristin Yvonne. editor. Chaudhuri, Swarat. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520984.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

26.

Advances in Swarm Intelligence 14th International Conference, ICSI 2023, Shenzhen, China, July 14-18, 2023, Proceedings, Part I

Author

Tan, Ying. editor. Shi, Yuhui. editor. Luo, Wenjian. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521023.1)

Electronic Access

https://doi.org/10.1007/978-3-031-36622-2

Format:

Availability

Online Library~1

Available:
Copies:

27.

Advances in Swarm Intelligence 14th International Conference, ICSI 2023, Shenzhen, China, July 14-18, 2023, Proceedings, Part II

Author

Tan, Ying. editor. Shi, Yuhui. editor. Luo, Wenjian. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521024.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

28.

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

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

Author

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

Preferred Shelf Number

XX(521218.1)

Electronic Access

https://doi.org/10.1007/978-981-99-6480-2

Format:

Availability

Online Library~1

Available:
Copies:

29.

Conceptual Modeling 42nd International Conference, ER 2023, Lisbon, Portugal, November 6-9, 2023, Proceedings

Author

Almeida, João Paulo A. editor. (orcid) Borbinha, José. editor. Guizzardi, Giancarlo. editor. (orcid) Link, Sebastian. editor. Zdravkovic, Jelena. editor.

Preferred Shelf Number

XX(521271.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

30.

Advances in Visual Computing 18th International Symposium, ISVC 2023, Lake Tahoe, NV, USA, October 16-18, 2023, Proceedings, Part II

Author

Bebis, George. editor. Ghiasi, Golnaz. editor. Fang, Yi. editor. Sharf, Andrei. editor. Dong, Yue. editor.

Preferred Shelf Number

XX(521359.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

31.

Haptic Interaction 5th International Conference, AsiaHaptics 2022, Beijing, China, November 12-14, 2022, Proceedings

Author

Wang, Dangxiao. editor. Song, Aiguo. editor. Liu, Qian. editor. Kyung, Ki-Uk. editor. Konyo, Masashi. editor.

Preferred Shelf Number

XX(521321.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

32.

Cover image for Information Security and Cryptology 10th International Conference, Inscrypt 2014, Beijing, China, December 13-15, 2014, Revised Selected Papers

Information Security and Cryptology 10th International Conference, Inscrypt 2014, Beijing, China, December 13-15, 2014, Revised Selected Papers

Author

Lin, Dongdai. editor. Yung, Moti. editor. Zhou, Jianying. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518785.1)

Electronic Access

https://doi.org/10.1007/978-3-319-16745-9

Format:

Availability

Online Library~1

Available:
Copies:

33.

Cover image for Public-Key Cryptography -- PKC 2015 18th IACR International Conference on Practice and Theory in Public-Key Cryptography, Gaithersburg, MD, USA, March 30 -- April 1, 2015, Proceedings

Public-Key Cryptography -- PKC 2015 18th IACR International Conference on Practice and Theory in Public-Key Cryptography, Gaithersburg, MD, USA, March 30 -- April 1, 2015, Proceedings

Author

Katz, Jonathan. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519134.1)

Electronic Access

https://doi.org/10.1007/978-3-662-46447-2

Format:

Availability

Online Library~1

Available:
Copies:

34.

Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings

Author

Bartocci, Ezio. editor. Majumdar, Rupak. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519135.1)

Electronic Access

https://doi.org/10.1007/978-3-319-23820-3

Format:

Availability

Online Library~1

Available:
Copies:

35.

Cover image for Information Security and Cryptology - ICISC 2014 17th International Conference, Seoul, South Korea, December 3-5, 2014, Revised Selected Papers

Information Security and Cryptology - ICISC 2014 17th International Conference, Seoul, South Korea, December 3-5, 2014, Revised Selected Papers

Author

Lee, Jooyoung. editor. Kim, Jongsung. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519232.1)

Electronic Access

https://doi.org/10.1007/978-3-319-15943-0

Format:

Availability

Online Library~1

Available:
Copies:

36.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Author

Baier, Christel. editor. Tinelli, Cesare. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519090.1)

Electronic Access

https://doi.org/10.1007/978-3-662-46681-0

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5

	{displayName}	{count}
{error}