Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(26)
Blockeel, Hendrik. editor.
(3)
Kersting, Kristian. editor.
(3)
Nijssen, Siegfried. editor.
(3)
Železný, Filip. editor.
(3)
Dil
Yayın Yılı
-
2013
(24)
2019
(2)
Konu
Artificial Intelligence (incl. Robotics).
(24)
Artificial intelligence.
(24)
Computer science.
(24)
Discrete Mathematics in Computer Science.
(24)
Algorithm Analysis and Problem Complexity.
(11)
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ç
26 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings için kapak resmi
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings
Yazar 
Gomes, Carla. editor. Sellmann, Meinolf. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334549.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38171-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
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:
3. 
Advances in Swarm Intelligence 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part II için kapak resmi
Advances in Swarm Intelligence 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part II
Yazar 
Tan, Ying. editor. Shi, Yuhui. editor. Mo, Hongwei. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334657.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38715-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Computing and Combinatorics 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings için kapak resmi
Computing and Combinatorics 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings
Yazar 
Du, Ding-Zhu. editor. Zhang, Guochuan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334665.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38768-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Geometric Science of Information First International Conference, GSI 2013, Paris, France, August 28-30, 2013. Proceedings için kapak resmi
Geometric Science of Information First International Conference, GSI 2013, Paris, France, August 28-30, 2013. Proceedings
Yazar 
Nielsen, Frank. editor. Barbaresco, Frédéric. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334879.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40020-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Advances in Spatial and Temporal Databases 13th International Symposium, SSTD 2013, Munich, Germany, August 21-23, 2013. Proceedings için kapak resmi
Advances in Spatial and Temporal Databases 13th International Symposium, SSTD 2013, Munich, Germany, August 21-23, 2013. Proceedings
Yazar 
Nascimento, Mario A. editor. Sellis, Timos. editor. Cheng, Reynold. editor. Sander, Jörg. editor. Zheng, Yu. editor.
Yer Numarası 
ONLINE(334915.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40235-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
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:
8. 
Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings için kapak resmi
Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings
Yazar 
Cabalar, Pedro. editor. Son, Tran Cao. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334969.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40564-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers için kapak resmi
Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
Yazar 
Ida, Tetsuo. editor. Fleuriot, Jacques. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334987.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40672-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Experimental Algorithms 12th International Symposium, SEA 2013, Rome, Italy, June 5-7, 2013. Proceedings için kapak resmi
Experimental Algorithms 12th International Symposium, SEA 2013, Rome, Italy, June 5-7, 2013. Proceedings
Yazar 
Bonifaci, Vincenzo. editor. Demetrescu, Camil. editor. Marchetti-Spaccamela, Alberto. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334615.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38527-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Advances in Swarm Intelligence 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part I için kapak resmi
Advances in Swarm Intelligence 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part I
Yazar 
Tan, Ying. editor. Shi, Yuhui. editor. Mo, Hongwei. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334653.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38703-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Combinatorial Search: From Algorithms to Systems için kapak resmi
Combinatorial Search: From Algorithms to Systems
Yazar 
Hamadi, Youssef. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(335109.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-41482-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: