Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(69)
Bonacina, Maria Paola. editor.
(2)
Guo, Chengan. editor.
(2)
Hou, Zeng-Guang. editor.
(2)
Rudolph, Sebastian. editor.
(2)
Dil
Yayın Yılı
-
2013
(69)
Konu
Artificial intelligence.
(69)
Computer science.
(59)
Mathematical Logic and Formal Languages.
(48)
Logic design.
(23)
Logics and Meanings of Programs.
(23)
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ç
69 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
13. 
Outlier Analysis için kapak resmi
Outlier Analysis
Yazar 
Aggarwal, Charu C. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(332026.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-6396-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
Analyzing Evolutionary Algorithms The Computer Science Perspective için kapak resmi
Analyzing Evolutionary Algorithms The Computer Science Perspective
Yazar 
Jansen, Thomas. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(333075.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-17339-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
15. 
EVOLVE - A Bridge between Probability, Set Oriented Numerics, and Evolutionary Computation II için kapak resmi
EVOLVE - A Bridge between Probability, Set Oriented Numerics, and Evolutionary Computation II
Yazar 
Schütze, Oliver. editor. Coello Coello, Carlos A. editor. Tantar, Alexandru-Adrian. editor. Tantar, Emilia. editor. Bouvry, Pascal. editor.
Yer Numarası 
ONLINE(333444.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-31519-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
16. 
The Nexus between Artificial Intelligence and Economics için kapak resmi
The Nexus between Artificial Intelligence and Economics
Yazar 
van de Gevel, Ad. J. W. author. Noussair, Charles N. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(333734.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-33648-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
17. 
The Language of Mathematics A Linguistic and Philosophical Investigation için kapak resmi
The Language of Mathematics A Linguistic and Philosophical Investigation
Yazar 
Ganesalingam, Mohan. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(334341.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-37012-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
18. 
Proceedings of The Eighth International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA), 2013 için kapak resmi
Proceedings of The Eighth International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA), 2013
Yazar 
Yin, Zhixiang. editor. Pan, Linqiang. editor. Fang, Xianwen. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334443.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-37502-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
19. 
Programming Logics Essays in Memory of Harald Ganzinger için kapak resmi
Programming Logics Essays in Memory of Harald Ganzinger
Yazar 
Voronkov, Andrei. editor. Weidenbach, Christoph. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334468.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-37651-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
20. 
Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers için kapak resmi
Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
Yazar 
Albert, Elvira. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334552.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38197-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
21. 
Automated Deduction – CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings için kapak resmi
Automated Deduction – CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings
Yazar 
Bonacina, Maria Paola. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334626.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38574-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
22. 
Ontology Matching için kapak resmi
Ontology Matching
Yazar 
Euzenat, Jérôme. author. Shvaiko, Pavel. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(334659.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38721-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
23. 
Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings için kapak resmi
Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings
Yazar 
Fontaine, Pascal. editor. Ringeissen, Christophe. editor. Schmidt, Renate A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335023.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40885-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
24. 
Algorithmic Learning Theory 24th International Conference, ALT 2013, Singapore, October 6-9, 2013. Proceedings için kapak resmi
Algorithmic Learning Theory 24th International Conference, ALT 2013, Singapore, October 6-9, 2013. Proceedings
Yazar 
Jain, Sanjay. editor. Munos, Rémi. editor. Stephan, Frank. editor. Zeugmann, Thomas. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335030.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40935-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç