Arama Sonuçlarını Sınırlandır
Yazar
Dil
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
2 sonuç bulundu Arama sonuçlarına abone ol
00DEFAULT_TR
Yazdır
1. 
Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings için kapak resmi
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:
2. 
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ı 
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: