Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(580)
Jain, Lakhmi C. editor.
(16)
Abraham, Ajith. editor.
(7)
Cao, Longbing. editor.
(7)
Nguyen, Ngoc Thanh. editor.
(7)
Dil
English
(581)
Yayın Yılı
-
2013
(580)
2009
(1)
Konu
Artificial Intelligence (incl. Robotics).
(580)
Artificial intelligence.
(580)
Computer science.
(381)
Engineering.
(198)
Computational Intelligence.
(171)
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ç
581 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
541. 
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:
542. 
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:
543. 
Machine Learning and Data Mining in Pattern Recognition 9th International Conference, MLDM 2013, New York, NY, USA, July 19-25, 2013. Proceedings için kapak resmi
Machine Learning and Data Mining in Pattern Recognition 9th International Conference, MLDM 2013, New York, NY, USA, July 19-25, 2013. Proceedings
Yazar 
Perner, Petra. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334839.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39712-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
544. 
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:
545. 
Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures için kapak resmi
Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
Yazar 
Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334841.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39721-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
546. 
Advances in Data Mining. Applications and Theoretical Aspects 13th Industrial Conference, ICDM 2013, New York, NY, USA, July 16-21, 2013. Proceedings için kapak resmi
Advances in Data Mining. Applications and Theoretical Aspects 13th Industrial Conference, ICDM 2013, New York, NY, USA, July 16-21, 2013. Proceedings
Yazar 
Perner, Petra. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334843.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39736-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
547. 
Transactions on Computational Science XIX Special Issue on Computer Graphics için kapak resmi
Transactions on Computational Science XIX Special Issue on Computer Graphics
Yazar 
Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Konushin, Anton. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334847.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39759-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
548. 
Reasoning Web. Semantic Technologies for Intelligent Data Access 9th International Summer School 2013, Mannheim, Germany, July 30 – August 2, 2013. Proceedings için kapak resmi
Reasoning Web. Semantic Technologies for Intelligent Data Access 9th International Summer School 2013, Mannheim, Germany, July 30 – August 2, 2013. Proceedings
Yazar 
Rudolph, Sebastian. editor. Gottlob, Georg. editor. Horrocks, Ian. editor. Harmelen, Frank. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334848.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39784-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
549. 
Biomimetic and Biohybrid Systems Second International Conference, Living Machines 2013, London, UK, July 29 – August 2, 2013. Proceedings için kapak resmi
Biomimetic and Biohybrid Systems Second International Conference, Living Machines 2013, London, UK, July 29 – August 2, 2013. Proceedings
Yazar 
Lepora, Nathan F. editor. Mura, Anna. editor. Krapp, Holger G. editor. Verschure, Paul F. M. J. editor. Prescott, Tony J. editor.
Yer Numarası 
ONLINE(334852.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39802-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
550. 
Agreement Technologies Second International Conference, AT 2013, Beijing, China, August 1-2, 2013. Proceedings için kapak resmi
Agreement Technologies Second International Conference, AT 2013, Beijing, China, August 1-2, 2013. Proceedings
Yazar 
Chesñevar, Carlos Iván. editor. Onaindia, Eva. editor. Ossowski, Sascha. editor. Vouros, George. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334857.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39860-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
551. 
Agent-Oriented Software Engineering XIII 13th International Workshop, AOSE 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers için kapak resmi
Agent-Oriented Software Engineering XIII 13th International Workshop, AOSE 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers
Yazar 
Müller, Jörg P. editor. Cossentino, Massimo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334859.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39866-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
552. 
Computational and Robotic Models of the Hierarchical Organization of Behavior için kapak resmi
Computational and Robotic Models of the Hierarchical Organization of Behavior
Yazar 
Baldassarre, Gianluca. editor. Mirolli, Marco. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334861.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39875-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç