Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(1350)
Liu, Honghai. editor.
(26)
Jain, Lakhmi C. editor.
(16)
Kacprzyk, Janusz. editor.
(13)
Filipe, Joaquim. editor.
(11)
Dil
Yayın Yılı
-
Konu
Artificial intelligence.
(876)
Artificial Intelligence (incl. Robotics).
(580)
Robotics.
(453)
Computer science.
(438)
Engineering.
(353)
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ç
1541 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1213. 
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:
1214. 
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:
1215. 
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:
1216. 
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:
1217. 
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:
1218. 
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:
1219. 
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:
1220. 
E-Commerce and Web Technologies 14th International Conference, EC-Web 2013, Prague, Czech Republic, August 27-28, 2013. Proceedings için kapak resmi
E-Commerce and Web Technologies 14th International Conference, EC-Web 2013, Prague, Czech Republic, August 27-28, 2013. Proceedings
Yazar 
Huemer, Christian. editor. Lops, Pasquale. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334862.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39878-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1221. 
New Frontiers in Artificial Intelligence JSAI-isAI 2012 Workshops, LENLS, JURISIN, MiMI, Miyazaki, Japan, November 30 and December 1, 2012, Revised Selected Papers için kapak resmi
New Frontiers in Artificial Intelligence JSAI-isAI 2012 Workshops, LENLS, JURISIN, MiMI, Miyazaki, Japan, November 30 and December 1, 2012, Revised Selected Papers
Yazar 
Motomura, Yoichi. editor. Butler, Alastair. editor. Bekki, Daisuke. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334868.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39931-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1222. 
Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings için kapak resmi
Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings
Yazar 
Libkin, Leonid. editor. Kohlenbach, Ulrich. editor. Queiroz, Ruy. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334875.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39992-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1223. 
The Personal Web A Research Agenda için kapak resmi
The Personal Web A Research Agenda
Yazar 
Chignell, Mark. editor. Cordy, James R. editor. Kealey, Ryan. editor. Ng, Joanna. editor. Yesha, Yelena. editor.
Yer Numarası 
ONLINE(334876.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39995-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1224. 
Formal Grammar 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, Düsseldorf, Germany, August 2013. Proceedings için kapak resmi
Formal Grammar 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, Düsseldorf, Germany, August 2013. Proceedings
Yazar 
Morrill, Glyn. editor. Nederhof, Mark-Jan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334877.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39998-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç