Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(1057)
Liu, Honghai. editor.
(26)
Jain, Lakhmi C. editor.
(16)
Filipe, Joaquim. editor.
(11)
Khatib, Oussama. editor.
(9)
Dil
Yayın Yılı
-
Konu
Artificial intelligence.
(782)
Artificial Intelligence (incl. Robotics).
(580)
Computer science.
(437)
Engineering.
(353)
Robotics.
(192)
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ç
1224 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Database and Expert Systems Applications 24th International Conference, DEXA 2013, Prague, Czech Republic, August 26-29, 2013. Proceedings, Part II için kapak resmi
Database and Expert Systems Applications 24th International Conference, DEXA 2013, Prague, Czech Republic, August 26-29, 2013. Proceedings, Part II
Yazar 
Decker, Hendrik. editor. Lhotská, Lenka. editor. Link, Sebastian. editor. Basl, Josef. editor. Tjoa, A Min. editor.
Yer Numarası 
ONLINE(334903.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40173-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Intelligent Computing Theories 9th International Conference, ICIC 2013, Nanning, China, July 28-31, 2013. Proceedings için kapak resmi
Intelligent Computing Theories 9th International Conference, ICIC 2013, Nanning, China, July 28-31, 2013. Proceedings
Yazar 
Huang, De-Shuang. editor. Bevilacqua, Vitoantonio. editor. Figueroa, Juan Carlos. editor. Premaratne, Prashan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334807.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39479-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Intelligent Computing Theories and Technology 9th International Conference, ICIC 2013, Nanning, China, July 28-31, 2013. Proceedings için kapak resmi
Intelligent Computing Theories and Technology 9th International Conference, ICIC 2013, Nanning, China, July 28-31, 2013. Proceedings
Yazar 
Huang, De-Shuang. editor. Jo, Kang-Hyun. editor. Zhou, Yong-Quan. editor. Han, Kyungsook. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334808.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39482-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Integrated Uncertainty in Knowledge Modelling and Decision Making International Symposium, IUKM 2013, Beijing, China, July 12-14, 2013. Proceedings için kapak resmi
Integrated Uncertainty in Knowledge Modelling and Decision Making International Symposium, IUKM 2013, Beijing, China, July 12-14, 2013. Proceedings
Yazar 
Qin, Zengchang. editor. Huynh, Van-Nam. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334813.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39515-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Artificial General Intelligence 6th International Conference, AGI 2013, Beijing, China, July 31 – August 3, 2013 Proceedings için kapak resmi
Artificial General Intelligence 6th International Conference, AGI 2013, Beijing, China, July 31 – August 3, 2013 Proceedings
Yazar 
Kühnberger, Kai-Uwe. editor. Rudolph, Sebastian. editor. Wang, Pei. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334814.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39521-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Statistical Language and Speech Processing First International Conference, SLSP 2013, Tarragona, Spain, July 29-31, 2013. Proceedings için kapak resmi
Statistical Language and Speech Processing First International Conference, SLSP 2013, Tarragona, Spain, July 29-31, 2013. Proceedings
Yazar 
Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. Mitkov, Ruslan. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334819.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39593-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers için kapak resmi
Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
Yazar 
Biere, Armin. editor. Nahir, Amir. editor. Vos, Tanja. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334820.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39611-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Theory, Practice, and Applications of Rules on the Web 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings için kapak resmi
Theory, Practice, and Applications of Rules on the Web 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings
Yazar 
Morgenstern, Leora. editor. Stefaneas, Petros. editor. Lévy, François. editor. Wyner, Adam. editor. Paschke, Adrian. editor.
Yer Numarası 
ONLINE(334822.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39617-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
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:
10. 
Emerging Intelligent Computing Technology and Applications 9th International Conference, ICIC 2013, Nanning, China, July 28-31, 2013. Proceedings için kapak resmi
Emerging Intelligent Computing Technology and Applications 9th International Conference, ICIC 2013, Nanning, China, July 28-31, 2013. Proceedings
Yazar 
Huang, De-Shuang. editor. Gupta, Phalguni. editor. Wang, Ling. editor. Gromiha, Michael. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334835.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39678-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Theoretical Aspects of Computing – ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings için kapak resmi
Theoretical Aspects of Computing – ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings
Yazar 
Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334840.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39718-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings için kapak resmi
Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings
Yazar 
Galmiche, Didier. editor. Larchey-Wendling, Dominique. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334962.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40537-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç