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
1. 
Scale Space and Variational Methods in Computer Vision 4th International Conference, SSVM 2013, Schloss Seggau, Leibnitz, Austria, June 2-6, 2013. Proceedings için kapak resmi
Scale Space and Variational Methods in Computer Vision 4th International Conference, SSVM 2013, Schloss Seggau, Leibnitz, Austria, June 2-6, 2013. Proceedings
Yazar 
Kuijper, Arjan. editor. Bredies, Kristian. editor. Pock, Thomas. editor. Bischof, Horst. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334572.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38267-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Computer Science – Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings için kapak resmi
Computer Science – Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings
Yazar 
Bulatov, Andrei A. editor. Shur, Arseny M. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334617.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38536-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
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:
4. 
AI*IA 2013: Advances in Artificial Intelligence XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013. Proceedings için kapak resmi
AI*IA 2013: Advances in Artificial Intelligence XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013. Proceedings
Yazar 
Baldoni, Matteo. editor. Baroglio, Cristina. editor. Boella, Guido. editor. Micalizio, Roberto. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(332979.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-03524-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
AI 2013: Advances in Artificial Intelligence 26th Australasian Joint Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings için kapak resmi
AI 2013: Advances in Artificial Intelligence 26th Australasian Joint Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings
Yazar 
Cranefield, Stephen. editor. Nayak, Abhaya. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(332987.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-03680-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings için kapak resmi
Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings
Yazar 
Giacobazzi, Roberto. editor. Berdine, Josh. editor. Mastroeni, Isabella. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334073.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35873-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Transactions on Computational Collective Intelligence IX için kapak resmi
Transactions on Computational Collective Intelligence IX
Yazar 
Nguyen, Ngoc Thanh. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334300.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-36815-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Applications of Evolutionary Computation 16th European Conference, EvoApplications 2013, Vienna, Austria, April 3-5, 2013. Proceedings için kapak resmi
Applications of Evolutionary Computation 16th European Conference, EvoApplications 2013, Vienna, Austria, April 3-5, 2013. Proceedings
Yazar 
Esparcia-Alcázar, Anna I. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334381.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-37192-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Evolutionary Computation in Combinatorial Optimization 13th European Conference, EvoCOP 2013, Vienna, Austria, April 3-5, 2013. Proceedings için kapak resmi
Evolutionary Computation in Combinatorial Optimization 13th European Conference, EvoCOP 2013, Vienna, Austria, April 3-5, 2013. Proceedings
Yazar 
Middendorf, Martin. editor. Blum, Christian. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334383.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-37198-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Genetic Programming 16th European Conference, EuroGP 2013, Vienna, Austria, April 3-5, 2013. Proceedings için kapak resmi
Genetic Programming 16th European Conference, EuroGP 2013, Vienna, Austria, April 3-5, 2013. Proceedings
Yazar 
Krawiec, Krzysztof. editor. Moraglio, Alberto. editor. Hu, Ting. editor. Etaner-Uyar, A. Şima. editor. Hu, Bin. editor.
Yer Numarası 
ONLINE(334384.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-37207-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers için kapak resmi
Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
Yazar 
Martí-Oliet, Narciso. editor. Palomino, Miguel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334465.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-37635-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Transactions on Petri Nets and Other Models of Concurrency VII için kapak resmi
Transactions on Petri Nets and Other Models of Concurrency VII
Yazar 
Jensen, Kurt. editor. Aalst, Wil M. P. editor. Balbo, Gianfranco. editor. Koutny, Maciej. editor. Wolf, Karsten. editor.
Yer Numarası 
ONLINE(334545.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38143-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç