Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
3 sonuç bulundu Arama sonuçlarına abone ol
000DEFAULT_TR
Yazdır
1. 
Handbook of real-time and embedded systems için kapak resmi
Handbook of real-time and embedded systems
Yazar 
Lee, Insup. Leung, Joseph Y-T. Son, Sang H.
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:
2. 
Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings için kapak resmi
Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
Yazar 
Barringer, Howard. editor. Falcone, Ylies. editor. Finkbeiner, Bernd. editor. Havelund, Klaus. editor. Lee, Insup. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-16612-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings için kapak resmi
Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings
Yazar 
Cha, Sungdeok (Steve). editor. Choi, Jin-Young. editor. Kim, Moonzoo. editor. Lee, Insup. editor. Viswanathan, Mahesh. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-88387-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: