Search Results for Collision avoidance systems. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dCollision$002bavoidance$002bsystems.$0026te$003dILS$0026ps$003d300? 2024-11-08T09:43:30Z Architecture of Computing Systems 36th International Conference, ARCS 2023, Athens, Greece, June 13-15, 2023, Proceedings ent://SD_ILS/0/SD_ILS:520879 2024-11-08T09:43:30Z 2024-11-08T09:43:30Z Author&#160;Goumas, Georgios. editor.&#160;Tomforde, Sven. editor.&#160;Brehm, J&uuml;rgen. editor.&#160;Wildermann, Stefan. editor.&#160;Pionteck, Thilo. editor.<br/>Preferred Shelf Number&#160;XX(520879.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-42785-5">https://doi.org/10.1007/978-3-031-42785-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Interactive Collaborative Robotics 8th International Conference, ICR 2023, Baku, Azerbaijan, October 25-29, 2023, Proceedings ent://SD_ILS/0/SD_ILS:520980 2024-11-08T09:43:30Z 2024-11-08T09:43:30Z Author&#160;Ronzhin, Andrey. editor.&#160;Sadigov, Aminagha. editor.&#160;Meshcheryakov, Roman. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520980.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-43111-1">https://doi.org/10.1007/978-3-031-43111-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings ent://SD_ILS/0/SD_ILS:520984 2024-11-08T09:43:30Z 2024-11-08T09:43:30Z Author&#160;Rozier, Kristin Yvonne. editor.&#160;Chaudhuri, Swarat. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520984.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-33170-1">https://doi.org/10.1007/978-3-031-33170-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Swarm Intelligence 14th International Conference, ICSI 2023, Shenzhen, China, July 14-18, 2023, Proceedings, Part I ent://SD_ILS/0/SD_ILS:521023 2024-11-08T09:43:30Z 2024-11-08T09:43:30Z Author&#160;Tan, Ying. editor.&#160;Shi, Yuhui. editor.&#160;Luo, Wenjian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(521023.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-36622-2">https://doi.org/10.1007/978-3-031-36622-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Swarm Intelligence 14th International Conference, ICSI 2023, Shenzhen, China, July 14-18, 2023, Proceedings, Part II ent://SD_ILS/0/SD_ILS:521024 2024-11-08T09:43:30Z 2024-11-08T09:43:30Z Author&#160;Tan, Ying. editor.&#160;Shi, Yuhui. editor.&#160;Luo, Wenjian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(521024.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-36625-3">https://doi.org/10.1007/978-3-031-36625-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 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 ent://SD_ILS/0/SD_ILS:519090 2024-11-08T09:43:30Z 2024-11-08T09:43:30Z Author&#160;Baier, Christel. editor.&#160;Tinelli, Cesare. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519090.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-46681-0">https://doi.org/10.1007/978-3-662-46681-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings ent://SD_ILS/0/SD_ILS:519135 2024-11-08T09:43:30Z 2024-11-08T09:43:30Z Author&#160;Bartocci, Ezio. editor.&#160;Majumdar, Rupak. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519135.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-23820-3">https://doi.org/10.1007/978-3-319-23820-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Vehicle safety communications : protocols, security, and privacy ent://SD_ILS/0/SD_ILS:305236 2024-11-08T09:43:30Z 2024-11-08T09:43:30Z Author&#160;Delgrossi, Luca.&#160;Zhang, Tao, 1962-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;Ebook Library <a href="http://public.eblib.com/EBLPublic/PublicView.do?ptiID=918282">http://public.eblib.com/EBLPublic/PublicView.do?ptiID=918282</a> John Wiley <a href="http://dx.doi.org/10.1002/9781118452189">http://dx.doi.org/10.1002/9781118452189</a> Books24x7 <a href="http://www.books24x7.com/marc.asp?bookid=51287">http://www.books24x7.com/marc.asp?bookid=51287</a> <a href="http://swb.eblib.com/patron/FullRecord.aspx?p=918282">http://swb.eblib.com/patron/FullRecord.aspx?p=918282</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Marine navigation and safety of sea transportation ent://SD_ILS/0/SD_ILS:290184 2024-11-08T09:43:30Z 2024-11-08T09:43:30Z Author&#160;International Navigational Symposium on Marine Navigation and Safety of Sea Transportation (8th : 2009 : Gdynia, Poland)&#160;Weintrit, Adam.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9780203869345">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Unmanned Marine Vehicles ent://SD_ILS/0/SD_ILS:247722 2024-11-08T09:43:30Z 2024-11-08T09:43:30Z Author&#160;Roberts, G. N., ed.&#160;Sutton, R., ed.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1049/PBCE069E">http://dx.doi.org/10.1049/PBCE069E</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>