Arama Sonuçlarını Sınırlandır
Yazar
Dil
Yayın Yılı
-
Konu
Artificial intelligence.
(15)
Artificial Intelligence (incl. Robotics).
(12)
Computer science.
(6)
Engineering.
(5)
Applications of Mathematics.
(3)
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ç
16 sonuç bulundu Arama sonuçlarına abone ol
0000DEFAULT_TR
Yazdır
13. 
Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings için kapak resmi
Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings
Yazar 
Järvisalo, Matti. editor. Van Gelder, Allen. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334724.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39071-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
Robot Mechanisms için kapak resmi
Robot Mechanisms
Yazar 
Lenarcic, Jadran. author. Bajd, Tadej. author. Stanišić, Michael M. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(335774.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-4522-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
15. 
Search Theory A Game Theoretic Perspective için kapak resmi
Search Theory A Game Theoretic Perspective
Yazar 
Alpern, Steve. editor. Fokkink, Robbert. editor. Gąsieniec, Leszek. editor. Lindelauf, Roy. editor. Subrahmanian, V.S. editor.
Yer Numarası 
ONLINE(332129.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-6825-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
16. 
Particle Filters for Random Set Models için kapak resmi
Particle Filters for Random Set Models
Yazar 
Ristic, Branko. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(332002.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-6316-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: