Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(84)
Hou, Zeng-Guang. editor.
(5)
Lee, Minho. editor.
(4)
Hirose, Akira. editor.
(3)
Kil, Rhee Man. editor.
(3)
Dil
Yayın Yılı
-
2013
(84)
Konu
Computer science.
(84)
Algorithm Analysis and Problem Complexity.
(48)
Artificial Intelligence (incl. Robotics).
(48)
Artificial intelligence.
(48)
Computer software.
(48)
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ç
84 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
37. 
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:
38. 
Unconventional Computation and Natural Computation 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings için kapak resmi
Unconventional Computation and Natural Computation 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings
Yazar 
Mauri, Giancarlo. editor. Dennunzio, Alberto. editor. Manzoni, Luca. editor. Porreca, Antonio E. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334725.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39074-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
39. 
Multi-Agent-Based Simulation XIII International Workshop, MABS 2012, Valencia, Spain, June 4-8, 2012, Revised Selected Papers için kapak resmi
Multi-Agent-Based Simulation XIII International Workshop, MABS 2012, Valencia, Spain, June 4-8, 2012, Revised Selected Papers
Yazar 
Giardini, Francesca. editor. Amblard, Frédéric. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334684.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38859-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
40. 
Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures için kapak resmi
Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures
Yazar 
Bernardo, Marco. editor. Vink, Erik. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334688.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38874-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
41. 
Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings için kapak resmi
Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings
Yazar 
Abdulla, Parosh Aziz. editor. Potapov, Igor. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335046.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-41036-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
42. 
Transactions on Computational Collective Intelligence XI için kapak resmi
Transactions on Computational Collective Intelligence XI
Yazar 
Nguyen, Ngoc Thanh. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335144.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-41776-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
43. 
OpenMP in the Era of Low Power Devices and Accelerators 9th International Workshop on OpenMP, IWOMP 2013, Canberra, ACT, Australia, September 16-18, 2013. Proceedings için kapak resmi
OpenMP in the Era of Low Power Devices and Accelerators 9th International Workshop on OpenMP, IWOMP 2013, Canberra, ACT, Australia, September 16-18, 2013. Proceedings
Yazar 
Rendell, Alistair P. editor. Chapman, Barbara M. editor. Müller, Matthias S. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334990.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40698-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
44. 
Computational Methods in Systems Biology 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings için kapak resmi
Computational Methods in Systems Biology 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings
Yazar 
Gupta, Ashutosh. editor. Henzinger, Thomas A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334992.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40708-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
45. 
Artificial Neural Networks and Machine Learning – ICANN 2013 23rd International Conference on Artificial Neural Networks Sofia, Bulgaria, September 10-13, 2013. Proceedings için kapak resmi
Artificial Neural Networks and Machine Learning – ICANN 2013 23rd International Conference on Artificial Neural Networks Sofia, Bulgaria, September 10-13, 2013. Proceedings
Yazar 
Mladenov, Valeri. editor. Koprinkova-Hristova, Petia. editor. Palm, Günther. editor. Villa, Alessandro E. P. editor. Appollini, Bruno. editor.
Yer Numarası 
ONLINE(334996.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40728-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
46. 
Neural Information Processing 20th International Conference, ICONIP 2013, Daegu, Korea, November 3-7, 2013. Proceedings, Part II için kapak resmi
Neural Information Processing 20th International Conference, ICONIP 2013, Daegu, Korea, November 3-7, 2013. Proceedings, Part II
Yazar 
Lee, Minho. editor. Hirose, Akira. editor. Hou, Zeng-Guang. editor. Kil, Rhee Man. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335159.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-42042-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
47. 
Neural Information Processing 20th International Conference, ICONIP 2013, Daegu, Korea, November 3-7, 2013. Proceedings, Part III için kapak resmi
Neural Information Processing 20th International Conference, ICONIP 2013, Daegu, Korea, November 3-7, 2013. Proceedings, Part III
Yazar 
Lee, Minho. editor. Hirose, Akira. editor. Hou, Zeng-Guang. editor. Kil, Rhee Man. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335162.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-42051-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
48. 
Neural Information Processing 20th International Conference, ICONIP 2013, Daegu, Korea, November 3-7, 2013. Proceedings, Part I için kapak resmi
Neural Information Processing 20th International Conference, ICONIP 2013, Daegu, Korea, November 3-7, 2013. Proceedings, Part I
Yazar 
Lee, Minho. editor. Hirose, Akira. editor. Hou, Zeng-Guang. editor. Kil, Rhee Man. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335163.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-42054-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç