Arama Sonuçlarını Sınırlandır
Yazar
Dil
Yayın Yılı
-
Konu
Materyal Türü
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
15 sonuç bulundu Arama sonuçlarına abone ol
000DEFAULT_TR
Yazdır
13. 
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 için kapak resmi
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ı 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-46681-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
Vehicle safety communications : protocols, security, and privacy için kapak resmi
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:
15. 
Advances in Unmanned Marine Vehicles için kapak resmi
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:
Go to:Search Results
|
Top of Page
|
Search Facets