Search Results for Collision avoidance systems.

1.

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

Yazar

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

Yer Numarası

XX(521023.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

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

Yazar

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

Yer Numarası

XX(521024.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Architecture of Computing Systems 36th International Conference, ARCS 2023, Athens, Greece, June 13-15, 2023, Proceedings

Yazar

Goumas, Georgios. editor. Tomforde, Sven. editor. Brehm, Jürgen. editor. Wildermann, Stefan. editor. Pionteck, Thilo. editor.

Yer Numarası

XX(520879.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

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

Yazar

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

Yer Numarası

XX(520984.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Interactive Collaborative Robotics 8th International Conference, ICR 2023, Baku, Azerbaijan, October 25-29, 2023, Proceedings

Yazar

Ronzhin, Andrey. editor. Sadigov, Aminagha. editor. Meshcheryakov, Roman. editor. SpringerLink (Online service)

Yer Numarası

XX(520980.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

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

Yazar

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

Yer Numarası

XX(519135.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

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

Yazar

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

Yer Numarası

XX(519090.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Vehicle safety communications : protocols, security, and privacy

Yazar

Delgrossi, Luca. Zhang, Tao, 1962-

Yer Numarası

ONLINE

Elektronik Erişim

Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=918282
John Wiley http://dx.doi.org/10.1002/9781118452189
Books24x7 http://www.books24x7.com/marc.asp?bookid=51287
http://swb.eblib.com/patron/FullRecord.aspx?p=918282

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Marine navigation and safety of sea transportation

Yazar

International Navigational Symposium on Marine Navigation and Safety of Sea Transportation (8th : 2009 : Gdynia, Poland) Weintrit, Adam.

Yer Numarası

ONLINE

Elektronik Erişim

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Advances in Unmanned Marine Vehicles

Yazar

Roberts, G. N., ed. Sutton, R., ed.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1049/PBCE069E

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

	{displayName}	{count}
{error}