Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(26)
Fortino, Giancarlo. editor.
(2)
Hassanien, Aboul Ella. editor.
(2)
Kansal, Vineet. editor.
(2)
Shakya, Subarna. editor.
(2)
Dil
Yayın Yılı
-
Konu
Computational intelligence.
(17)
Data protection.
(6)
Artificial Intelligence (incl. Robotics).
(5)
Computer science.
(5)
Systems and Data Security.
(5)
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ç
26 sonuç bulundu Arama sonuçlarına abone ol
00DEFAULT_TR
Yazdır
25. 
Transactions on Computational Science XVII için kapak resmi
Transactions on Computational Science XVII
Yazar 
Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334063.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35840-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
26. 
Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings için kapak resmi
Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings
Yazar 
Blazy, Sandrine. editor. Paulin-Mohring, Christine. editor. Pichardie, David. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334825.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39634-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: